Skips terms to the first beyond the current whose value is
greater or equal to target. Returns true iff there is such
an entry. Behaves as if written:
public boolean skipTo(Term target) {
do {
if (!next())
return false;
} while (target > term());
return true;
}
Some implementations are considerably more efficient than that.
|