#include <dve_system.hh>
Public Attributes | |
all_values_t | all_value |
for scalar variable (initial value) | |
all_values_t * | all_values |
for vector variable (initial values) | |
size_int_t | size_t_value |
procname symbols (initial state number) |
Type that can contain either initial value of scalar variable or field of initial values of vector variable or initial process state for state of procname symbols.
This is an internal type. Programmer of algorithms using DiVinE usually should not use this structure.
size_int_t size_t_value |
procname symbols (initial state number)
for state symbols (state number) and