de.uka.ilkd.key.strategy.termfeature

Class IsPostConditionTermFeature

java.lang.Object

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

de.uka.ilkd.key.strategy.termfeature.IsPostConditionTermFeature

All Implemented Interfaces:

TermFeature

public final class IsPostConditionTermFeature
extends BinaryTermFeature

Term has the post condition term label.

Field Summary

Fields

Modifier and Type	Field and Description
static IsPostConditionTermFeature	INSTANCE

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

TOP_COST, ZERO_COST

Constructor Summary

Constructors

Modifier	Constructor and Description
private	IsPostConditionTermFeature()

Method Summary

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

INSTANCE

public static final IsPostConditionTermFeature INSTANCE

Constructor Detail

IsPostConditionTermFeature

private IsPostConditionTermFeature()

Method Detail

filter

protected boolean filter(Term t,
                         Services services)

Specified by:

filter in class BinaryTermFeature