|
7325 | 7325 | are partitioned with respect to the expressions |
7326 | 7326 | \tcode{bool(invoke(comp, invoke(proj, e), value))} and |
7327 | 7327 | \tcode{!bool(invoke(comp, value, invoke(proj, e)))}. |
7328 | | -Also, for all elements \tcode{e} of \tcode{[first, last)}, |
| 7328 | +Also, for all elements \tcode{e} of \range{first}{last}, |
7329 | 7329 | \tcode{bool(comp(e, value))} implies \tcode{!bool(comp(\brk{}value, e))} |
7330 | 7330 | for the overloads in namespace \tcode{std}. |
7331 | 7331 |
|
|
7389 | 7389 | are partitioned with respect to the expressions |
7390 | 7390 | \tcode{bool(invoke(comp, invoke(proj, e), value))} and |
7391 | 7391 | \tcode{!bool(invoke(comp, value, invoke(proj, e)))}. |
7392 | | -Also, for all elements \tcode{e} of \tcode{[first, last)}, |
| 7392 | +Also, for all elements \tcode{e} of \range{first}{last}, |
7393 | 7393 | \tcode{bool(comp(e, value))} implies \tcode{!bool(comp(\brk{}value, e))} |
7394 | 7394 | for the overloads in namespace \tcode{std}. |
7395 | 7395 |
|
|
10575 | 10575 | \pnum |
10576 | 10576 | For the overloads with an \tcode{ExecutionPolicy} and a non-empty range, |
10577 | 10577 | performs \tcode{*result = *first}. |
10578 | | -Then, for every \tcode{d} in \tcode{[1, last - first - 1]}, |
| 10578 | +Then, for every \tcode{d} in \crange{1}{last - first - 1}, |
10579 | 10579 | performs \tcode{*(result + d) = binary_op(*(first + d), *(first + (d - 1)))}. |
10580 | 10580 |
|
10581 | 10581 | \pnum |
|
0 commit comments