-
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 2009/01/30 14h:53