| java.lang.Object de.uka.ilkd.key.strategy.feature.ScaleFeature
ScaleFeature | abstract public class ScaleFeature implements Feature(Code) | | A feature that applies an affine transformation to the result of
a given feature.
As a special case, it can be used to scale the given feature.
|
Method Summary | |
public static Feature | createAffine(Feature f, double coeff, long offset) Create a feature that applies an affine transformation to the result of
the base feature. | public static Feature | createAffine(Feature f, RuleAppCost dom0, RuleAppCost dom1, RuleAppCost img0, RuleAppCost img1) Create a feature that applies an affine transformation to the result of
the base feature. | public static Feature | createScaled(Feature f, double coeff) Create a feature that scales the result of the base feature. | protected Feature | getFeature() | protected static void | illegalCostError(RuleAppCost cost) | protected static boolean | isZero(double p) | public static Feature | realAffine(Feature f, RuleAppCost dom0, RuleAppCost dom1, RuleAppCost img0, RuleAppCost img1) |
createAffine | public static Feature createAffine(Feature f, double coeff, long offset)(Code) | | Create a feature that applies an affine transformation to the result of
the base feature.
The transformation is described by a coefficient and an offset.
Parameters: f - the base feature Parameters: coeff - the coefficient to be applied to the result of f Parameters: offset - the offset to be added to the result of f (after multiplication with coeff ) |
createAffine | public static Feature createAffine(Feature f, RuleAppCost dom0, RuleAppCost dom1, RuleAppCost img0, RuleAppCost img1)(Code) | | Create a feature that applies an affine transformation to the result of
the base feature.
The transformation is described by two points in the domain and their
images.
Parameters: f - the base feature Parameters: dom0 - point 0 in the domain Parameters: dom1 - point 1 in the domain Parameters: img0 - point 0 in the image Parameters: img1 - point 1 in the image |
createScaled | public static Feature createScaled(Feature f, double coeff)(Code) | | Create a feature that scales the result of the base feature.
Parameters: f - the base feature Parameters: coeff - the coefficient to be applied to the result of f |
isZero | protected static boolean isZero(double p)(Code) | | |
|
|