cubeOfAtoms (Averest)

cubeOfAtoms Type

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

Record Field	Description
`typeAPath` Full Usage: `typeAPath` Field type: `Set<SpecExpr>`	Field type: `Set<SpecExpr>`
`typeAX` Full Usage: `typeAX` Field type: `Set<SpecExpr>`	Field type: `Set<SpecExpr>`
`typeAY` Full Usage: `typeAY` Field type: `Set<SpecExpr>`	Field type: `Set<SpecExpr>`
`typeAtom` Full Usage: `typeAtom` Field type: `Set<SpecExpr>`	Field type: `Set<SpecExpr>`
`typeEPath` Full Usage: `typeEPath` Field type: `Set<SpecExpr>`	Field type: `Set<SpecExpr>`
`typeEX` Full Usage: `typeEX` Field type: `Set<SpecExpr>`	Field type: `Set<SpecExpr>`
`typeEY` Full Usage: `typeEY` Field type: `Set<SpecExpr>`	Field type: `Set<SpecExpr>`
`typeX` Full Usage: `typeX` Field type: `Set<SpecExpr>`	Field type: `Set<SpecExpr>`