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 2010/11/04 13h:34