de.uka.ilkd.key.strategy.feature

Class ConstFeature

java.lang.Object

de.uka.ilkd.key.strategy.feature.ConstFeature

All Implemented Interfaces:

Feature

public class ConstFeature
extends java.lang.Object
implements Feature

A feature that returns a constant value

Field Summary

Fields

Modifier and Type	Field and Description
private RuleAppCost	val

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ConstFeature(RuleAppCost p_val)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

val

private final RuleAppCost val

Constructor Detail

ConstFeature

private ConstFeature(RuleAppCost p_val)

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

createConst

public static Feature createConst(RuleAppCost p_val)

getValue

public final RuleAppCost getValue()