public static final class PosInTerm.PiTIterator extends Object implements IntIterator
private final PosInTerm pit
private int pos
private final boolean order
public PosInTerm.PiTIterator(PosInTerm p, boolean order)
public int next()
next
in interface IntIterator
public boolean hasNext()
hasNext
in interface IntIterator