Package owl.automaton.acceptance
Class ParityAcceptance
- java.lang.Object
-
- owl.automaton.acceptance.OmegaAcceptance
-
- owl.automaton.acceptance.ParityAcceptance
-
public final class ParityAcceptance extends OmegaAcceptance
-
-
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 intacceptanceSets()Optional<BitSet>acceptingSet()Returns a set of indices which repeated infinitely often are accepting orOptional.empty()if no such set exists.jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>booleanExpression()Get the canonical representation asBooleanExpression.ParityAcceptancecomplement()booleanemptyIsAccepting()booleanequals(Object o)inthashCode()booleanisAccepting(int priority)booleanisWellFormedEdge(Edge<?> edge)This method determines if the given edge is a well defined edge for this acceptance condition.Stringname()List<Object>nameExtra()ParityAcceptance.Parityparity()Optional<BitSet>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.OmegaAcceptance
isAccepting, isAcceptingEdge, isWellFormedAutomaton, toString
-
-
-
-
Constructor Detail
-
ParityAcceptance
public ParityAcceptance(@Nonnegative int colours, ParityAcceptance.Parity parity)
-
-
Method Detail
-
name
public String name()
- Specified by:
namein classOmegaAcceptance
-
nameExtra
public List<Object> nameExtra()
- Overrides:
nameExtrain classOmegaAcceptance
-
acceptingSet
public Optional<BitSet> acceptingSet()
Description copied from class:OmegaAcceptanceReturns a set of indices which repeated infinitely often are accepting orOptional.empty()if no such set exists.- Specified by:
acceptingSetin classOmegaAcceptance- See Also:
OmegaAcceptance.isAccepting(BitSet)
-
rejectingSet
public Optional<BitSet> rejectingSet()
Description copied from class:OmegaAcceptanceReturns a set of indices which repeated infinitely often are rejecting orOptional.empty()if no such set exists.- Specified by:
rejectingSetin classOmegaAcceptance- See Also:
OmegaAcceptance.isAccepting(BitSet)
-
parity
public ParityAcceptance.Parity parity()
-
withParity
public ParityAcceptance withParity(ParityAcceptance.Parity parity)
-
complement
public ParityAcceptance complement()
-
emptyIsAccepting
public boolean emptyIsAccepting()
-
acceptanceSets
public int acceptanceSets()
- Specified by:
acceptanceSetsin classOmegaAcceptance
-
booleanExpression
public jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> booleanExpression()
Description copied from class:OmegaAcceptanceGet the canonical representation asBooleanExpression.- Specified by:
booleanExpressionin classOmegaAcceptance
-
isAccepting
public boolean isAccepting(int priority)
-
isWellFormedEdge
public boolean isWellFormedEdge(Edge<?> edge)
Description copied from class:OmegaAcceptanceThis method determines if the given edge is a well defined edge for this acceptance condition. E.g. a parity condition might check that the edge has at most one acceptance index and the index is less than the colour count.- Overrides:
isWellFormedEdgein classOmegaAcceptance- Parameters:
edge- The edge to be checked.- Returns:
- Whether the edge acceptance is well defined.
-
withAcceptanceSets
public ParityAcceptance withAcceptanceSets(@Nonnegative int colours)
-
-