de.uka.ilkd.key.strategy.termfeature

Class BinaryTermFeature

java.lang.Object

de.uka.ilkd.key.strategy.termfeature.BinaryTermFeature

All Implemented Interfaces:

TermFeature

Direct Known Subclasses:

AnonHeapTermFeature, AtomTermFeature, ClosedExpressionTermFeature, ConstantTermFeature, ContainsExecutableCodeTermFeature, EliminableQuantifierTF, EqTermFeature, IsHeapFunctionTermFeature, IsInductionVariable, IsNonRigidTermFeature, IsPostConditionTermFeature, IsSelectSkolemConstantTermFeature, OperatorClassTF, OperatorTF, PrimitiveHeapTermFeature, RecAndExistentiallyConnectedClausesFeature, SimplifiedSelectTermFeature, SortExtendsTransTermFeature, TermLabelTermFeature

public abstract class BinaryTermFeature
extends java.lang.Object
implements TermFeature

Abstract superclass for features that have either zero cost or top cost.

Field Summary

Fields

Modifier and Type	Field and Description
static RuleAppCost	TOP_COST Constant that represents the boolean value false
static RuleAppCost	ZERO_COST Constant that represents the boolean value true

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BinaryTermFeature()

Method Summary

Modifier and Type	Method and Description
RuleAppCost	compute(Term term, Services services)
protected abstract boolean	filter(Term term, Services services)

Methods inherited from class java.lang.Object

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

Field Detail

ZERO_COST

public static final RuleAppCost ZERO_COST

Constant that represents the boolean value true

TOP_COST

public static final RuleAppCost TOP_COST

Constant that represents the boolean value false

Constructor Detail

BinaryTermFeature

protected BinaryTermFeature()

Method Detail

compute

public final RuleAppCost compute(Term term,
                                 Services services)

Specified by:

compute in interface TermFeature

filter

protected abstract boolean filter(Term term,
                                  Services services)