-
Simulate_ChooseOneState()
- Chooses one state among future states
-
Simulate_CmdPickOneState()
- required
-
Simulate_CmdShowTraces()
- required
-
Simulate_End()
- Quits the simulate package
-
Simulate_Init()
- Initializes the simulate package.
-
Simulate_MultipleSteps()
- Multiple step simulation
-
simulate_sigterm()
- Signal handler
Last updated on 1020327 15h41