#include <dve_explicit_system.hh>
Public Attributes | |
size_int_t * | array_sizes |
size_int_t * | initial_states |
SYS_initial_values_t * | initial_values |
state_t | state |
size_int_t * | state_lids |
size_int_t * | state_positions_proc |
size_int_t * | state_positions_state |
size_int_t * | state_positions_var |
dve_var_type_t * | var_types |
dve_explicit_system_t defines its own structure for passing parameters to its own functions ES_*_eval(), which are replacing SYS_*_eval() fuctions used by system_t.
This is really internal thing and the programmer of algorithms using DiVinE usually should not use this structure.