public final class AllAcceptance extends OmegaAcceptance
Modifier and Type | Field | Description |
---|---|---|
static AllAcceptance |
INSTANCE |
Modifier and Type | Method | Description |
---|---|---|
int |
getAcceptanceSets() |
|
jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> |
getBooleanExpression() |
Canonical representation as
BooleanExpression . |
java.lang.String |
getName() |
|
boolean |
isWellFormedEdge(Edge<?> edge) |
This method determines if the given edge is a well defined edge for this acceptance condition.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getNameExtra, isWellFormedAutomaton, toString
public static final AllAcceptance INSTANCE
public int getAcceptanceSets()
getAcceptanceSets
in class OmegaAcceptance
public jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> getBooleanExpression()
OmegaAcceptance
BooleanExpression
.getBooleanExpression
in class OmegaAcceptance
public java.lang.String getName()
getName
in class OmegaAcceptance
public boolean isWellFormedEdge(Edge<?> edge)
OmegaAcceptance
isWellFormedEdge
in class OmegaAcceptance
edge
- The edge to be checked.