BeFsm_apply_synchronous_product()
Apply the synchronous product between self and other modifying self
BeFsm_copy()
Copy constructor for class BeFsm
BeFsm_create_from_sexp_fsm()
Class BeFsm constructor
BeFsm_create()
Class BeFsm constructor
BeFsm_destroy()
Class BeFsm destructor
BeFsm_get_be_encoding()
Returns the be encoding associated with the given fsm instance
BeFsm_get_fairness_list()
Returns the list of fairness stored in BE format into 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
be_fsm_deinit()
Private service to deinitialize the internal members
be_fsm_init()
Private service to initialize the internal members

Last updated on 2010/11/03 21h:54