maxIDList.set(top, tailValue);
maxIDList.set(tail, topValue);
}
this.valArray = list;
this.freqs = freqList.toIntArray();
this.minIDs = minIDList.toIntArray();
this.maxIDs = maxIDList.toIntArray();
int doc = 0;
while (doc < maxdoc && !_nestedArray.contains(doc, 0, true)) {