Package de.uka.ilkd.key.strategy.termfeature

Interface Summary

Interface	Description
TermFeature	Interface for computing a cost for a given term or formula

Class Summary

Class	Description
AnonHeapTermFeature
AtomTermFeature
BinarySumTermFeature	A feature that computes the sum of two given features (faster than the more general class SumFeature)
BinaryTermFeature	Abstract superclass for features that have either zero cost or top cost.
ClosedExpressionTermFeature	return zero cost if given term does not contain any free variables.
ConstantTermFeature
ConstTermFeature	A feature that returns a constant value
ContainsExecutableCodeTermFeature	Returns zero iff a term contains a program or (optionally) a query expression
ContainsLabelFeature
ContainsLabelNameFeature
EqTermFeature	Term feature for testing equality of two terms.
IsHeapFunctionTermFeature
IsInductionVariable	The comment below was the description used in the variable condition: In the taclet language the variable condition is called "\isInductVar".
IsNonRigidTermFeature	this termfeature returns ZERO costs if the given term is non-rigid
IsPostConditionTermFeature	Term has the post condition term label.
IsSelectSkolemConstantTermFeature	A schema variable that is used as placeholder for auxiliary heap skolem constants.
OperatorClassTF	Term feature for checking whether the top operator of a term has an instance of a certain class
OperatorTF	Term feature for checking whether the top operator of a term is identical to a given one
PrimitiveHeapTermFeature
PrintTermFeature
RecSubTermFeature	Feature for invoking a term feature recursively on all subterms of a term.
ShannonTermFeature	A conditional feature, in which the condition itself is a (binary) feature.
SimplifiedSelectTermFeature
SortExtendsTransTermFeature	Term feature for testing whether the sort of a term is a subsort of a given sort (or exactly the given sort).
SubTermFeature	Feature for invoking a list of term features on the direct subterms of a given term.
TermLabelTermFeature	A termfeature that can be used to check whether a term has a specific label TermLabelTermFeature.create(TermLabel) or any label {TermLabelTermFeature.HAS_ANY_LABEL at all.