This type describes a (cyclo-)static DPN with the following entries:
Record Field | Description |
Full Usage:
buffers
Field type: string[]
|
|
Full Usage:
cons
Field type: (int * int[])[]
|
|
Full Usage:
eqs
Field type: (int * int[] * int[])[]
|
|
Full Usage:
initState
Field type: int[]
|
|
Full Usage:
nodes
Field type: string[]
|
|
Full Usage:
prod
Field type: (int * int[])[]
|
|