public static final class PosInTerm.PiTIterator extends Object implements IntIterator
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