public class GeneralisedRabinWithMeanPayoffAcceptance extends GeneralizedRabinAcceptance2<ProductControllerSynthesis.State>
acceptanceCondition, acceptanceNumbers
Constructor | Description |
---|---|
GeneralisedRabinWithMeanPayoffAcceptance(java.util.List<RabinPair2<TranSet<ProductControllerSynthesis.State>,java.util.List<TranSet<ProductControllerSynthesis.State>>>> acceptance,
java.util.List<java.util.Collection<BoundAndReward>> acceptanceMdp) |
Modifier and Type | Method | Description |
---|---|---|
protected jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> |
addInfiniteSetsToConjunction(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> conjunction,
int offset) |
|
void |
clear() |
|
int |
getAcceptanceSets() |
|
java.util.Set<ValuationSet> |
getMaximallyMergedEdgesOfEdge(AutomatonState<?> currentState,
ValuationSet initialValuation) |
|
java.lang.String |
getName() |
|
java.util.List<java.lang.Object> |
getNameExtra() |
|
java.util.List<java.util.Collection<BoundAndReward>> |
getUnmodifiableAcceptanceMdp() |
|
boolean |
implies(int premiseIndex,
int conclusionIndex) |
|
java.util.Map<java.lang.String,java.util.List<java.lang.Object>> |
miscellaneousAnnotations() |
|
void |
removeIndices(java.util.Set<java.lang.Integer> indices) |
addPair, getAcceptanceCondition, getBooleanExpression, getInvolvedAcceptanceNumbers, isWellFormedEdge, splitAccordingToAcceptanceSet, toString, unmodifiableCopyOfAcceptanceCondition
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
isWellFormedAutomaton
public GeneralisedRabinWithMeanPayoffAcceptance(java.util.List<RabinPair2<TranSet<ProductControllerSynthesis.State>,java.util.List<TranSet<ProductControllerSynthesis.State>>>> acceptance, java.util.List<java.util.Collection<BoundAndReward>> acceptanceMdp)
protected jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> addInfiniteSetsToConjunction(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> conjunction, int offset)
addInfiniteSetsToConjunction
in class GeneralizedRabinAcceptance2<ProductControllerSynthesis.State>
public void clear()
clear
in class GeneralizedRabinAcceptance2<ProductControllerSynthesis.State>
public int getAcceptanceSets()
getAcceptanceSets
in class GeneralizedRabinAcceptance2<ProductControllerSynthesis.State>
public java.util.Set<ValuationSet> getMaximallyMergedEdgesOfEdge(AutomatonState<?> currentState, ValuationSet initialValuation)
getMaximallyMergedEdgesOfEdge
in class GeneralizedRabinAcceptance2<ProductControllerSynthesis.State>
public java.lang.String getName()
getName
in class GeneralizedRabinAcceptance2<ProductControllerSynthesis.State>
public java.util.List<java.lang.Object> getNameExtra()
getNameExtra
in class GeneralizedRabinAcceptance2<ProductControllerSynthesis.State>
public java.util.List<java.util.Collection<BoundAndReward>> getUnmodifiableAcceptanceMdp()
public boolean implies(int premiseIndex, int conclusionIndex)
implies
in class GeneralizedRabinAcceptance2<ProductControllerSynthesis.State>
public java.util.Map<java.lang.String,java.util.List<java.lang.Object>> miscellaneousAnnotations()
miscellaneousAnnotations
in class GeneralizedRabinAcceptance2<ProductControllerSynthesis.State>
public void removeIndices(java.util.Set<java.lang.Integer> indices)
removeIndices
in class GeneralizedRabinAcceptance2<ProductControllerSynthesis.State>