public class AtomIteratorBasisFilteredType extends AtomIteratorBasis
Modifier and Type | Field and Description |
---|---|
protected IAtomType |
filteredType |
atomSetSinglet, cursor, list
Constructor and Description |
---|
AtomIteratorBasisFilteredType(IAtomType type) |
Modifier and Type | Method and Description |
---|---|
IAtomList |
next()
Same as nextAtom().
|
IAtom |
nextAtom()
Returns the next iterate and advances the iterator.
|
int |
size()
Returns the number of iterates that would be given by this iterator
if reset with the current list.
|
basisSize, haveTarget, reset, setBasis, setTarget
getList, nBody, setList, unset
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
nBody, unset
protected final IAtomType filteredType
public AtomIteratorBasisFilteredType(IAtomType type)
public IAtom nextAtom()
AtomIteratorArrayListSimple
nextAtom
in interface AtomIterator
nextAtom
in class AtomIteratorArrayListSimple
public IAtomList next()
AtomIteratorArrayListSimple
next
in interface AtomLeafsetIterator
next
in class AtomIteratorArrayListSimple
public int size()
AtomIteratorArrayListSimple
size
in interface AtomsetIterator
size
in class AtomIteratorArrayListSimple