AtomIterator, AtomIteratorBoxDependent, AtomLeafsetIterator, AtomsetIterator, AtomsetIteratorBoxDependentAtomIteratorLeafFilteredTypepublic class AtomIteratorLeafAtoms extends AtomIteratorArrayListSimple implements AtomIteratorBoxDependent
atomSetSinglet, cursor, list| Constructor | Description |
|---|---|
AtomIteratorLeafAtoms() |
Creates iterator with no box specified.
|
AtomIteratorLeafAtoms(Box box) |
Creates iterator conditioned to give all leaf atoms of the specified
box.
|
| Modifier and Type | Method | Description |
|---|---|---|
void |
setBox(Box box) |
Configures iterator to form its iterates from the leaf atoms of the given
box.
|
nextAtomgetList, nBody, next, nextAtom, reset, setList, size, unsetnextnBody, reset, size, unsetpublic AtomIteratorLeafAtoms()
public AtomIteratorLeafAtoms(Box box)
public void setBox(Box box)
setBox in interface AtomsetIteratorBoxDependentjava.lang.NullPointerException - if the Box is null