de.uka.ilkd.key.strategy.termfeature

Class ConstTermFeature

java.lang.Object

de.uka.ilkd.key.strategy.termfeature.ConstTermFeature

All Implemented Interfaces:

TermFeature

public class ConstTermFeature
extends java.lang.Object
implements TermFeature

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	ConstTermFeature(RuleAppCost p_val)

Method Summary

Modifier and Type	Method and Description
RuleAppCost	compute(Term term, Services services)
static TermFeature	createConst(RuleAppCost p_val)

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

ConstTermFeature

private ConstTermFeature(RuleAppCost p_val)

Method Detail

compute

public RuleAppCost compute(Term term,
                           Services services)

Specified by:

compute in interface TermFeature

createConst

public static TermFeature createConst(RuleAppCost p_val)