headers/cpp/stl_heap.h

44             _Distance __holeIndex, _Distance __topIndex, _Tp __value)
46   _Distance __parent = (__holeIndex - 1) / 2;
47   while (__holeIndex > __topIndex && *(__first + __parent) < __value) {
48     *(__first + __holeIndex) = *(__first + __parent);
49     __holeIndex = __parent;
50     __parent = (__holeIndex - 1) / 2;
52   *(__first + __holeIndex) = __value;
75 __push_heap(_RandomAccessIterator __first, _Distance __holeIndex,
78   _Distance __parent = (__holeIndex - 1) / 2;
79   while (__holeIndex > __topIndex && __comp(*(__first + __parent), __value)) {
80     *(__first + __holeIndex) = *(__first + __parent);
81     __holeIndex = __parent;
82     __parent = (__holeIndex - 1) / 2;
84   *(__first + __holeIndex) = __value;
109 __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
112   _Distance __topIndex = __holeIndex;
113   _Distance __secondChild = 2 * __holeIndex + 2;
117     *(__first + __holeIndex) = *(__first + __secondChild);
118     __holeIndex = __secondChild;
122     *(__first + __holeIndex) = *(__first + (__secondChild - 1));
123     __holeIndex = __secondChild - 1;
125   __push_heap(__first, __holeIndex, __topIndex, __value);
156 __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
159   _Distance __topIndex = __holeIndex;
160   _Distance __secondChild = 2 * __holeIndex + 2;
164     *(__first + __holeIndex) = *(__first + __secondChild);
165     __holeIndex = __secondChild;
169     *(__first + __holeIndex) = *(__first + (__secondChild - 1));
170     __holeIndex = __secondChild - 1;
172   __push_heap(__first, __holeIndex, __topIndex, __value, __comp);