Package owl.automaton.acceptance
Class CoBuchiAcceptance
- java.lang.Object
-
- owl.automaton.acceptance.EmersonLeiAcceptance
-
- owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
-
- owl.automaton.acceptance.CoBuchiAcceptance
-
public final class CoBuchiAcceptance extends GeneralizedCoBuchiAcceptance
-
-
Field Summary
Fields Modifier and Type Field Description static CoBuchiAcceptanceINSTANCE
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Optional<ImmutableBitSet>acceptingSet()Returns a set of indices which repeated infinitely often are accepting orOptional.empty()if no such set exists.Stringname()static Optional<CoBuchiAcceptance>ofPartial(PropositionalFormula<Integer> formula)Optional<ImmutableBitSet>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
lazyBooleanExpression, nameExtra, of
-
Methods inherited from class owl.automaton.acceptance.EmersonLeiAcceptance
acceptanceSets, booleanExpression, equals, hashCode, isAccepting, isAccepting, isAcceptingEdge, isWellFormedAutomaton, of, toString
-
-
-
-
Field Detail
-
INSTANCE
public static final CoBuchiAcceptance INSTANCE
-
-
Method Detail
-
ofPartial
public static Optional<CoBuchiAcceptance> ofPartial(PropositionalFormula<Integer> formula)
-
name
public String name()
- Overrides:
namein classGeneralizedCoBuchiAcceptance
-
acceptingSet
public Optional<ImmutableBitSet> acceptingSet()
Description copied from class:EmersonLeiAcceptanceReturns a set of indices which repeated infinitely often are accepting orOptional.empty()if no such set exists.- Overrides:
acceptingSetin classGeneralizedCoBuchiAcceptance- See Also:
EmersonLeiAcceptance.isAccepting(BitSet)
-
rejectingSet
public Optional<ImmutableBitSet> rejectingSet()
Description copied from class:EmersonLeiAcceptanceReturns a set of indices which repeated infinitely often are rejecting orOptional.empty()if no such set exists.- Overrides:
rejectingSetin classGeneralizedCoBuchiAcceptance- See Also:
EmersonLeiAcceptance.isAccepting(BitSet)
-
-