de.uka.ilkd.key.strategy.termfeature

Class PrintTermFeature

java.lang.Object

de.uka.ilkd.key.strategy.termfeature.PrintTermFeature

All Implemented Interfaces:

TermFeature

public class PrintTermFeature
extends java.lang.Object
implements TermFeature

Field Summary

Fields

Modifier and Type	Field and Description
static TermFeature	INSTANCE

Constructor Summary

Constructors

Modifier	Constructor and Description
private	PrintTermFeature()

Method Summary

Modifier and Type	Method and Description
RuleAppCost	compute(Term term, Services services)

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

PrintTermFeature

private PrintTermFeature()

Method Detail

compute

public RuleAppCost compute(Term term,
                           Services services)

Specified by:

compute in interface TermFeature