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.updateTop();
            

instead of

            o = pq.pop();
            o.change();
            pq.push(o);
            

public Object UpdateTop()

Public Function UpdateTop As Object

public:
Object^ UpdateTop()