-
CommandPickState()
- Picks a state from the set of initial states
-
CommandShowTraces()
- Shows the traces generated in a NuSMV session
-
CommandSimulate()
- Performs a simulation from the current selected state
-
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
-
pick_state_rnd_or_det()
- Extracts a minterm from a given BDD
-
print_trace()
- required
-
show_next_states()
- Prints an array of states on nusmv_stdout.
-
simulate_sigterm()
- Signal handler
-
store_and_print_trace()
- Stores a trace in the hash table and prints it.
Last updated on 2002/07/03 13h:30