be_ptr 
trace_exec_get_initial_state(
  BeFsm_ptr  be_fsm 
)
Builds the initial state formula

Side Effects None


be_ptr 
trace_exec_get_transition_relation(
  BeFsm_ptr  be_fsm 
)
Builds the transition relation formula

Side Effects None


Last updated on 2010/05/19 22h:26