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