de.uka.ilkd.key.strategy.feature

Class SumFeature

java.lang.Object

de.uka.ilkd.key.strategy.feature.SumFeature

All Implemented Interfaces:

Feature

public class SumFeature
extends Object
implements Feature

A feature that computes the sum of a given list (vector) of features

Field Summary

Fields

Modifier and Type	Field and Description
private Feature[]	features

Constructor Summary

Constructors

Modifier	Constructor and Description
private	SumFeature(Feature[] p_features)

Method Summary

Modifier and Type	Method and Description
RuleAppCost	computeCost(RuleApp app, PosInOccurrence pos, Goal goal) Evaluate the cost of a RuleApp.
static Feature	createSum(Feature... fs)
(package private) static void	flatten(Feature[] sumF, LinkedHashSet<Feature> p_features)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

features

private final Feature[] features

Constructor Detail

SumFeature

private SumFeature(Feature[] p_features)

Method Detail

computeCost

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

Description copied from interface: Feature

Evaluate the cost of a RuleApp.

Specified by:

computeCost in interface Feature

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).

flatten

static void flatten(Feature[] sumF,
                    LinkedHashSet<Feature> p_features)

createSum

public static Feature createSum(Feature... fs)

toString

public String toString()

Overrides:

toString in class Object