de.uka.ilkd.key.strategy.feature

Class ScaleFeature.MultFeature

java.lang.Object

de.uka.ilkd.key.strategy.feature.ScaleFeature

de.uka.ilkd.key.strategy.feature.ScaleFeature.MultFeature

All Implemented Interfaces:

Feature

Enclosing class:

ScaleFeature

private static class ScaleFeature.MultFeature
extends ScaleFeature

Field Summary

Fields

Modifier and Type	Field and Description
private double	coeff the coefficient
private long	offset the offset

Constructor Summary

Constructors

Modifier	Constructor and Description
private	MultFeature(Feature f, double p_coeff, long p_offset)

Method Summary

Modifier and Type	Method and Description
RuleAppCost	computeCost(RuleApp app, PosInOccurrence pos, Goal goal) Evaluate the cost of a RuleApp.

Methods inherited from class de.uka.ilkd.key.strategy.feature.ScaleFeature

createAffine, createAffine, createScaled, getFeature, illegalCostError, isZero, realAffine

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

coeff

private final double coeff

the coefficient

offset

private final long offset

the offset

Constructor Detail

MultFeature

private MultFeature(Feature f,
                    double p_coeff,
                    long p_offset)

Method Detail

computeCost

public RuleAppCost computeCost(RuleApp app,
                               PosInOccurrence pos,
                               Goal goal)

Description copied from interface: Feature

Evaluate the cost of a RuleApp.

Parameters:

app - the RuleApp

pos - position where app is to be applied

goal - the goal on which app is to be applied

Returns:

the cost of the rule application expressed as a RuleAppCost object. TopRuleAppCost.INSTANCE indicates that the rule shall not be applied at all (it is discarded by the strategy).