Averest

StateOfDPN Type

Namespace: Averest.MiniC
Assembly: Averest.dll
Parent Module: DataflowProcessNetworks
Abbreviation For: int * Set<int> * Map<string, int list> * Map<(string * int), int>
Base Type: obj
All Interfaces: IStructuralComparable , IStructuralEquatable , IComparable , ITuple

The state of a DPN obtained in a simulation run is a tuple of the form (step,nodesToFire,bufEnv,memEnv) where step is the number of the step executed, nodesToFire is the set of nodes that were fired, bufEnv is the content of the buffers, and memEnv is the state of the global memory that holds the values of the arrays.

Instance members

Instance member Description

this.Item1

Full Usage: this.Item1

Returns: int

Returns: int

this.Item2

Full Usage: this.Item2

Returns: Set<int>

Returns: Set<int>

this.Item3

Full Usage: this.Item3

Returns: Map<string, int list>

Returns: Map<string, int list>

this.Item4

Full Usage: this.Item4

Returns: Map<(string * int), int>

Returns: Map<(string * int), int>