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 class	ParityAcceptance.Parity

Constructor Summary

Constructors

Constructor	Description
ParityAcceptance(int colours, ParityAcceptance.Parity parity)

Method Summary

Modifier and Type	Method	Description
Optional<ImmutableBitSet>	acceptingSet()	Returns a set of indices which repeated infinitely often are accepting or Optional.empty() if no such set exists.
ParityAcceptance	complement()
boolean	emptyIsAccepting()
boolean	equals(Object o)
int	hashCode()
boolean	isAccepting(int priority)
protected PropositionalFormula<Integer>	lazyBooleanExpression()
String	name()
List<Object>	nameExtra()
ParityAcceptance.Parity	parity()
Optional<ImmutableBitSet>	rejectingSet()	Returns a set of indices which repeated infinitely often are rejecting or Optional.empty() if no such set exists.
ParityAcceptance	withAcceptanceSets(int colours)
ParityAcceptance	withParity(ParityAcceptance.Parity parity)

Methods inherited from class owl.automaton.acceptance.EmersonLeiAcceptance

acceptanceSets, booleanExpression, isAccepting, isAccepting, isAcceptingEdge, isWellFormedAutomaton, of, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ParityAcceptance

public ParityAcceptance(@Nonnegative
                        int colours,
                        ParityAcceptance.Parity parity)

Method Detail

name

public String name()

Overrides:

name in class EmersonLeiAcceptance

nameExtra

public List<Object> nameExtra()

Overrides:

nameExtra in class EmersonLeiAcceptance

acceptingSet

public Optional<ImmutableBitSet> acceptingSet()

Description copied from class: EmersonLeiAcceptance

Returns a set of indices which repeated infinitely often are accepting or Optional.empty() if no such set exists.

Overrides:

acceptingSet in class EmersonLeiAcceptance

See Also:

EmersonLeiAcceptance.isAccepting(BitSet)

rejectingSet

public Optional<ImmutableBitSet> rejectingSet()

Description copied from class: EmersonLeiAcceptance

Returns a set of indices which repeated infinitely often are rejecting or Optional.empty() if no such set exists.

Overrides:

rejectingSet in class EmersonLeiAcceptance

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:

lazyBooleanExpression in class EmersonLeiAcceptance

isAccepting

public boolean isAccepting(int priority)

withAcceptanceSets

public ParityAcceptance withAcceptanceSets(@Nonnegative
                                           int colours)

equals

public boolean equals(Object o)

Overrides:

equals in class EmersonLeiAcceptance

hashCode

public int hashCode()

Overrides:

hashCode in class EmersonLeiAcceptance