| java.lang.Object de.uka.ilkd.key.strategy.feature.ShannonFeature
ShannonFeature | public class ShannonFeature implements Feature(Code) | | A conditional feature, in which the condition itself is a (binary) feature.
The general notion is a term c ? f1 : f2 , whereby the
condition c determines whether the value of the whole
expression is f1 (if c returns zero, or more
general if c returns a distinguished value
trueCost ) or f2
|
Method Summary | |
public RuleAppCost | compute(RuleApp app, PosInOccurrence pos, Goal goal) | public static Feature | createConditional(Feature cond, RuleAppCost trueCost, RuleAppCost thenValue) | public static Feature | createConditional(Feature cond, RuleAppCost trueCost, RuleAppCost thenValue, RuleAppCost elseValue) | public static Feature | createConditional(Feature cond, RuleAppCost trueCost, Feature thenFeature) | public static Feature | createConditional(Feature cond, RuleAppCost trueCost, Feature thenFeature, RuleAppCost elseValue) | public static Feature | createConditional(Feature cond, RuleAppCost trueCost, Feature thenFeature, Feature elseFeature) | public static Feature | createConditionalBinary(Feature cond, RuleAppCost thenValue) | public static Feature | createConditionalBinary(Feature cond, RuleAppCost thenValue, RuleAppCost elseValue) | public static Feature | createConditionalBinary(Feature cond, Feature thenFeature, RuleAppCost elseValue) | public static Feature | createConditionalBinary(Feature cond, Feature thenFeature, Feature elseFeature) | public static Feature | createConditionalBinary(Feature cond, Feature thenFeature) |
createConditional | public static Feature createConditional(Feature cond, RuleAppCost trueCost, RuleAppCost thenValue)(Code) | | Parameters: cond - the feature that decides which value is to be returned Parameters: trueCost - the value of cond that is regarded astrue-value Parameters: thenValue - the value of the feature, if cond returnstrueCost thenValue if cond returnstrueCost , zero otherwise |
createConditional | public static Feature createConditional(Feature cond, RuleAppCost trueCost, RuleAppCost thenValue, RuleAppCost elseValue)(Code) | | Parameters: cond - the feature that decides which value is to be returned Parameters: trueCost - the value of cond that is regarded astrue-value Parameters: thenValue - the value of the feature if cond returnstrueCost Parameters: elseValue - the value of the feature if cond does notreturn trueCost thenValue if cond returnstrueCost , elseValue otherwise |
createConditional | public static Feature createConditional(Feature cond, RuleAppCost trueCost, Feature thenFeature)(Code) | | Parameters: cond - the feature that decides which value is to be returned Parameters: trueCost - the value of cond that is regarded astrue-value Parameters: thenFeature - the value of the feature if cond returnstrueCost the value of thenFeature if cond returns trueCost , zero otherwise |
createConditional | public static Feature createConditional(Feature cond, RuleAppCost trueCost, Feature thenFeature, RuleAppCost elseValue)(Code) | | Parameters: cond - the feature that decides which value is to be returned Parameters: trueCost - the value of cond that is regarded astrue-value Parameters: thenFeature - the value of the feature if cond returnstrueCost Parameters: elseValue - the value of the feature if cond does notreturn trueCost the value of thenFeature if cond returns trueCost , elseValue otherwise |
createConditional | public static Feature createConditional(Feature cond, RuleAppCost trueCost, Feature thenFeature, Feature elseFeature)(Code) | | Parameters: cond - the feature that decides which value is to be returned Parameters: trueCost - the value of cond that is regarded astrue-value Parameters: thenFeature - the value of the feature if cond returnstrueCost Parameters: elseFeature - the value of the feature if cond does notreturn trueCost the value of thenFeature if cond returns trueCost , the value ofelseFeature otherwise |
createConditionalBinary | public static Feature createConditionalBinary(Feature cond, RuleAppCost thenValue)(Code) | | Parameters: cond - the feature that decides which value is to be returned Parameters: thenValue - the value of the feature if cond returns zero the value of thenFeature if cond returns zero, zero otherwise |
createConditionalBinary | public static Feature createConditionalBinary(Feature cond, RuleAppCost thenValue, RuleAppCost elseValue)(Code) | | Parameters: cond - the feature that decides which value is to be returned Parameters: thenValue - the value of the feature if cond returns zero Parameters: elseValue - the value of the feature if cond does notreturn zero thenValue if cond returns zero,elseValue otherwise |
createConditionalBinary | public static Feature createConditionalBinary(Feature cond, Feature thenFeature, RuleAppCost elseValue)(Code) | | Parameters: cond - the feature that decides which value is to be returned Parameters: thenFeature - the value of the feature if cond returns zero Parameters: elseValue - the value of the feature if cond does notreturn zero the value of thenFeature if cond returns zero, elseValue otherwise |
createConditionalBinary | public static Feature createConditionalBinary(Feature cond, Feature thenFeature, Feature elseFeature)(Code) | | Parameters: cond - the feature that decides which value is to be returned Parameters: thenFeature - the value of the feature if cond returns zero Parameters: elseFeature - the value of the feature if cond does notreturn zero the value of thenFeature if cond returns zero, the value of elseFeature otherwise |
createConditionalBinary | public static Feature createConditionalBinary(Feature cond, Feature thenFeature)(Code) | | Parameters: cond - the feature that decides which value is to be returned Parameters: thenFeature - the value of the feature if cond returns zero the value of thenFeature if cond returns zero, zero otherwise |
|
|