GeneralisedRabinWithMeanPayoffAcceptance
, RabinAcceptance2
@Deprecated public class GeneralizedRabinAcceptance2<S extends AutomatonState<?>> extends OmegaAcceptance
Modifier and Type | Field | Description |
---|---|---|
protected java.util.List<RabinPair2<TranSet<S>,java.util.List<TranSet<S>>>> |
acceptanceCondition |
Deprecated.
|
protected java.util.IdentityHashMap<TranSet<S>,java.lang.Integer> |
acceptanceNumbers |
Deprecated.
|
Constructor | Description |
---|---|
GeneralizedRabinAcceptance2(java.util.List<RabinPair2<TranSet<S>,java.util.List<TranSet<S>>>> acceptanceCondition) |
Deprecated.
|
Modifier and Type | Method | Description |
---|---|---|
protected jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> |
addInfiniteSetsToConjunction(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> conjunction,
int offset) |
Deprecated.
|
void |
addPair(RabinPair2<TranSet<S>,java.util.List<TranSet<S>>> rabinPair) |
Deprecated.
|
void |
clear() |
Deprecated.
|
java.util.List<RabinPair2<TranSet<S>,java.util.List<TranSet<S>>>> |
getAcceptanceCondition() |
Deprecated.
|
int |
getAcceptanceSets() |
Deprecated.
|
jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> |
getBooleanExpression() |
Deprecated.
Canonical representation as
BooleanExpression . |
it.unimi.dsi.fastutil.ints.IntList |
getInvolvedAcceptanceNumbers(AutomatonState<?> currentState,
ValuationSet edgeKey) |
Deprecated.
|
java.util.Set<ValuationSet> |
getMaximallyMergedEdgesOfEdge(AutomatonState<?> currentState,
ValuationSet initialValuation) |
Deprecated.
|
java.lang.String |
getName() |
Deprecated.
|
java.util.List<java.lang.Object> |
getNameExtra() |
Deprecated.
|
boolean |
implies(int premiseIndex,
int conclusionIndex) |
Deprecated.
|
boolean |
isWellFormedEdge(Edge<?> edge) |
Deprecated.
This method determines if the given edge is a well defined edge for this acceptance condition.
|
java.util.Map<java.lang.String,java.util.List<java.lang.Object>> |
miscellaneousAnnotations() |
Deprecated.
|
void |
removeIndices(java.util.Set<java.lang.Integer> toRemove) |
Deprecated.
|
protected java.util.Set<ValuationSet> |
splitAccordingToAcceptanceSet(AutomatonState<?> currentState,
java.util.Set<ValuationSet> result,
TranSet<S> acceptanceCondition) |
Deprecated.
|
java.lang.String |
toString() |
Deprecated.
|
java.util.List<RabinPair2<TranSet<S>,java.util.List<TranSet<S>>>> |
unmodifiableCopyOfAcceptanceCondition() |
Deprecated.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
isWellFormedAutomaton
protected final java.util.List<RabinPair2<TranSet<S extends AutomatonState<?>>,java.util.List<TranSet<S extends AutomatonState<?>>>>> acceptanceCondition
protected final java.util.IdentityHashMap<TranSet<S extends AutomatonState<?>>,java.lang.Integer> acceptanceNumbers
public GeneralizedRabinAcceptance2(java.util.List<RabinPair2<TranSet<S>,java.util.List<TranSet<S>>>> acceptanceCondition)
protected jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> addInfiniteSetsToConjunction(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> conjunction, int offset)
public void addPair(RabinPair2<TranSet<S>,java.util.List<TranSet<S>>> rabinPair)
public void clear()
public java.util.List<RabinPair2<TranSet<S>,java.util.List<TranSet<S>>>> getAcceptanceCondition()
public int getAcceptanceSets()
getAcceptanceSets
in class OmegaAcceptance
public jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> getBooleanExpression()
OmegaAcceptance
BooleanExpression
.getBooleanExpression
in class OmegaAcceptance
public it.unimi.dsi.fastutil.ints.IntList getInvolvedAcceptanceNumbers(AutomatonState<?> currentState, ValuationSet edgeKey)
public java.util.Set<ValuationSet> getMaximallyMergedEdgesOfEdge(AutomatonState<?> currentState, ValuationSet initialValuation)
public java.lang.String getName()
getName
in class OmegaAcceptance
public java.util.List<java.lang.Object> getNameExtra()
getNameExtra
in class OmegaAcceptance
public boolean implies(int premiseIndex, int conclusionIndex)
public boolean isWellFormedEdge(Edge<?> edge)
OmegaAcceptance
isWellFormedEdge
in class OmegaAcceptance
edge
- The edge to be checked.public java.util.Map<java.lang.String,java.util.List<java.lang.Object>> miscellaneousAnnotations()
public void removeIndices(java.util.Set<java.lang.Integer> toRemove)
protected java.util.Set<ValuationSet> splitAccordingToAcceptanceSet(AutomatonState<?> currentState, java.util.Set<ValuationSet> result, TranSet<S> acceptanceCondition)
public java.lang.String toString()
toString
in class OmegaAcceptance
public java.util.List<RabinPair2<TranSet<S>,java.util.List<TranSet<S>>>> unmodifiableCopyOfAcceptanceCondition()