bdd_ptr 
Simulate_ChooseOneState(
  bdd_ptr  next_set, 
  Simulation_Mode  mode, 
  int  display_all 
)
Chooses a state among future states depending on the given simulation policy (random, deterministic or interactive). In case of interactive simulation, the system stops and allows the user to pick a state from a list of possible items. If the number of future states is too high, the system requires some further constraints to limit that number and will asks for them until the number of states is lower than an internal threshold. Entered expressions are accumulated in one big constraint used only in the actual step of the simulation. It will be discarded after a state will be chosen.

Side Effects A referenced state (BDD) is returned. NULL if failed.

See Also Simulate_MultipleStep

int 
Simulate_CmdPickOneState(
  Fsm_BddPtr  fsm, 
  Simulation_Mode  mode, 
  int  display_all, 
  char * strConstr 
)
optional

Side Effects required

See Also optional

int 
Simulate_CmdShowTraces(
  int  trace, 
  int  verbose, 
  boolean  all, 
  char * dbgFileName 
)
optional

Side Effects required

See Also optional

void 
Simulate_End(
    
)
Quits the simulate package


void 
Simulate_Init(
    
)
Initializes the simulate package.


node_ptr 
Simulate_MultipleSteps(
  Fsm_BddPtr  fsm, 
  bdd_ptr  constraint, 
  Simulation_Mode  mode, 
  int  n, 
  int  display_all 
)
Multiple step simulation: loops n times over the choice of a state according to the picking policy given at command line. It returns a list of at least n+1 referenced states (the first one is always the "current state" from which any simulation must start). The obtained list can contain a minor number of states if there are no future states at some point.

See Also Simulate_ChooseOneState

void 
simulate_sigterm(
  int  sig 
)
SIGINT signal handler inside the simulator.


Last updated on 1011114 08h21