Package owl.automaton.acceptance
-
Class Summary Class Description AllAcceptance BuchiAcceptance CoBuchiAcceptance EmersonLeiAcceptance GeneralizedBuchiAcceptance GeneralizedCoBuchiAcceptance GeneralizedRabinAcceptance Generalized Rabin Acceptance - OR (Fin(i) and AND Inf(j)).GeneralizedRabinAcceptance.Builder GeneralizedRabinAcceptance.RabinPair OmegaAcceptanceCast This class provides functionality to cast an automaton to an automaton with a more generic acceptance condition.ParityAcceptance RabinAcceptance This class represents a Rabin acceptance.RabinAcceptance.Builder -
Enum Summary Enum Description ParityAcceptance.Parity