simulate.h
simulate.c
simulateCmd.c
By: Andrea Morichetti
By: Andrea Morichetti
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_sigterm()
pick_state_rnd_or_det()
store_and_print_trace()
Simulate_MultipleSteps()
Simulate_ChooseOneState()
show_next_states()
By: Andrea Morichetti
This file contains commands to be used for the simulation feature.
See Alsosimulate.c
Simulate_Init()
Simulate_End()
CommandPickState()
CommandShowTraces()
CommandSimulate()