org.mindswap.pellet.utils.iterator

Class MultiListIterator

java.lang.Object

org.mindswap.pellet.utils.iterator.MultiListIterator

All Implemented Interfaces:

Iterator<aterm.ATermAppl>

public class MultiListIterator
extends Object
implements Iterator<aterm.ATermAppl>

Constructor Summary

Constructors

Constructor and Description
MultiListIterator(aterm.ATermList first)

Method Summary

Methods

Modifier and Type	Method and Description
void	append(aterm.ATermList other)
boolean	hasNext()
aterm.ATermAppl	next()
void	remove()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MultiListIterator

public MultiListIterator(aterm.ATermList first)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<aterm.ATermAppl>

next

public aterm.ATermAppl next()

Specified by:

next in interface Iterator<aterm.ATermAppl>

append

public void append(aterm.ATermList other)

remove

public void remove()

Specified by:

remove in interface Iterator<aterm.ATermAppl>