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 1021107 13h03