RabinAcceptance
public class GeneralizedRabinAcceptance extends OmegaAcceptance
A generalized Rabin acceptance is formed by a disjunction of a conjunction between one Fin and multiple Inf conditions.
According to the HOA specifications, the indices are monotonically increasing and used for exactly one Fin/Inf atom.
Modifier and Type | Class | Description |
---|---|---|
static class |
GeneralizedRabinAcceptance.RabinPair |
Constructor | Description |
---|---|
GeneralizedRabinAcceptance() |
Modifier and Type | Method | Description |
---|---|---|
protected boolean |
assertConsistent() |
|
GeneralizedRabinAcceptance.RabinPair |
createPair(int infSets) |
|
int |
getAcceptanceSets() |
|
jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> |
getBooleanExpression() |
Canonical representation as
BooleanExpression . |
java.lang.String |
getName() |
|
java.util.List<java.lang.Object> |
getNameExtra() |
|
java.util.List<GeneralizedRabinAcceptance.RabinPair> |
getPairs() |
Returns an unmodifiable view of the pair collection.
|
boolean |
isWellFormedEdge(Edge<?> edge) |
This method determines if the given edge is a well defined edge for this acceptance condition.
|
static GeneralizedRabinAcceptance |
of(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> expression) |
|
void |
removeIndices(java.util.function.IntPredicate removalPredicate) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
isWellFormedAutomaton, toString
protected boolean assertConsistent()
public static GeneralizedRabinAcceptance of(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> expression)
public GeneralizedRabinAcceptance.RabinPair createPair(@Nonnegative int infSets)
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 java.util.List<java.lang.Object> getNameExtra()
getNameExtra
in class OmegaAcceptance
public java.util.List<GeneralizedRabinAcceptance.RabinPair> getPairs()
public boolean isWellFormedEdge(Edge<?> edge)
OmegaAcceptance
isWellFormedEdge
in class OmegaAcceptance
edge
- The edge to be checked.public void removeIndices(java.util.function.IntPredicate removalPredicate)