de.uka.ilkd.key.strategy.quantifierHeuristics

Class ClausesSmallerThanFeature.ClauseCollector

java.lang.Object

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

de.uka.ilkd.key.strategy.quantifierHeuristics.ClausesSmallerThanFeature.ClauseCollector

Enclosing class:

ClausesSmallerThanFeature

private class ClausesSmallerThanFeature.ClauseCollector
extends SmallerThanFeature.Collector

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ClauseCollector()

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

ClauseCollector

private ClauseCollector()

Method Detail

collect

protected void collect(Term te)