de.uka.ilkd.key.strategy.termfeature

Class IsHeapFunctionTermFeature

java.lang.Object

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

de.uka.ilkd.key.strategy.termfeature.IsHeapFunctionTermFeature

All Implemented Interfaces:

TermFeature

public final class IsHeapFunctionTermFeature
extends BinaryTermFeature

Field Summary

Fields

Modifier and Type	Field and Description
private HeapLDT	heapLDT

Fields inherited from class de.uka.ilkd.key.strategy.termfeature.BinaryTermFeature

TOP_COST, ZERO_COST

Constructor Summary

Constructors

Modifier	Constructor and Description
private	IsHeapFunctionTermFeature(HeapLDT heapLDT)

Method Summary

Modifier and Type	Method and Description
static IsHeapFunctionTermFeature	create(HeapLDT heapLDT)
protected boolean	filter(Term t, Services services)

Methods inherited from class de.uka.ilkd.key.strategy.termfeature.BinaryTermFeature

compute

Methods inherited from class java.lang.Object

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

Field Detail

heapLDT

private final HeapLDT heapLDT

Constructor Detail

IsHeapFunctionTermFeature

private IsHeapFunctionTermFeature(HeapLDT heapLDT)

Method Detail

create

public static IsHeapFunctionTermFeature create(HeapLDT heapLDT)

filter

protected boolean filter(Term t,
                         Services services)

Specified by:

filter in class BinaryTermFeature