-
CommandGotoState()
- Goes to a given state of a trace
-
CommandPickState()
- Picks a state from the set of initial states
-
CommandPrintCurrentState()
- Prints the current state
-
CommandSimulate()
- Performs a simulation from the current selected state
-
SimulateTransSet_create()
- Class constructor
-
SimulateTransSet_destroy()
- Class destructor
-
SimulateTransSet_get_from_state()
- Getter for the state the transition set is originating from
-
SimulateTransSet_get_input_at_state()
- Returns the Ith input from the set of inputs
going to the Nth state in the set of target states
-
SimulateTransSet_get_inputs_num_at_state()
- Returns the cardinality of the inputs set going to
a given state, represented by its index in the set of target states
-
SimulateTransSet_get_next_state_num()
- Returns the cardinality of the target set of states
-
SimulateTransSet_get_next_state()
- Returns the Nth element of the target set of states
-
SimulateTransSet_get_state_input_at()
-
-
SimulateTransSet_get_state_input_det()
-
-
SimulateTransSet_get_state_input_rand()
-
-
SimulateTransSet_print()
-
-
Simulate_ChooseOneStateInput()
-
-
Simulate_ChooseOneState()
- Chooses one state among future states
-
Simulate_CmdPickOneState()
- required
-
Simulate_End()
- Quits the simulate package
-
Simulate_Init()
- Initializes the simulate package.
-
Simulate_MultipleSteps()
- Multiple step simulation
-
simulate_accumulate_constraints()
- required
-
simulate_choose_next()
-
-
simulate_get_constraints_from_string()
- Converts given constraint expression (as a string) to
a bdd
-
simulate_request_constraints()
- required
-
simulate_sigterm()
- Signal handler
-
simulate_store_and_print_trace()
- Stores a trace in the hash table and prints it.
Last updated on 2009/03/04 12h:51