abstract class SubtermGenerator.SubIterator extends java.lang.Object implements java.util.Iterator<Term>
Modifier and Type | Field and Description |
---|---|
protected Services |
services |
protected ImmutableList<Term> |
termStack |
Constructor and Description |
---|
SubIterator(Term t,
Services services) |
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext() |