Package owl.automaton.acceptance
Class CoBuchiAcceptance
- java.lang.Object
-
- owl.automaton.acceptance.OmegaAcceptance
-
- owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
-
- owl.automaton.acceptance.CoBuchiAcceptance
-
public final class CoBuchiAcceptance extends GeneralizedCoBuchiAcceptance
-
-
Field Summary
Fields Modifier and Type Field Description static CoBuchiAcceptance
INSTANCE
-
Fields inherited from class owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
size
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Optional<BitSet>
acceptingSet()
Returns a set of indices which repeated infinitely often are accepting orOptional.empty()
if no such set exists.String
name()
Optional<BitSet>
rejectingSet()
Returns a set of indices which repeated infinitely often are rejecting orOptional.empty()
if no such set exists.-
Methods inherited from class owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
acceptanceSets, booleanExpression, nameExtra, of
-
Methods inherited from class owl.automaton.acceptance.OmegaAcceptance
isAccepting, isAcceptingEdge, isWellFormedAutomaton, isWellFormedEdge, toString
-
-
-
-
Field Detail
-
INSTANCE
public static final CoBuchiAcceptance INSTANCE
-
-
Method Detail
-
name
public String name()
- Overrides:
name
in classGeneralizedCoBuchiAcceptance
-
acceptingSet
public Optional<BitSet> acceptingSet()
Description copied from class:OmegaAcceptance
Returns a set of indices which repeated infinitely often are accepting orOptional.empty()
if no such set exists.- Overrides:
acceptingSet
in classGeneralizedCoBuchiAcceptance
- See Also:
OmegaAcceptance.isAccepting(BitSet)
-
rejectingSet
public Optional<BitSet> rejectingSet()
Description copied from class:OmegaAcceptance
Returns a set of indices which repeated infinitely often are rejecting orOptional.empty()
if no such set exists.- Overrides:
rejectingSet
in classGeneralizedCoBuchiAcceptance
- See Also:
OmegaAcceptance.isAccepting(BitSet)
-
-