| Constructor and Description |
|---|
MultiListIterator(aterm.ATermList first) |
| Modifier and Type | Method and Description |
|---|---|
void |
append(aterm.ATermList other) |
boolean |
hasNext() |
aterm.ATermAppl |
next() |
void |
remove() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitforEachRemainingCopyright © 2019. All rights reserved.