NodeDPN (Averest)

NodeDPN Type

Namespace: TeachingTools
Assembly: TeachingToolsLib.dll
Parent Module: DataflowDesynchronization
Base Type: obj
All Interfaces: IEquatable<NodeDPN> , IStructuralEquatable , IComparable<NodeDPN> , IComparable , IStructuralComparable

A node is defined by its name, the declarations of its input and output variables, rules for the initial reaction, and the other rules for the remaining reactions.

Record fields

Record Field	Description
`initial` Full Usage: `initial` Field type: `(InputPattern[] * Expr[][])[]`	Field type: `(InputPattern[] * Expr[][])[]`
`inputs` Full Usage: `inputs` Field type: `QType[]`	Field type: `QType[]`
`name` Full Usage: `name` Field type: `string`	Field type: `string`
`outputs` Full Usage: `outputs` Field type: `QType[]`	Field type: `QType[]`
`rules` Full Usage: `rules` Field type: `(InputPattern[] * Expr[][])[]`	Field type: `(InputPattern[] * Expr[][])[]`