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