goal (Averest)

goal Type

Namespace: Averest.TeachingTools
Assembly: Averest.dll
Parent Module: ModelCheckingExplicit
Abbreviation For: Set<qBlock> * Set<qBlock>
Base Type: obj
All Interfaces: IStructuralComparable , IStructuralEquatable , IComparable , ITuple

Instance member	Description
`this.Item1` Full Usage: `this.Item1` Returns: `Set<qBlock>`	Returns: `Set<qBlock>`
`this.Item2` Full Usage: `this.Item2` Returns: `Set<qBlock>`	Returns: `Set<qBlock>`