Should be called when the object at top changes values. Still log(n) worst case, but it's at least twice as fast to
{ pq.top().change(); pq.adjustTop(); }instead of
{ o = pq.pop(); o.change(); pq.push(o); }
PriorityQueue Class | Lucene.Net.Util Namespace