de.uka.ilkd.key.strategy.termfeature

Class SimplifiedSelectTermFeature

java.lang.Object

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

de.uka.ilkd.key.strategy.termfeature.SimplifiedSelectTermFeature

All Implemented Interfaces:

TermFeature

public final class SimplifiedSelectTermFeature
extends BinaryTermFeature

Field Summary

Fields

Modifier and Type	Field and Description
private HeapLDT	heapLDT
private PrimitiveHeapTermFeature	primitiveHeapTermFeature

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

TOP_COST, ZERO_COST

Constructor Summary

Constructors

Modifier	Constructor and Description
private	SimplifiedSelectTermFeature(HeapLDT heapLDT)

Method Summary

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

primitiveHeapTermFeature

private final PrimitiveHeapTermFeature primitiveHeapTermFeature

Constructor Detail

SimplifiedSelectTermFeature

private SimplifiedSelectTermFeature(HeapLDT heapLDT)

Method Detail

create

public static TermFeature create(HeapLDT heapLDT)

filter

protected boolean filter(Term t,
                         Services services)

Specified by:

filter in class BinaryTermFeature