public final class ParityAcceptance extends OmegaAcceptance
Modifier and Type | Class | Description |
---|---|---|
static class |
ParityAcceptance.Parity |
Constructor | Description |
---|---|
ParityAcceptance(int colours,
ParityAcceptance.Parity parity) |
Modifier and Type | Method | Description |
---|---|---|
void |
complement() |
|
boolean |
emptyIsAccepting() |
|
boolean |
equals(java.lang.Object o) |
|
int |
getAcceptanceSets() |
|
jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> |
getBooleanExpression() |
Canonical representation as
BooleanExpression . |
java.lang.String |
getName() |
|
java.util.List<java.lang.Object> |
getNameExtra() |
|
ParityAcceptance.Parity |
getParity() |
|
int |
hashCode() |
|
boolean |
isAccepting(int priority) |
|
boolean |
isWellFormedEdge(Edge<?> edge) |
This method determines if the given edge is a well defined edge for this acceptance condition.
|
void |
setAcceptanceSets(int colors) |
|
void |
setParity(ParityAcceptance.Parity parity) |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
isWellFormedAutomaton, toString
public ParityAcceptance(@Nonnegative int colours, ParityAcceptance.Parity parity)
public java.lang.String getName()
getName
in class OmegaAcceptance
public java.util.List<java.lang.Object> getNameExtra()
getNameExtra
in class OmegaAcceptance
public ParityAcceptance.Parity getParity()
public void setParity(ParityAcceptance.Parity parity)
public void complement()
public boolean emptyIsAccepting()
public int getAcceptanceSets()
getAcceptanceSets
in class OmegaAcceptance
public jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> getBooleanExpression()
OmegaAcceptance
BooleanExpression
.getBooleanExpression
in class OmegaAcceptance
public boolean isAccepting(int priority)
public boolean isWellFormedEdge(Edge<?> edge)
OmegaAcceptance
isWellFormedEdge
in class OmegaAcceptance
edge
- The edge to be checked.public void setAcceptanceSets(@Nonnegative int colors)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object