|
7584 | 7584 | are partitioned with respect to the expressions |
7585 | 7585 | \tcode{bool(invoke(comp, invoke(proj, e), value))} and |
7586 | 7586 | \tcode{!bool(invoke(comp, value, invoke(proj, e)))}. |
7587 | | -Also, for all elements \tcode{e} of \tcode{[first, last)}, |
| 7587 | +Also, for all elements \tcode{e} of \range{first}{last}, |
7588 | 7588 | \tcode{bool(comp(e, value))} implies \tcode{!bool(comp(\brk{}value, e))} |
7589 | 7589 | for the overloads in namespace \tcode{std}. |
7590 | 7590 |
|
|
7651 | 7651 | are partitioned with respect to the expressions |
7652 | 7652 | \tcode{bool(invoke(comp, invoke(proj, e), value))} and |
7653 | 7653 | \tcode{!bool(invoke(comp, value, invoke(proj, e)))}. |
7654 | | -Also, for all elements \tcode{e} of \tcode{[first, last)}, |
| 7654 | +Also, for all elements \tcode{e} of \range{first}{last}, |
7655 | 7655 | \tcode{bool(comp(e, value))} implies \tcode{!bool(comp(\brk{}value, e))} |
7656 | 7656 | for the overloads in namespace \tcode{std}. |
7657 | 7657 |
|
|
10837 | 10837 | \pnum |
10838 | 10838 | For the overloads with an \tcode{ExecutionPolicy} and a non-empty range, |
10839 | 10839 | performs \tcode{*result = *first}. |
10840 | | -Then, for every \tcode{d} in \tcode{[1, last - first - 1]}, |
| 10840 | +Then, for every \tcode{d} in \crange{1}{last - first - 1}, |
10841 | 10841 | performs \tcode{*(result + d) = binary_op(*(first + d), *(first + (d - 1)))}. |
10842 | 10842 |
|
10843 | 10843 | \pnum |
|
0 commit comments