BeFsm.c
Implementation of class BeFsm

BeFsm.c

Implementation of class BeFsm

By: Roberto Cavada

BeFsm_create_from_sexp_fsm()
Class BeFsm constructor
BeFsm_create()
Class BeFsm constructor
BeFsm_destroy()
Class BeFsm destructor
BeFsm_copy()
Copy constructor for class BeFsm
BeFsm_get_be_encoding()
Returns the be encoding associated with the given fsm instance
BeFsm_get_init()
Returns the initial states stored in BE format into the given fsm instance
BeFsm_get_invar()
Returns the invariants stored in BE format into the given fsm instance
BeFsm_get_trans()
Returns the transition relation stored in BE format into the given fsm instance
BeFsm_get_fairness_list()
Returns the list of fairness stored in BE format into the given fsm instance
be_fsm_init()
Private service to initialize the internal members
be_fsm_deinit()
Private service to deinitialize the internal members

Last updated on 2007/04/06 14h:44