private class AbstractMonomialSmallerThanFeature.AtomCollector extends SmallerThanFeature.Collector
Modifier | Constructor and Description |
---|---|
private |
AbstractMonomialSmallerThanFeature.AtomCollector() |
Modifier and Type | Method and Description |
---|---|
protected void |
collect(Term te) |
addTerm, getResult
private AbstractMonomialSmallerThanFeature.AtomCollector()
protected void collect(Term te)