de.uka.ilkd.key.strategy.feature

Class MonomialsSmallerThanFeature.MonomialCollector

java.lang.Object

de.uka.ilkd.key.strategy.feature.SmallerThanFeature.Collector

de.uka.ilkd.key.strategy.feature.MonomialsSmallerThanFeature.MonomialCollector

Enclosing class:

MonomialsSmallerThanFeature

private class MonomialsSmallerThanFeature.MonomialCollector
extends SmallerThanFeature.Collector

Constructor Summary

Constructors

Modifier	Constructor and Description
private	MonomialCollector()

Method Summary

Modifier and Type	Method and Description
protected void	collect(Term te, Services services)
private Term	stripOffLiteral(Term te, Services services)

Methods inherited from class de.uka.ilkd.key.strategy.feature.SmallerThanFeature.Collector

addTerm, getResult

Methods inherited from class java.lang.Object

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

Constructor Detail

MonomialCollector

private MonomialCollector()

Method Detail

collect

protected void collect(Term te,
                       Services services)

stripOffLiteral

private Term stripOffLiteral(Term te,
                             Services services)