Class | Description |
---|---|
AllAcceptance | |
BooleanExpressions | |
BuchiAcceptance | |
CoBuchiAcceptance | |
GeneralizedBuchiAcceptance | |
GeneralizedRabinAcceptance |
Generalized Rabin Acceptance - OR (Fin(i) and AND Inf(j)).
|
GeneralizedRabinAcceptance.RabinPair | |
GenericAcceptance | |
NoneAcceptance | |
OmegaAcceptance | |
ParityAcceptance | |
RabinAcceptance |
This class represents a Rabin acceptance.
|
Enum | Description |
---|---|
ParityAcceptance.Parity |