de.uka.ilkd.key.strategy.termfeature

Class PrimitiveHeapTermFeature

java.lang.Object

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

de.uka.ilkd.key.strategy.termfeature.PrimitiveHeapTermFeature

All Implemented Interfaces:

TermFeature

public final class PrimitiveHeapTermFeature
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	PrimitiveHeapTermFeature(HeapLDT heapLDT)

Method Summary

Modifier and Type	Method and Description
static PrimitiveHeapTermFeature	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

PrimitiveHeapTermFeature

private PrimitiveHeapTermFeature(HeapLDT heapLDT)

Method Detail

create

public static PrimitiveHeapTermFeature create(HeapLDT heapLDT)

filter

protected boolean filter(Term t,
                         Services services)

Specified by:

filter in class BinaryTermFeature