class SubtermGenerator.RightIterator extends SubtermGenerator.SubIterator
services, termStack
Constructor and Description |
---|
RightIterator(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