public final class RabinAcceptance extends GeneralizedRabinAcceptance
GeneralizedRabinAcceptance.RabinPair
s, which in turn basically comprise a (potentially lazily allocated)
Fin and Inf set. A Rabin pair is accepting, if it's Inf set is seen
infinitely often and it's Fin set is seen finitely often. The corresponding Rabin
acceptance is accepting if any Rabin pair is accepting. Note that therefore a Rabin
acceptance without any pairs rejects every word.GeneralizedRabinAcceptance.RabinPair
Constructor | Description |
---|---|
RabinAcceptance() |
|
RabinAcceptance(int n) |
Modifier and Type | Method | Description |
---|---|---|
protected boolean |
assertConsistent() |
|
GeneralizedRabinAcceptance.RabinPair |
createPair() |
|
GeneralizedRabinAcceptance.RabinPair |
createPair(int infSets) |
|
java.lang.String |
getName() |
|
java.util.List<java.lang.Object> |
getNameExtra() |
|
boolean |
isWellFormedEdge(Edge<?> edge) |
This method determines if the given edge is a well defined edge for this acceptance condition.
|
static RabinAcceptance |
of(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> expression) |
getAcceptanceSets, getBooleanExpression, getPairs, removeIndices
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
isWellFormedAutomaton, toString
public RabinAcceptance()
public RabinAcceptance(int n)
public static RabinAcceptance of(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> expression)
public GeneralizedRabinAcceptance.RabinPair createPair()
public GeneralizedRabinAcceptance.RabinPair createPair(int infSets)
createPair
in class GeneralizedRabinAcceptance
public java.lang.String getName()
getName
in class GeneralizedRabinAcceptance
public java.util.List<java.lang.Object> getNameExtra()
getNameExtra
in class GeneralizedRabinAcceptance
public boolean isWellFormedEdge(Edge<?> edge)
OmegaAcceptance
isWellFormedEdge
in class GeneralizedRabinAcceptance
edge
- The edge to be checked.protected boolean assertConsistent()
assertConsistent
in class GeneralizedRabinAcceptance