simulate.h
simulate.c
simulateCmd.c
simulateTransSet.c
By: Andrea Morichetti
By: Andrea Morichetti, Roberto Cavada
This file contains functions for image computation, for state picking in a set (according to three different policies), for states display and constraints insertion.
Simulate_MultipleSteps()
Simulate_ChooseOneState()
Simulate_ChooseOneStateInput()
Simulate_CmdPickOneState()
simulate_get_constraints_from_string()
simulate_choose_next()
simulate_sigterm()
simulate_accumulate_constraints()
simulate_request_constraints()
By: Andrea Morichetti
This file contains commands to be used for the simulation feature.
See Alsosimulate.c
Simulate_Init()
Simulate_End()
CommandPickState()
CommandSimulate()
CommandGotoState()
CommandPrintCurrentState()
simulate_store_and_print_trace()
By: Roberto Cavada
SimulateTransSet_create()
SimulateTransSet_destroy()
SimulateTransSet_get_from_state()
SimulateTransSet_get_next_state_num()
SimulateTransSet_get_next_state()
SimulateTransSet_get_inputs_num_at_state()
SimulateTransSet_get_input_at_state()
SimulateTransSet_get_state_input_at()
SimulateTransSet_get_state_input_rand()
SimulateTransSet_get_state_input_det()
SimulateTransSet_print()