DetAutomatonSymb (Averest)

DetAutomatonSymb Type

Namespace: Averest.Core
Assembly: Averest.dll
Parent Module: Specifications
Base Type: obj
All Interfaces: IEquatable<DetAutomatonSymb> , IStructuralEquatable , IComparable<DetAutomatonSymb> , 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`
`careSet` Full Usage: `careSet` Field type: `BoolExpr`	Field type: `BoolExpr`
`cstrGF` Full Usage: `cstrGF` Field type: `Set<BoolExpr>`	Field type: `Set<BoolExpr>`
`inputs` Full Usage: `inputs` Field type: `Set<BoolExpr>`	Field type: `Set<BoolExpr>`
`outputEqu` Full Usage: `outputEqu` Field type: `Set<OutputEqu>`	Field type: `Set<OutputEqu>`
`outputs` Full Usage: `outputs` Field type: `Set<BoolExpr>`	Field type: `Set<BoolExpr>`
`stateVars` Full Usage: `stateVars` Field type: `Set<int>`	Field type: `Set<int>`
`transEqu` Full Usage: `transEqu` Field type: `Set<TransEqu>`	Field type: `Set<TransEqu>`