AllAcceptance
, CoBuchiAcceptance
, GeneralizedBuchiAcceptance
, GeneralizedRabinAcceptance
, GeneralizedRabinAcceptance2
, GenericAcceptance
, NoneAcceptance
, ParityAcceptance
public abstract class OmegaAcceptance
extends java.lang.Object
Constructor | Description |
---|---|
OmegaAcceptance() |
Modifier and Type | Method | Description |
---|---|---|
abstract int |
getAcceptanceSets() |
|
abstract jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> |
getBooleanExpression() |
Canonical representation as
BooleanExpression . |
abstract java.lang.String |
getName() |
|
java.util.List<java.lang.Object> |
getNameExtra() |
|
<S> boolean |
isWellFormedAutomaton(Automaton<S,?> automaton) |
|
abstract boolean |
isWellFormedEdge(Edge<?> edge) |
This method determines if the given edge is a well defined edge for this acceptance condition.
|
java.lang.String |
toString() |
public abstract int getAcceptanceSets()
public abstract jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> getBooleanExpression()
BooleanExpression
.@Nullable public abstract java.lang.String getName()
public java.util.List<java.lang.Object> getNameExtra()
public abstract boolean isWellFormedEdge(Edge<?> edge)
edge
- The edge to be checked.public <S> boolean isWellFormedAutomaton(Automaton<S,?> automaton)
public java.lang.String toString()
toString
in class java.lang.Object