de.uka.ilkd.key.strategy.termfeature

Class ClosedExpressionTermFeature

java.lang.Object

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

de.uka.ilkd.key.strategy.termfeature.ClosedExpressionTermFeature

All Implemented Interfaces:

TermFeature

public class ClosedExpressionTermFeature
extends BinaryTermFeature

return zero cost if given term does not contain any free variables.

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	ClosedExpressionTermFeature()

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

ClosedExpressionTermFeature

private ClosedExpressionTermFeature()

Method Detail

filter

protected boolean filter(Term term,
                         Services services)

Specified by:

filter in class BinaryTermFeature