SYS_initial_values_t Union Reference

Internal type for storing initial values of various identifiers. More...

#include <dve_system.hh>

List of all members.

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)


Detailed Description

Internal type for storing initial values of various identifiers.

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.


Member Data Documentation

size_int_t size_t_value

procname symbols (initial state number)

for state symbols (state number) and


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

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