AutomatonSymb (Averest)

AutomatonSymb Type

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

Record Field	Description
`acptCond` Full Usage: `acptCond` Field type: `BoolExpr`	Field type: `BoolExpr`
`acptType` Full Usage: `acptType` Field type: `AcceptanceType`	Field type: `AcceptanceType`
`cstrGF` Full Usage: `cstrGF` Field type: `Set<BoolExpr>`	Field type: `Set<BoolExpr>`
`initCond` Full Usage: `initCond` Field type: `BoolExpr`	Field type: `BoolExpr`
`inputs` Full Usage: `inputs` Field type: `Set<BoolExpr>`	Field type: `Set<BoolExpr>`
`outputs` Full Usage: `outputs` Field type: `Set<BoolExpr>`	Field type: `Set<BoolExpr>`
`stateVars` Full Usage: `stateVars` Field type: `Set<int>`	Field type: `Set<int>`
`transRel` Full Usage: `transRel` Field type: `BoolExpr`	Field type: `BoolExpr`