KripkeStructureBDD (Averest)

KripkeStructureBDD Type

Namespace: TeachingTools
Assembly: TeachingToolsLib.dll
Parent Module: ModelCheckingInduction
Base Type: obj
All Interfaces: IEquatable<KripkeStructureBDD> , IStructuralEquatable , IComparable<KripkeStructureBDD> , IComparable , IStructuralComparable

Record Field	Description
`nowVars` Full Usage: `nowVars` Field type: `BoolExpr list`	Field type: `BoolExpr list`
`nxtVars` Full Usage: `nxtVars` Field type: `BoolExpr list`	Field type: `BoolExpr list`
`phiInit` Full Usage: `phiInit` Field type: `BddAdr`	Field type: `BddAdr`
`phiSafe` Full Usage: `phiSafe` Field type: `BddAdr`	Field type: `BddAdr`
`phiTrans` Full Usage: `phiTrans` Field type: `BddAdr`	Field type: `BddAdr`
`stateIdxEnc` Full Usage: `stateIdxEnc` Field type: `Map<AtomIndex, bool>[]`	Field type: `Map<AtomIndex, bool>[]`