public class CostProfileOneOverSqrtProbability extends HistoryAwareCostFunction
AbstractHistoryAwareCostFunction.CostProfileTypeabstractionTypecostFunctionType, historyParameters, INFINITY, MOVE_IN_BOTH, MOVE_IN_LOG, MOVE_IN_MODEL| Constructor and Description |
|---|
CostProfileOneOverSqrtProbability() |
| Modifier and Type | Method and Description |
|---|---|
double |
defineCost(double probability) |
java.lang.String |
getName() |
computeAbstractionProbability, computeAllPrefixTraceProbability, getCost, initgetHistoryParameterpublic double defineCost(double probability)
defineCost in class HistoryAwareCostFunctionpublic java.lang.String getName()
getName in class AbstractHistoryAwareCostFunction