|
10664 | 10664 | @\libconcept{random_access_iterator}@ O, @\libconcept{sized_sentinel_for}@<O> OutS, class Comp = ranges::less, |
10665 | 10665 | class Proj1 = identity, class Proj2 = identity> |
10666 | 10666 | requires @\libconcept{mergeable}@<I1, I2, O, Comp, Proj1, Proj2> |
10667 | | - ranges::set_difference_result<I1, I2, O> |
| 10667 | + ranges::set_difference_result<I1, O> |
10668 | 10668 | ranges::set_difference(Ep&& exec, I1 first1, S1 last1, |
10669 | 10669 | I2 first2, S2 last2, O result, OutS result_last, |
10670 | 10670 | Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {}); |
|
10673 | 10673 | class Proj1 = identity, class Proj2 = identity> |
10674 | 10674 | requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, |
10675 | 10675 | Comp, Proj1, Proj2> |
10676 | | - ranges::set_difference_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>, |
10677 | | - borrowed_iterator_t<OutR>> |
| 10676 | + ranges::set_difference_result<borrowed_iterator_t<R1>, borrowed_iterator_t<OutR>> |
10678 | 10677 | ranges::set_difference(Ep&& exec, R1&& r1, R2&& r2, OutR&& result_r, Comp comp = {}, |
10679 | 10678 | Proj1 proj1 = {}, Proj2 proj2 = {}); |
10680 | 10679 | \end{itemdecl} |
@@ -10717,14 +10716,14 @@ |
10717 | 10716 | \tcode{result_last} |
10718 | 10717 | for the overloads in namespace \tcode{std}. |
10719 | 10718 | \item |
10720 | | - \tcode{\{last1, last2, result + $N$\}} |
| 10719 | + \tcode{\{last1, result + $N$\}} |
10721 | 10720 | for the overloads in namespace \tcode{ranges}, |
10722 | 10721 | if $N$ is equal to $M$. |
10723 | 10722 | \item |
10724 | | - Otherwise, \tcode{\{j1, j2, result_last\}} |
| 10723 | + Otherwise, \tcode{\{j1, result_last\}} |
10725 | 10724 | for the overloads in namespace \tcode{ranges}, |
10726 | | - where the iterators \tcode{j1} and \tcode{j2} |
10727 | | - point to positions past the last copied or skipped elements |
| 10725 | + where the iterator \tcode{j1} |
| 10726 | + points to positions past the last copied or skipped elements |
10728 | 10727 | in \range{first1}{last1} and \range{first2}{last2}, respectively. |
10729 | 10728 | \end{itemize} |
10730 | 10729 |
|
|
0 commit comments