-
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
-
BeFsm_apply_synchronous_product()
- Apply the synchronous product between self and other
modifying self
-
be_fsm_init()
- Private service to initialize the internal members
-
be_fsm_deinit()
- Private service to deinitialize the internal members
Last updated on 2010/11/04 13h:33