Go to the source code of this file.
Classes | |
class | dve_explicit_system_t |
Class in DVE system interpretation. More... | |
struct | dve_explicit_system_t::state_creator_t |
struct | ES_parameters_t |
Structure determined for passing parameters to ES_*_eval() functions. More... | |
Typedefs | |
typedef ushort_int_t | dve_state_int_t |
typedef ES_parameters_t * | ES_p_parameters_t |
Pointer to ES_parameters_t. | |
Variables | |
const size_int_t | ES_FMT_DIVIDE_PROCESSES_BY_CR = 8 |
Print `new-line' character after each process*/. | |
const size_int_t | ES_FMT_PRINT_ALL_NAMES |
const size_int_t | ES_FMT_PRINT_PROCESS_NAMES = 4 |
Print names of processes before printing of its state and varibles. | |
const size_int_t | ES_FMT_PRINT_STATE_NAMES = 1 |
Print names of states instead of state IDs. | |
const size_int_t | ES_FMT_PRINT_VAR_NAMES = 2 |
Print names of varibles before printing of their values. |
ushort_int_t dve_state_int_t |
dve_state_int_t is an interger type that is used to store state ID
const size_int_t ES_FMT_PRINT_ALL_NAMES |
Initial value:
Print all the things given by ES_FMT_PRINT_STATE_NAMES, ES_FMT_PRINT_VAR_NAMES, ES_FMT_PRINT_PROCESS_NAMES and ES_FMT_DIVIDE_PROCESSES_BY_CR