tmp/tmptphpuesb/{from.md → to.md}
RENAMED
|
@@ -10,13 +10,13 @@ template<class RandomAccessIterator, class Compare>
|
|
| 10 |
RandomAccessIterator last, Compare comp);
|
| 11 |
```
|
| 12 |
|
| 13 |
After `nth_element` the element in the position pointed to by `nth` is
|
| 14 |
the element that would be in that position if the whole range were
|
| 15 |
-
sorted. Also for
|
| 16 |
-
iterator `j` in the range \[`nth`, `last`)
|
| 17 |
-
or `comp(*j, *i) == false`.
|
| 18 |
|
| 19 |
*Requires:* `RandomAccessIterator` shall satisfy the requirements of
|
| 20 |
`ValueSwappable` ([[swappable.requirements]]). The type of `*first`
|
| 21 |
shall satisfy the requirements of `MoveConstructible`
|
| 22 |
(Table [[moveconstructible]]) and of `MoveAssignable`
|
|
|
|
| 10 |
RandomAccessIterator last, Compare comp);
|
| 11 |
```
|
| 12 |
|
| 13 |
After `nth_element` the element in the position pointed to by `nth` is
|
| 14 |
the element that would be in that position if the whole range were
|
| 15 |
+
sorted, unless `nth == last`. Also for every iterator `i` in the range
|
| 16 |
+
\[`first`, `nth`) and every iterator `j` in the range \[`nth`, `last`)
|
| 17 |
+
it holds that: `!(*j < *i)` or `comp(*j, *i) == false`.
|
| 18 |
|
| 19 |
*Requires:* `RandomAccessIterator` shall satisfy the requirements of
|
| 20 |
`ValueSwappable` ([[swappable.requirements]]). The type of `*first`
|
| 21 |
shall satisfy the requirements of `MoveConstructible`
|
| 22 |
(Table [[moveconstructible]]) and of `MoveAssignable`
|