From Jason Turner

[alg.partitions]

Diff to HTML by rtfpessoa

tmp/tmp8acjsoyk/{from.md → to.md} RENAMED
@@ -22,12 +22,12 @@ template<class ForwardIterator, class Predicate>
22
  ```
23
 
24
  *Effects:* Places all the elements in the range \[`first`, `last`) that
25
  satisfy `pred` before all the elements that do not satisfy it.
26
 
27
- *Returns:* An iterator `i` such that for any iterator `j` in the range
28
- \[`first`, `i`) `pred(*j) != false`, and for any iterator `k` in the
29
  range \[`i`, `last`), `pred(*k) == false`.
30
 
31
  *Requires:* `ForwardIterator` shall satisfy the requirements of
32
  `ValueSwappable` ([[swappable.requirements]]).
33
 
@@ -44,12 +44,12 @@ template<class BidirectionalIterator, class Predicate>
44
  ```
45
 
46
  *Effects:* Places all the elements in the range \[`first`, `last`) that
47
  satisfy `pred` before all the elements that do not satisfy it.
48
 
49
- *Returns:* An iterator `i` such that for any iterator `j` in the range
50
- \[`first`, `i`), `pred(*j) != false`, and for any iterator `k` in the
51
  range \[`i`, `last`), `pred(*k) == false`. The relative order of the
52
  elements in both groups is preserved.
53
 
54
  *Requires:* `BidirectionalIterator` shall satisfy the requirements of
55
  `ValueSwappable` ([[swappable.requirements]]). The type of `*first`
@@ -68,13 +68,13 @@ template <class InputIterator, class OutputIterator1,
68
  partition_copy(InputIterator first, InputIterator last,
69
  OutputIterator1 out_true, OutputIterator2 out_false,
70
  Predicate pred);
71
  ```
72
 
73
- *Requires:* `InputIterator`’s value type shall be Assignable, and shall
74
- be writable to the `out_true` and `out_false` `OutputIterator`s, and
75
- shall be convertible to `Predicate`’s argument type. The input range
76
  shall not overlap with either of the output ranges.
77
 
78
  *Effects:* For each iterator `i` in \[`first`, `last`), copies `*i` to
79
  the output range beginning with `out_true` if `pred(*i)` is `true`, or
80
  to the output range beginning with `out_false` otherwise.
 
22
  ```
23
 
24
  *Effects:* Places all the elements in the range \[`first`, `last`) that
25
  satisfy `pred` before all the elements that do not satisfy it.
26
 
27
+ *Returns:* An iterator `i` such that for every iterator `j` in the range
28
+ \[`first`, `i`) `pred(*j) != false`, and for every iterator `k` in the
29
  range \[`i`, `last`), `pred(*k) == false`.
30
 
31
  *Requires:* `ForwardIterator` shall satisfy the requirements of
32
  `ValueSwappable` ([[swappable.requirements]]).
33
 
 
44
  ```
45
 
46
  *Effects:* Places all the elements in the range \[`first`, `last`) that
47
  satisfy `pred` before all the elements that do not satisfy it.
48
 
49
+ *Returns:* An iterator `i` such that for every iterator `j` in the range
50
+ \[`first`, `i`), `pred(*j) != false`, and for every iterator `k` in the
51
  range \[`i`, `last`), `pred(*k) == false`. The relative order of the
52
  elements in both groups is preserved.
53
 
54
  *Requires:* `BidirectionalIterator` shall satisfy the requirements of
55
  `ValueSwappable` ([[swappable.requirements]]). The type of `*first`
 
68
  partition_copy(InputIterator first, InputIterator last,
69
  OutputIterator1 out_true, OutputIterator2 out_false,
70
  Predicate pred);
71
  ```
72
 
73
+ *Requires:* `InputIterator`’s value type shall be `CopyAssignable`, and
74
+ shall be writable to the `out_true` and `out_false` `OutputIterator`s,
75
+ and shall be convertible to `Predicate`’s argument type. The input range
76
  shall not overlap with either of the output ranges.
77
 
78
  *Effects:* For each iterator `i` in \[`first`, `last`), copies `*i` to
79
  the output range beginning with `out_true` if `pred(*i)` is `true`, or
80
  to the output range beginning with `out_false` otherwise.