de.uka.ilkd.key.strategy.feature

Class SmallerThanFeature.Collector

java.lang.Object

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

Direct Known Subclasses:

AbstractMonomialSmallerThanFeature.AtomCollector, ClausesSmallerThanFeature.ClauseCollector, LiteralsSmallerThanFeature.LiteralCollector, MonomialsSmallerThanFeature.MonomialCollector, SetsSmallerThanFeature.LiteralCollector

Enclosing class:

SmallerThanFeature

protected abstract static class SmallerThanFeature.Collector
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableList<Term>	terms

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Collector()

Method Summary

Modifier and Type	Method and Description
protected void	addTerm(Term mon)
ImmutableList<Term>	getResult()

Methods inherited from class java.lang.Object

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

Field Detail

terms

private ImmutableList<Term> terms

Constructor Detail

Collector

protected Collector()

Method Detail

addTerm

protected void addTerm(Term mon)

getResult

public ImmutableList<Term> getResult()