Simulate_ChooseOneStateInput()
Simulate_ChooseOneState()
Chooses one state among future states
Simulate_CmdPickOneState()
Picks one state, to be used for BDD simulation
Simulate_End()
Quits the simulate package
Simulate_Init()
Initializes the simulate package.
Simulate_MultipleSteps()
Multiple step simulation
simulate_accumulate_constraints()
required
simulate_choose_next()
simulate_extend_print_curr_trace()
Extends current simulation trace and prints it
simulate_get_constraints_from_string()
Converts given constraint expression (as a string) to a bdd
simulate_request_constraints()
required
simulate_sigterm()
Signal handler

Last updated on 2012/11/18 14h:37