private class LiteralsSmallerThanFeature.MonomialIterator extends java.lang.Object implements java.util.Iterator<Term>
Modifier and Type | Field and Description |
---|---|
private Term |
nextMonomial |
private Term |
polynomial |
Modifier | Constructor and Description |
---|---|
private |
MonomialIterator(Term polynomial) |
Modifier and Type | Method and Description |
---|---|
private void |
findNextMonomial() |
boolean |
hasNext() |
Term |
next() |
void |
remove()
throw an unsupported operation exception
|
private MonomialIterator(Term polynomial)