de.uka.ilkd.key.strategy.termfeature

Class ConstantTermFeature

java.lang.Object

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

de.uka.ilkd.key.strategy.termfeature.ConstantTermFeature

All Implemented Interfaces:

TermFeature

public class ConstantTermFeature
extends BinaryTermFeature

Field Summary

Fields

Modifier and Type	Field and Description
static TermFeature	INSTANCE

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

TOP_COST, ZERO_COST

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ConstantTermFeature()

Method Summary

Modifier and Type	Method and Description
protected boolean	filter(Term term, 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

INSTANCE

public static final TermFeature INSTANCE

Constructor Detail

ConstantTermFeature

private ConstantTermFeature()

Method Detail

filter

protected boolean filter(Term term,
                         Services services)

Specified by:

filter in class BinaryTermFeature