public class IndividualIterator extends Object implements Iterator<Individual>
| 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 and Description |
|---|
IndividualIterator(ABox abox)
Create an iterator over all the individuals in the ABox
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
findNext() |
boolean |
hasNext() |
Individual |
next() |
void |
remove() |
void |
reset(NodeSelector s) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitforEachRemainingprotected ABox abox
protected List<aterm.ATermAppl> nodeList
protected int index
protected int stop
public IndividualIterator(ABox abox)
protected void findNext()
public boolean hasNext()
hasNext in interface Iterator<Individual>public void reset(NodeSelector s)
public Individual next()
next in interface Iterator<Individual>public void remove()
remove in interface Iterator<Individual>Copyright © 2019. All rights reserved.