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()
Stores a trace in the hash table and prints it.

Last updated on 2009/03/04 12h:51