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 1011114 08h21