|
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