public static final class PosInTerm.PiTIterator extends java.lang.Object implements IntIterator
Modifier and Type | Field and Description |
---|---|
private boolean |
order |
private PosInTerm |
pit |
private int |
pos |
Constructor and Description |
---|
PiTIterator(PosInTerm p,
boolean order) |
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext() |
int |
next() |
private final PosInTerm pit
private int pos
private final boolean order
public PiTIterator(PosInTerm p, boolean order)
public int next()
next
in interface IntIterator
public boolean hasNext()
hasNext
in interface IntIterator