39 push_heap(_RandomAccessIterator __first, _RandomAccessIterator __last);
44 push_heap(_RandomAccessIterator __first, _RandomAccessIterator __last,
54 __pop_heap(_RandomAccessIterator __first, _RandomAccessIterator __last,  in __pop_heap()  argument
58   __adjust_heap(__first, _Distance(0), _Distance(__last - __first), __val);  in __pop_heap()
63         _RandomAccessIterator __last);
74 __pop_heap(_RandomAccessIterator __first, _RandomAccessIterator __last,  in __pop_heap()  argument
79   __adjust_heap(__first, _Distance(0), _Distance(__last - __first),  in __pop_heap()
86          _RandomAccessIterator __last, _Compare __comp);
90 make_heap(_RandomAccessIterator __first, _RandomAccessIterator __last);
95           _RandomAccessIterator __last, _Compare __comp);
99 void sort_heap(_RandomAccessIterator __first, _RandomAccessIterator __last)  in sort_heap()  argument
101   while (__last - __first > 1)  in sort_heap()
102     pop_heap(__first, __last--);  in sort_heap()
109           _RandomAccessIterator __last, _Compare __comp)  in sort_heap()  argument
111   while (__last - __first > 1)  in sort_heap()
112     pop_heap(__first, __last--, __comp);  in sort_heap()