TransEqu (Averest)

TransEqu Type

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

Record Field	Description
`sVarIdx` Full Usage: `sVarIdx` Field type: `int`	Field type: `int`
`sVarInit` Full Usage: `sVarInit` Field type: `bool`	Field type: `bool`
`sVarNext` Full Usage: `sVarNext` Field type: `BoolExpr`	Field type: `BoolExpr`