dve_explicit_system_t::state_creator_t Struct Reference

#include <dve_explicit_system.hh>

List of all members.

Public Types

enum  state_creator_type_t { VARIABLE, PROCESS_STATE, CHANNEL_BUFFER }

Public Member Functions

 state_creator_t (const state_creator_type_t sc_type, dve_var_type_t vtype, const size_int_t arr_size, const size_int_t gid_arg)

Public Attributes

size_int_t array_size
size_int_t gid
state_creator_type_t type
dve_var_type_t var_type


Detailed Description

Internal structure used to store inforamtions about non-constant varibles, process states and channel buffers.

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