owl.automaton.acceptance
Classes
AllAcceptance
BooleanExpressions
BuchiAcceptance
CoBuchiAcceptance
GeneralizedBuchiAcceptance
GeneralizedRabinAcceptance
GeneralizedRabinAcceptance.RabinPair
GenericAcceptance
NoneAcceptance
OmegaAcceptance
ParityAcceptance
RabinAcceptance
Enums
ParityAcceptance.Parity