tmp/tmpm6z157mc/{from.md → to.md}
RENAMED
|
@@ -7,15 +7,15 @@ template<class RandomAccessIterator>
|
|
| 7 |
template<class RandomAccessIterator, class Compare>
|
| 8 |
void push_heap(RandomAccessIterator first, RandomAccessIterator last,
|
| 9 |
Compare comp);
|
| 10 |
```
|
| 11 |
|
| 12 |
-
*Effects:* Places the value in the location `last - 1` into the
|
| 13 |
-
resulting heap \[`first`, `last`).
|
| 14 |
-
|
| 15 |
*Requires:* The range \[`first`, `last - 1`) shall be a valid heap. The
|
| 16 |
type of `*first` shall satisfy the `MoveConstructible` requirements
|
| 17 |
-
(Table [[moveconstructible]]) and the `MoveAssignable` requirements
|
| 18 |
-
(Table [[moveassignable]]).
|
| 19 |
|
| 20 |
-
*
|
|
|
|
|
|
|
|
|
|
| 21 |
|
|
|
|
| 7 |
template<class RandomAccessIterator, class Compare>
|
| 8 |
void push_heap(RandomAccessIterator first, RandomAccessIterator last,
|
| 9 |
Compare comp);
|
| 10 |
```
|
| 11 |
|
|
|
|
|
|
|
|
|
|
| 12 |
*Requires:* The range \[`first`, `last - 1`) shall be a valid heap. The
|
| 13 |
type of `*first` shall satisfy the `MoveConstructible` requirements
|
| 14 |
+
(Table [[tab:moveconstructible]]) and the `MoveAssignable` requirements
|
| 15 |
+
(Table [[tab:moveassignable]]).
|
| 16 |
|
| 17 |
+
*Effects:* Places the value in the location `last - 1` into the
|
| 18 |
+
resulting heap \[`first`, `last`).
|
| 19 |
+
|
| 20 |
+
*Complexity:* At most log(`last - first`) comparisons.
|
| 21 |
|