AIFSystem (Averest)

AIFSystem Type

Namespace: Averest.Systems
Assembly: Averest.dll
Parent Module: Aif
Base Type: obj
All Interfaces: IEquatable<AIFSystem> , IStructuralEquatable , IComparable<AIFSystem> , IComparable , IStructuralComparable

Record Field	Description
`abbrevs` Full Usage: `abbrevs` Field type: `GrdAction list`	Field type: `GrdAction list`
`absReacts` Full Usage: `absReacts` Field type: `AbsReaction list`	Field type: `AbsReaction list`
`asserts` Full Usage: `asserts` Field type: `GrdAction list`	Field type: `GrdAction list`
`ctrlFlow` Full Usage: `ctrlFlow` Field type: `GrdAction list`	Field type: `GrdAction list`
`dataFlow` Full Usage: `dataFlow` Field type: `GrdAction list`	Field type: `GrdAction list`
`drivers` Full Usage: `drivers` Field type: `SystemPart list`	Field type: `SystemPart list`
`iface` Full Usage: `iface` Field type: `Interface`	Field type: `Interface`
`invar` Full Usage: `invar` Field type: `BoolExpr`	Field type: `BoolExpr`
`locals` Full Usage: `locals` Field type: `Interface`	Field type: `Interface`
`name` Full Usage: `name` Field type: `Index`	Field type: `Index`
`specs` Full Usage: `specs` Field type: `Specification list`	Field type: `Specification list`

Instance member	Description
`this.printer` Full Usage: `this.printer` Returns: `PrnDrv -> unit`	Returns: `PrnDrv -> unit`