OutputEqu (Averest)

OutputEqu Type

Namespace: Averest.Core
Assembly: Averest.dll
Parent Module: Specifications
Base Type: obj
All Interfaces: IEquatable<OutputEqu> , IStructuralEquatable , IComparable<OutputEqu> , IComparable , IStructuralComparable

Record Field	Description
`oVarDef` Full Usage: `oVarDef` Field type: `BoolExpr`	Field type: `BoolExpr`
`oVarIdx` Full Usage: `oVarIdx` Field type: `int`	Field type: `int`