class SubtermGenerator.LeftIterator extends SubtermGenerator.SubIterator
services, termStack
Constructor and Description |
---|
LeftIterator(Term t,
Services services) |
Modifier and Type | Method and Description |
---|---|
Term |
next() |
void |
remove()
throw an unsupported operation exception as generators do not remove
|
hasNext