BoundAndReward
public interface BoundAndRewardForPrism
Modifier and Type | Method | Description |
---|---|---|
FrequencyG |
getFreqG() |
|
java.util.Set<java.util.Map.Entry<java.lang.Integer,TranSet<ProductControllerSynthesis.State>>> |
relevantEntries() |
FrequencyG getFreqG()
java.util.Set<java.util.Map.Entry<java.lang.Integer,TranSet<ProductControllerSynthesis.State>>> relevantEntries()