GenericTrans_create()
Builds the transition relation
GenericTrans_get_type()
Retrives the type of trans structure.
TransType_from_string()
string to TransType
TransType_to_string()
TransType to string
Last updated on 2004/06/09 19h:21