ES_parameters_t Struct Reference

Structure determined for passing parameters to ES_*_eval() functions. More...

#include <dve_explicit_system.hh>

List of all members.

Public Attributes

size_int_t * array_sizes
size_int_t * initial_states
SYS_initial_values_tinitial_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


Detailed Description

Structure determined for passing parameters to ES_*_eval() functions.

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.


The documentation for this struct was generated from the following file:

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