de.uka.ilkd.key.strategy.quantifierHeuristics

Class LiteralsSmallerThanFeature.LiteralCollector

java.lang.Object

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

de.uka.ilkd.key.strategy.quantifierHeuristics.LiteralsSmallerThanFeature.LiteralCollector

Enclosing class:

LiteralsSmallerThanFeature

private class LiteralsSmallerThanFeature.LiteralCollector
extends SmallerThanFeature.Collector

Constructor Summary

Constructors

Modifier	Constructor and Description
private	LiteralCollector()

Method Summary

Modifier and Type	Method and Description
protected void	collect(Term te)

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

LiteralCollector

private LiteralCollector()

Method Detail

collect

protected void collect(Term te)