Interface | Description |
---|---|
TermFeature |
Interface for computing a cost for a given term or formula
|
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. |