Should be called when the scorer at top changes doc() value.
/// 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); }
///
///
public void AdjustTop()
{
// assert size > 0;
topHSD.Adjust();
DownHeap();
}
///