private abstract class ListTermImpl.ListTermIterator<T>
extends java.lang.Object
implements java.util.Iterator<T>
Modifier and Type | Field and Description |
---|---|
(package private) ListTerm |
current |
(package private) ListTerm |
nextLT |
Constructor and Description |
---|
ListTermIterator(ListTerm lt) |
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext() |
void |
moveNext() |
void |
remove() |
public ListTermIterator(ListTerm lt)