-
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/01/30 15h:04