|
3536 | 3536 | template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{sized-random-access-range}@ R1, @\exposconcept{sized-random-access-range}@ R2,
|
3537 | 3537 | @\exposconcept{sized-random-access-range}@ OutR, class Comp = ranges::less,
|
3538 | 3538 | class Proj1 = identity, class Proj2 = identity>
|
3539 |
| - requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, |
3540 |
| - Comp, Proj1, Proj2> |
| 3539 | + requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, Comp, Proj1, Proj2> |
3541 | 3540 | set_union_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>,
|
3542 | 3541 | borrowed_iterator_t<OutR>>
|
3543 | 3542 | set_union(Ep&& exec, R1&& r1, R2&& r2, OutR&& result_r, Comp comp = {},
|
|
3599 | 3598 | template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{sized-random-access-range}@ R1, @\exposconcept{sized-random-access-range}@ R2,
|
3600 | 3599 | @\exposconcept{sized-random-access-range}@ OutR, class Comp = ranges::less,
|
3601 | 3600 | class Proj1 = identity, class Proj2 = identity>
|
3602 |
| - requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, |
3603 |
| - Comp, Proj1, Proj2> |
| 3601 | + requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, Comp, Proj1, Proj2> |
3604 | 3602 | set_intersection_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>,
|
3605 | 3603 | borrowed_iterator_t<OutR>>
|
3606 | 3604 | set_intersection(Ep&& exec, R1&& r1, R2&& r2, OutR&& result_r, Comp comp = {},
|
|
3662 | 3660 | template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{sized-random-access-range}@ R1, @\exposconcept{sized-random-access-range}@ R2,
|
3663 | 3661 | @\exposconcept{sized-random-access-range}@ OutR, class Comp = ranges::less,
|
3664 | 3662 | class Proj1 = identity, class Proj2 = identity>
|
3665 |
| - requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, |
3666 |
| - Comp, Proj1, Proj2> |
| 3663 | + requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, Comp, Proj1, Proj2> |
3667 | 3664 | set_difference_result<borrowed_iterator_t<R1>, borrowed_iterator_t<OutR>>
|
3668 | 3665 | set_difference(Ep&& exec, R1&& r1, R2&& r2, OutR&& result_r, Comp comp = {},
|
3669 | 3666 | Proj1 proj1 = {}, Proj2 proj2 = {}); // freestanding-deleted
|
|
3726 | 3723 | template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{sized-random-access-range}@ R1, @\exposconcept{sized-random-access-range}@ R2,
|
3727 | 3724 | @\exposconcept{sized-random-access-range}@ OutR, class Comp = ranges::less,
|
3728 | 3725 | class Proj1 = identity, class Proj2 = identity>
|
3729 |
| - requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, |
3730 |
| - Comp, Proj1, Proj2> |
| 3726 | + requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, Comp, Proj1, Proj2> |
3731 | 3727 | set_symmetric_difference_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>,
|
3732 | 3728 | borrowed_iterator_t<OutR>>
|
3733 | 3729 | set_symmetric_difference(Ep&& exec, R1&& r1, R2&& r2, OutR&& result_r, Comp comp = {},
|
|
10411 | 10407 | template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{sized-random-access-range}@ R1, @\exposconcept{sized-random-access-range}@ R2,
|
10412 | 10408 | @\exposconcept{sized-random-access-range}@ OutR, class Comp = ranges::less,
|
10413 | 10409 | class Proj1 = identity, class Proj2 = identity>
|
10414 |
| - requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, |
10415 |
| - Comp, Proj1, Proj2> |
| 10410 | + requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, Comp, Proj1, Proj2> |
10416 | 10411 | ranges::set_union_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>,
|
10417 | 10412 | borrowed_iterator_t<OutR>>
|
10418 | 10413 | ranges::set_union(Ep&& exec, R1&& r1, R2&& r2, OutR&& result_r, Comp comp = {},
|
|
10542 | 10537 | template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{sized-random-access-range}@ R1, @\exposconcept{sized-random-access-range}@ R2,
|
10543 | 10538 | @\exposconcept{sized-random-access-range}@ OutR, class Comp = ranges::less,
|
10544 | 10539 | class Proj1 = identity, class Proj2 = identity>
|
10545 |
| - requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, |
10546 |
| - Comp, Proj1, Proj2> |
| 10540 | + requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, Comp, Proj1, Proj2> |
10547 | 10541 | ranges::set_intersection_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>,
|
10548 | 10542 | borrowed_iterator_t<OutR>>
|
10549 | 10543 | ranges::set_intersection(Ep&& exec, R1&& r1, R2&& r2, OutR&& result_r, Comp comp = {},
|
|
10671 | 10665 | template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{sized-random-access-range}@ R1, @\exposconcept{sized-random-access-range}@ R2,
|
10672 | 10666 | @\exposconcept{sized-random-access-range}@ OutR, class Comp = ranges::less,
|
10673 | 10667 | class Proj1 = identity, class Proj2 = identity>
|
10674 |
| - requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, |
10675 |
| - Comp, Proj1, Proj2> |
| 10668 | + requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, Comp, Proj1, Proj2> |
10676 | 10669 | ranges::set_difference_result<borrowed_iterator_t<R1>, borrowed_iterator_t<OutR>>
|
10677 | 10670 | ranges::set_difference(Ep&& exec, R1&& r1, R2&& r2, OutR&& result_r, Comp comp = {},
|
10678 | 10671 | Proj1 proj1 = {}, Proj2 proj2 = {});
|
|
10802 | 10795 | template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{sized-random-access-range}@ R1, @\exposconcept{sized-random-access-range}@ R2,
|
10803 | 10796 | @\exposconcept{sized-random-access-range}@ OutR, class Comp = ranges::less,
|
10804 | 10797 | class Proj1 = identity, class Proj2 = identity>
|
10805 |
| - requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, |
10806 |
| - Comp, Proj1, Proj2> |
| 10798 | + requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>, Comp, Proj1, Proj2> |
10807 | 10799 | ranges::set_symmetric_difference_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>,
|
10808 | 10800 | borrowed_iterator_t<OutR>>
|
10809 | 10801 | ranges::set_symmetric_difference(Ep&& exec, R1&& r1, R2&& r2, OutR&& result_r,
|
|
0 commit comments