Simulate_ChooseOneStateInput()
Simulate_ChooseOneState()
Chooses one state among future states
Simulate_CmdPickOneState()
required
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_get_constraints_from_string()
Converts given constraint expression (as a string) to a bdd
simulate_request_constraints()
required
simulate_sigterm()
Signal handler
simulate_store_and_print_trace()
Extends current simulation trace and prints it

Last updated on 2010/11/04 13h:34