dve_explicit_system.hh File Reference

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_tES_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.


Detailed Description

The main contribution of this file is the class dve_explicit_system_t

Typedef Documentation

ushort_int_t dve_state_int_t

dve_state_int_t is an interger type that is used to store state ID


Variable Documentation

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


Reference Manual for Library, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University