Heap Operations

     Algorithm

See the entries for make_heap, pop_heap, push_heap and sort_heap