goal Type

Namespace: TeachingTools

Assembly: TeachingToolsLib.dll

Parent Module: ModelCheckingExplicit

Abbreviation For: Set<qBlock> * Set<qBlock>

Base Type: obj

All Interfaces: IStructuralComparable , IStructuralEquatable , IComparable , ITuple

Instance members

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>