org.mindswap.pellet

Class IndividualIterator

java.lang.Object

org.mindswap.pellet.IndividualIterator

All Implemented Interfaces:

Iterator<Individual>

Direct Known Subclasses:

CompletionQueue

public class IndividualIterator
extends Object
implements Iterator<Individual>

An iterator to return nodes in the order they are added. Having a separate iterator instead of using nodes.iterator() allows to change the nodes table without resetting the iteration process.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
protected ABox	abox ABox where the individuals are stored
protected int	index Last returned index
protected List<aterm.ATermAppl>	nodeList List of node names
protected int	stop Index where iterator stops (size of list by default)

Constructor Summary

Constructors

Constructor and Description
IndividualIterator(ABox abox) Create an iterator over all the individuals in the ABox

Method Summary

Methods

Modifier and Type	Method and Description
protected void	findNext()
boolean	hasNext()
Individual	next()
void	remove()
void	reset(NodeSelector s)

Methods inherited from class java.lang.Object

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

Field Detail

abox

protected ABox abox

ABox where the individuals are stored

nodeList

protected List<aterm.ATermAppl> nodeList

List of node names

index

protected int index

Last returned index

stop

protected int stop

Index where iterator stops (size of list by default)

Constructor Detail

IndividualIterator

public IndividualIterator(ABox abox)

Create an iterator over all the individuals in the ABox

Method Detail

findNext

protected void findNext()

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<Individual>

reset

public void reset(NodeSelector s)

next

public Individual next()

Specified by:

next in interface Iterator<Individual>

remove

public void remove()

Specified by:

remove in interface Iterator<Individual>