de.uka.ilkd.key.strategy.termfeature

Interfaces

• TermFeature

Classes

• AnonHeapTermFeature
• AtomTermFeature
• BinarySumTermFeature
• BinaryTermFeature
• ClosedExpressionTermFeature
• ConstantTermFeature
• ConstTermFeature
• ContainsExecutableCodeTermFeature
• ContainsLabelFeature
• ContainsLabelNameFeature
• EqTermFeature
• IsHeapFunctionTermFeature
• IsInductionVariable
• IsNonRigidTermFeature
• IsPostConditionTermFeature
• IsSelectSkolemConstantTermFeature
• OperatorClassTF
• OperatorTF
• PrimitiveHeapTermFeature
• PrintTermFeature
• RecSubTermFeature
• ShannonTermFeature
• SimplifiedSelectTermFeature
• SortExtendsTransTermFeature
• SubTermFeature
• TermLabelTermFeature