/// <summary>Optimized scan, without allocating new terms. Return numver of invocations to Next(). </summary>
internal int ScanTo(Term term)
{
scanBuffer.Set(term);
int count = 0;
while (scanBuffer.CompareTo(termBuffer) > 0 && Next())
{
count++;
}
return(count);
}
/// <summary>Optimized scan, without allocating new terms. </summary>
internal void ScanTo(Term term)
{
if (scratch == null)
{
scratch = new TermBuffer();
}
scratch.Set(term);
while (scratch.CompareTo(termBuffer) > 0 && Next())
{
}
}
