-
GenericTrans.c
- Class definition for a generic Transition Relation
GenericTrans.c
Class definition for a generic Transition Relation
By: Roberto Cavada
This file contains the definition of the "GenericTrans" class
definition
-
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 15h:04