Details
-
Improvement
-
Status: Reopened
-
Minor
-
Resolution: Fixed
-
None
-
None
-
New
Description
BMMScorer has to frequently rebuild its heap, and does do by clearing and then iteratively calling add. It would be more efficient to heapify in bulk. This is more academic than anything right now though since BMMScorer is only used with two-clause disjunctions, so it's sort of a silly optimization if it's not supporting a greater number of clauses.
Attachments
Issue Links
- links to