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 2009/01/30 14h:53