private class MonomialsSmallerThanFeature.MonomialCollector extends SmallerThanFeature.Collector
Modifier | Constructor and Description |
---|---|
private |
MonomialCollector() |
Modifier and Type | Method and Description |
---|---|
protected void |
collect(Term te,
Services services) |
private Term |
stripOffLiteral(Term te,
Services services) |
addTerm, getResult