Package owl.automaton.acceptance
Class ParityAcceptance
- java.lang.Object
-
- owl.automaton.acceptance.EmersonLeiAcceptance
-
- owl.automaton.acceptance.ParityAcceptance
-
public final class ParityAcceptance extends EmersonLeiAcceptance
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classParityAcceptance.Parity
-
Constructor Summary
Constructors Constructor Description ParityAcceptance(int colours, ParityAcceptance.Parity parity)
-
Method Summary
All 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.ParityAcceptancecomplement()booleanemptyIsAccepting()booleanequals(Object o)inthashCode()booleanisAccepting(int priority)protected PropositionalFormula<Integer>lazyBooleanExpression()Stringname()List<Object>nameExtra()ParityAcceptance.Parityparity()Optional<ImmutableBitSet>rejectingSet()Returns a set of indices which repeated infinitely often are rejecting orOptional.empty()if no such set exists.ParityAcceptancewithAcceptanceSets(int colours)ParityAcceptancewithParity(ParityAcceptance.Parity parity)-
Methods inherited from class owl.automaton.acceptance.EmersonLeiAcceptance
acceptanceSets, booleanExpression, isAccepting, isAccepting, isAcceptingEdge, isWellFormedAutomaton, of, toString
-
-
-
-
Constructor Detail
-
ParityAcceptance
public ParityAcceptance(@Nonnegative int colours, ParityAcceptance.Parity parity)
-
-
Method Detail
-
name
public String name()
- Overrides:
namein classEmersonLeiAcceptance
-
nameExtra
public List<Object> nameExtra()
- Overrides:
nameExtrain classEmersonLeiAcceptance
-
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 classEmersonLeiAcceptance- 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 classEmersonLeiAcceptance- See Also:
EmersonLeiAcceptance.isAccepting(BitSet)
-
parity
public ParityAcceptance.Parity parity()
-
withParity
public ParityAcceptance withParity(ParityAcceptance.Parity parity)
-
complement
public ParityAcceptance complement()
-
emptyIsAccepting
public boolean emptyIsAccepting()
-
lazyBooleanExpression
protected PropositionalFormula<Integer> lazyBooleanExpression()
- Overrides:
lazyBooleanExpressionin classEmersonLeiAcceptance
-
isAccepting
public boolean isAccepting(int priority)
-
withAcceptanceSets
public ParityAcceptance withAcceptanceSets(@Nonnegative int colours)
-
equals
public boolean equals(Object o)
- Overrides:
equalsin classEmersonLeiAcceptance
-
hashCode
public int hashCode()
- Overrides:
hashCodein classEmersonLeiAcceptance
-
-