Esempio n. 1
0
 final void updateBottom(int doc, float score) {
   bottom.doc = docBase + doc;
   bottom.score = score;
   bottom = pq.updateTop();
 }
Esempio n. 2
0
 final void updateBottom(int doc) {
   // bottom.score is already set to Float.NaN in add().
   bottom.doc = docBase + doc;
   bottom = pq.updateTop();
 }