tmp/tmp4ddoa54b/{from.md → to.md}
RENAMED
|
@@ -11,13 +11,13 @@ template<class RandomAccessIterator, class Compare>
|
|
| 11 |
|
| 12 |
*Requires:* The range \[`first`, `last`) shall be a valid non-empty
|
| 13 |
heap. `RandomAccessIterator` shall satisfy the requirements of
|
| 14 |
`ValueSwappable` ([[swappable.requirements]]). The type of `*first`
|
| 15 |
shall satisfy the requirements of `MoveConstructible`
|
| 16 |
-
(Table [[moveconstructible]]) and of `MoveAssignable`
|
| 17 |
-
(Table [[moveassignable]]).
|
| 18 |
|
| 19 |
*Effects:* Swaps the value in the location `first` with the value in the
|
| 20 |
location `last - 1` and makes \[`first`, `last - 1`) into a heap.
|
| 21 |
|
| 22 |
-
*Complexity:* At most
|
| 23 |
|
|
|
|
| 11 |
|
| 12 |
*Requires:* The range \[`first`, `last`) shall be a valid non-empty
|
| 13 |
heap. `RandomAccessIterator` shall satisfy the requirements of
|
| 14 |
`ValueSwappable` ([[swappable.requirements]]). The type of `*first`
|
| 15 |
shall satisfy the requirements of `MoveConstructible`
|
| 16 |
+
(Table [[tab:moveconstructible]]) and of `MoveAssignable`
|
| 17 |
+
(Table [[tab:moveassignable]]).
|
| 18 |
|
| 19 |
*Effects:* Swaps the value in the location `first` with the value in the
|
| 20 |
location `last - 1` and makes \[`first`, `last - 1`) into a heap.
|
| 21 |
|
| 22 |
+
*Complexity:* At most 2 log(`last - first`) comparisons.
|
| 23 |
|