BoundAndRewardForPrism
public class BoundAndReward extends java.lang.Object implements BoundAndRewardForPrism
Modifier and Type | Field | Description |
---|---|---|
protected FrequencyG |
frequencyG |
Constructor | Description |
---|---|
BoundAndReward(FrequencyG frequencyG,
ValuationSetFactory vsFactory) |
Modifier and Type | Method | Description |
---|---|---|
boolean |
equals(java.lang.Object obj) |
|
FrequencyG |
getFreqG() |
|
int |
getNumberOfRewardSets() |
|
int |
hashCode() |
|
void |
increaseRewards(java.util.Map<TranSet<ProductControllerSynthesis.State>,java.lang.Integer> transitionRewards) |
|
java.util.Set<java.util.Map.Entry<java.lang.Integer,TranSet<ProductControllerSynthesis.State>>> |
relevantEntries() |
protected final FrequencyG frequencyG
public BoundAndReward(FrequencyG frequencyG, ValuationSetFactory vsFactory)
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public FrequencyG getFreqG()
getFreqG
in interface BoundAndRewardForPrism
public int getNumberOfRewardSets()
public int hashCode()
hashCode
in class java.lang.Object
public void increaseRewards(java.util.Map<TranSet<ProductControllerSynthesis.State>,java.lang.Integer> transitionRewards)
public java.util.Set<java.util.Map.Entry<java.lang.Integer,TranSet<ProductControllerSynthesis.State>>> relevantEntries()
relevantEntries
in interface BoundAndRewardForPrism