qBlock (Averest)

qBlock Type

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

Union case	Description
`ExistsBlock(Set<SpecExpr>, Set<SpecExpr>)` Full Usage: `ExistsBlock(Set<SpecExpr>, Set<SpecExpr>)` Parameters: Item1 : `Set<SpecExpr>` Item2 : `Set<SpecExpr>`	Item1 : `Set<SpecExpr>` Item2 : `Set<SpecExpr>`
`ForallBlock(Set<SpecExpr>, Set<SpecExpr>)` Full Usage: `ForallBlock(Set<SpecExpr>, Set<SpecExpr>)` Parameters: Item1 : `Set<SpecExpr>` Item2 : `Set<SpecExpr>`	Item1 : `Set<SpecExpr>` Item2 : `Set<SpecExpr>`
`Literal BoolExpr` Full Usage: `Literal BoolExpr` Parameters: Item : `BoolExpr`	Item : `BoolExpr`

Instance member	Description
`this.ToSpecExpr` Full Usage: `this.ToSpecExpr` Returns: `SpecExpr`	Returns: `SpecExpr`