|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.mindswap.pellet.utils.iterator.MultiListIterator
public class MultiListIterator
| Constructor Summary | |
|---|---|
MultiListIterator(aterm.ATermList first)
|
|
| Method Summary | |
|---|---|
void |
append(aterm.ATermList other)
|
boolean |
hasNext()
|
aterm.ATermAppl |
next()
|
void |
remove()
|
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public MultiListIterator(aterm.ATermList first)
| Method Detail |
|---|
public boolean hasNext()
hasNext in interface java.util.Iterator<aterm.ATermAppl>public aterm.ATermAppl next()
next in interface java.util.Iterator<aterm.ATermAppl>public void append(aterm.ATermList other)
public void remove()
remove in interface java.util.Iterator<aterm.ATermAppl>
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||