ParityGame Type

Namespace: TeachingTools

Assembly: TeachingToolsLib.dll

Parent Module: ReactiveSynthesis

Base Type: obj

All Interfaces: IEquatable<ParityGame> , IStructuralEquatable , IComparable<ParityGame> , IComparable , IStructuralComparable

Record fields

Record Field	Description
Ranks Full Usage: Ranks Field type: Map<int, int>	Field type: Map<int, int>
States0 Full Usage: States0 Field type: Set<int>	Field type: Set<int>
States1 Full Usage: States1 Field type: Set<int>	Field type: Set<int>
TransRel Full Usage: TransRel Field type: Set<int * int>	Field type: Set<int * int>