SystemPart (Averest)

SystemPart Type

Namespace: Averest.Systems
Assembly: Averest.dll
Parent Module: Aif
Base Type: obj
All Interfaces: IEquatable<SystemPart> , IStructuralEquatable , IComparable<SystemPart> , 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`
`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`

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