de.uka.ilkd.key.strategy

Class ValueTermFeature

java.lang.Object

de.uka.ilkd.key.strategy.ValueTermFeature

class ValueTermFeature
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
(package private) TermFeature	equals
(package private) TermFeature	ff
(package private) TermFeature	nullTerm
(package private) TermFeature	tt

Constructor Summary

Constructors

Constructor and Description
ValueTermFeature(TermFeature nullTerm)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

equals

final TermFeature equals

tt

final TermFeature tt

ff

final TermFeature ff

nullTerm

final TermFeature nullTerm

Constructor Detail

ValueTermFeature

public ValueTermFeature(TermFeature nullTerm)