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()
Picks one state, to be used for BDD simulation
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_extend_print_curr_trace()
Extends current simulation trace and prints it
simulate_get_constraints_from_string()
Converts given constraint expression (as a string) to a bdd
simulate_request_constraints()
required
simulate_sigterm()
Signal handler

Last updated on 2012/11/18 14h:37