-
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/03 21h:54