Details
-
Improvement
-
Status: Closed
-
Trivial
-
Resolution: Fixed
-
6.0
-
None
-
New
Description
The function TopDocs.merge uses PriorityQueue in a pattern: pop, update value (ref.hitIndex++), add. JavaDocs for PriorityQueue.updateTop say that using this function instead should be at least twice as fast.