13e519524SHoward Hinnant// -*- C++ -*-
2eb8650a7SLouis Dionne//===----------------------------------------------------------------------===//
33e519524SHoward Hinnant//
457b08b09SChandler Carruth// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
557b08b09SChandler Carruth// See https://llvm.org/LICENSE.txt for license information.
657b08b09SChandler Carruth// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
73e519524SHoward Hinnant//
83e519524SHoward Hinnant//===----------------------------------------------------------------------===//
93e519524SHoward Hinnant
103e519524SHoward Hinnant#ifndef _LIBCPP_ALGORITHM
113e519524SHoward Hinnant#define _LIBCPP_ALGORITHM
123e519524SHoward Hinnant
133e519524SHoward Hinnant/*
143e519524SHoward Hinnant    algorithm synopsis
153e519524SHoward Hinnant
163e519524SHoward Hinnant#include <initializer_list>
173e519524SHoward Hinnant
183e519524SHoward Hinnantnamespace std
193e519524SHoward Hinnant{
203e519524SHoward Hinnant
21d3729bb3SNikolas Klausernamespace ranges {
221e77b396SNikolas Klauser  template <class I, class F>
231e77b396SNikolas Klauser    struct in_fun_result;     // since C++20
241e77b396SNikolas Klauser
25d3729bb3SNikolas Klauser  template <class I1, class I2>
26d3729bb3SNikolas Klauser    struct in_in_result;      // since C++20
27f3514af4SNikolas Klauser
28f3514af4SNikolas Klauser  template <class I1, class I2, class O>
29f3514af4SNikolas Klauser    struct in_in_out_result;  // since C++20
30610979b3SNikolas Klauser
31610979b3SNikolas Klauser  template <class I, class O1, class O2>
32610979b3SNikolas Klauser    struct in_out_out_result; // since C++20
331e77b396SNikolas Klauser
34807766beSNikolas Klauser  template <class I1, class I2>
35807766beSNikolas Klauser    struct min_max_result;    // since C++20
36807766beSNikolas Klauser
3768f4131cSNikolas Klauser  template <class I>
3868f4131cSNikolas Klauser    struct in_found_result;   // since C++20
3968f4131cSNikolas Klauser
403b470d1cSNikolas Klauser  template<forward_iterator I, sentinel_for<I> S, class Proj = identity,
413b470d1cSNikolas Klauser    indirect_strict_weak_order<projected<I, Proj>> Comp = ranges::less>             // since C++20
423b470d1cSNikolas Klauser  constexpr I min_element(I first, S last, Comp comp = {}, Proj proj = {});
433b470d1cSNikolas Klauser
443b470d1cSNikolas Klauser  template<forward_range R, class Proj = identity,
453b470d1cSNikolas Klauser    indirect_strict_weak_order<projected<iterator_t<R>, Proj>> Comp = ranges::less> // since C++20
463b470d1cSNikolas Klauser  constexpr borrowed_iterator_t<R> min_element(R&& r, Comp comp = {}, Proj proj = {});
47c2cd15a6SNikolas Klauser
48c2cd15a6SNikolas Klauser  template <input_iterator I1, sentinel_for<_I1> S1, input_iterator I2, sentinel_for<_I2> S2,
49c2cd15a6SNikolas Klauser          class Pred = ranges::equal_to, class Proj1 = identity, class Proj2 = identity>
50c2cd15a6SNikolas Klauser    requires indirectly_comparable<I1, I2, Pred, Proj1, Proj2>
51c2cd15a6SNikolas Klauser  constexpr mismatch_result<_I1, _I2>
52c2cd15a6SNikolas Klauser  mismatch()(I1 first1, S1 last1, I2 first2, S2 last2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {}) // since C++20
53c2cd15a6SNikolas Klauser
54c2cd15a6SNikolas Klauser  template <input_range R1, input_range R2,
55c2cd15a6SNikolas Klauser          class Pred = ranges::equal_to, class Proj1 = identity, class Proj2 = identity>
56c2cd15a6SNikolas Klauser    requires indirectly_comparable<iterator_t<R1>, iterator_t<R2>, Pred, Proj1, Proj2>
57c2cd15a6SNikolas Klauser  constexpr mismatch_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>>
58c2cd15a6SNikolas Klauser  mismatch(R1&& r1, R2&& r2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {})                           // since C++20
59*ee0f8c40SNikolas Klauser
60*ee0f8c40SNikolas Klauser  template<input_iterator I, sentinel_for<I> S, class T, class Proj = identity>
61*ee0f8c40SNikolas Klauser    requires indirect_binary_predicate<ranges::equal_to, projected<I, Proj>, const T*>
62*ee0f8c40SNikolas Klauser    constexpr I find(I first, S last, const T& value, Proj proj = {});              // since C++20
63*ee0f8c40SNikolas Klauser
64*ee0f8c40SNikolas Klauser  template<input_range R, class T, class Proj = identity>
65*ee0f8c40SNikolas Klauser    requires indirect_binary_predicate<ranges::equal_to, projected<iterator_t<R>, Proj>, const T*>
66*ee0f8c40SNikolas Klauser    constexpr borrowed_iterator_t<R>
67*ee0f8c40SNikolas Klauser      find(R&& r, const T& value, Proj proj = {});                                  // since C++20
68*ee0f8c40SNikolas Klauser
69*ee0f8c40SNikolas Klauser  template<input_iterator I, sentinel_for<I> S, class Proj = identity,
70*ee0f8c40SNikolas Klauser           indirect_unary_predicate<projected<I, Proj>> Pred>
71*ee0f8c40SNikolas Klauser    constexpr I find_if(I first, S last, Pred pred, Proj proj = {});                // since C++20
72*ee0f8c40SNikolas Klauser
73*ee0f8c40SNikolas Klauser  template<input_range R, class Proj = identity,
74*ee0f8c40SNikolas Klauser           indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred>
75*ee0f8c40SNikolas Klauser    constexpr borrowed_iterator_t<R>
76*ee0f8c40SNikolas Klauser      find_if(R&& r, Pred pred, Proj proj = {});                                    // since C++20
77*ee0f8c40SNikolas Klauser
78*ee0f8c40SNikolas Klauser  template<input_iterator I, sentinel_for<I> S, class Proj = identity,
79*ee0f8c40SNikolas Klauser           indirect_unary_predicate<projected<I, Proj>> Pred>
80*ee0f8c40SNikolas Klauser    constexpr I find_if_not(I first, S last, Pred pred, Proj proj = {});            // since C++20
81*ee0f8c40SNikolas Klauser
82*ee0f8c40SNikolas Klauser  template<input_range R, class Proj = identity,
83*ee0f8c40SNikolas Klauser           indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred>
84*ee0f8c40SNikolas Klauser    constexpr borrowed_iterator_t<R>
85*ee0f8c40SNikolas Klauser      find_if_not(R&& r, Pred pred, Proj proj = {});                                // since C++20
86d3729bb3SNikolas Klauser}
87d3729bb3SNikolas Klauser
883e519524SHoward Hinnanttemplate <class InputIterator, class Predicate>
89706ffef7SMarshall Clow    constexpr bool     // constexpr in C++20
903e519524SHoward Hinnant    all_of(InputIterator first, InputIterator last, Predicate pred);
913e519524SHoward Hinnant
923e519524SHoward Hinnanttemplate <class InputIterator, class Predicate>
93706ffef7SMarshall Clow    constexpr bool     // constexpr in C++20
943e519524SHoward Hinnant    any_of(InputIterator first, InputIterator last, Predicate pred);
953e519524SHoward Hinnant
963e519524SHoward Hinnanttemplate <class InputIterator, class Predicate>
97706ffef7SMarshall Clow    constexpr bool     // constexpr in C++20
983e519524SHoward Hinnant    none_of(InputIterator first, InputIterator last, Predicate pred);
993e519524SHoward Hinnant
1003e519524SHoward Hinnanttemplate <class InputIterator, class Function>
1011b9a4ffdSMarshall Clow    constexpr Function          // constexpr in C++20
1023e519524SHoward Hinnant    for_each(InputIterator first, InputIterator last, Function f);
1033e519524SHoward Hinnant
104d5c65ffaSMarshall Clowtemplate<class InputIterator, class Size, class Function>
1051b9a4ffdSMarshall Clow    constexpr InputIterator     // constexpr in C++20
1061b9a4ffdSMarshall Clow    for_each_n(InputIterator first, Size n, Function f); // C++17
107d5c65ffaSMarshall Clow
1083e519524SHoward Hinnanttemplate <class InputIterator, class T>
10949c7643cSMarshall Clow    constexpr InputIterator     // constexpr in C++20
1103e519524SHoward Hinnant    find(InputIterator first, InputIterator last, const T& value);
1113e519524SHoward Hinnant
1123e519524SHoward Hinnanttemplate <class InputIterator, class Predicate>
11349c7643cSMarshall Clow    constexpr InputIterator     // constexpr in C++20
1143e519524SHoward Hinnant    find_if(InputIterator first, InputIterator last, Predicate pred);
1153e519524SHoward Hinnant
1163e519524SHoward Hinnanttemplate<class InputIterator, class Predicate>
117b8bc4e15SArthur O'Dwyer    constexpr InputIterator     // constexpr in C++20
1183e519524SHoward Hinnant    find_if_not(InputIterator first, InputIterator last, Predicate pred);
1193e519524SHoward Hinnant
1203e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2>
121b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator1  // constexpr in C++20
1223e519524SHoward Hinnant    find_end(ForwardIterator1 first1, ForwardIterator1 last1,
1233e519524SHoward Hinnant             ForwardIterator2 first2, ForwardIterator2 last2);
1243e519524SHoward Hinnant
1253e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2, class BinaryPredicate>
126b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator1  // constexpr in C++20
1273e519524SHoward Hinnant    find_end(ForwardIterator1 first1, ForwardIterator1 last1,
1283e519524SHoward Hinnant             ForwardIterator2 first2, ForwardIterator2 last2, BinaryPredicate pred);
1293e519524SHoward Hinnant
1303e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2>
1318694428eSMarshall Clow    constexpr ForwardIterator1  // constexpr in C++20
1323e519524SHoward Hinnant    find_first_of(ForwardIterator1 first1, ForwardIterator1 last1,
1333e519524SHoward Hinnant                  ForwardIterator2 first2, ForwardIterator2 last2);
1343e519524SHoward Hinnant
1353e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2, class BinaryPredicate>
1368694428eSMarshall Clow    constexpr ForwardIterator1  // constexpr in C++20
1373e519524SHoward Hinnant    find_first_of(ForwardIterator1 first1, ForwardIterator1 last1,
1383e519524SHoward Hinnant                  ForwardIterator2 first2, ForwardIterator2 last2, BinaryPredicate pred);
1393e519524SHoward Hinnant
1403e519524SHoward Hinnanttemplate <class ForwardIterator>
1418694428eSMarshall Clow    constexpr ForwardIterator   // constexpr in C++20
1423e519524SHoward Hinnant    adjacent_find(ForwardIterator first, ForwardIterator last);
1433e519524SHoward Hinnant
1443e519524SHoward Hinnanttemplate <class ForwardIterator, class BinaryPredicate>
1458694428eSMarshall Clow    constexpr ForwardIterator   // constexpr in C++20
1463e519524SHoward Hinnant    adjacent_find(ForwardIterator first, ForwardIterator last, BinaryPredicate pred);
1473e519524SHoward Hinnant
1483e519524SHoward Hinnanttemplate <class InputIterator, class T>
149056f15e3SMarshall Clow    constexpr typename iterator_traits<InputIterator>::difference_type  // constexpr in C++20
1503e519524SHoward Hinnant    count(InputIterator first, InputIterator last, const T& value);
1513e519524SHoward Hinnant
1523e519524SHoward Hinnanttemplate <class InputIterator, class Predicate>
153056f15e3SMarshall Clow    constexpr typename iterator_traits<InputIterator>::difference_type // constexpr in C++20
1543e519524SHoward Hinnant    count_if(InputIterator first, InputIterator last, Predicate pred);
1553e519524SHoward Hinnant
1563e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2>
1576538e28dSMarshall Clow    constexpr pair<InputIterator1, InputIterator2>   // constexpr in C++20
1583e519524SHoward Hinnant    mismatch(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2);
1593e519524SHoward Hinnant
1600b0bbd2fSMarshall Clowtemplate <class InputIterator1, class InputIterator2>
1616538e28dSMarshall Clow    constexpr pair<InputIterator1, InputIterator2>   // constexpr in C++20
1620b0bbd2fSMarshall Clow    mismatch(InputIterator1 first1, InputIterator1 last1,
1630b0bbd2fSMarshall Clow             InputIterator2 first2, InputIterator2 last2); // **C++14**
1640b0bbd2fSMarshall Clow
1653e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class BinaryPredicate>
1666538e28dSMarshall Clow    constexpr pair<InputIterator1, InputIterator2>   // constexpr in C++20
1673e519524SHoward Hinnant    mismatch(InputIterator1 first1, InputIterator1 last1,
1683e519524SHoward Hinnant             InputIterator2 first2, BinaryPredicate pred);
1693e519524SHoward Hinnant
1700b0bbd2fSMarshall Clowtemplate <class InputIterator1, class InputIterator2, class BinaryPredicate>
1716538e28dSMarshall Clow    constexpr pair<InputIterator1, InputIterator2>   // constexpr in C++20
1720b0bbd2fSMarshall Clow    mismatch(InputIterator1 first1, InputIterator1 last1,
1730b0bbd2fSMarshall Clow             InputIterator2 first2, InputIterator2 last2,
1740b0bbd2fSMarshall Clow             BinaryPredicate pred); // **C++14**
1750b0bbd2fSMarshall Clow
1763e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2>
1776538e28dSMarshall Clow    constexpr bool      // constexpr in C++20
1783e519524SHoward Hinnant    equal(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2);
1793e519524SHoward Hinnant
1800b0bbd2fSMarshall Clowtemplate <class InputIterator1, class InputIterator2>
1816538e28dSMarshall Clow    constexpr bool      // constexpr in C++20
1820b0bbd2fSMarshall Clow    equal(InputIterator1 first1, InputIterator1 last1,
1830b0bbd2fSMarshall Clow          InputIterator2 first2, InputIterator2 last2); // **C++14**
1840b0bbd2fSMarshall Clow
1853e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class BinaryPredicate>
1866538e28dSMarshall Clow    constexpr bool      // constexpr in C++20
1873e519524SHoward Hinnant    equal(InputIterator1 first1, InputIterator1 last1,
1883e519524SHoward Hinnant          InputIterator2 first2, BinaryPredicate pred);
1893e519524SHoward Hinnant
1900b0bbd2fSMarshall Clowtemplate <class InputIterator1, class InputIterator2, class BinaryPredicate>
1916538e28dSMarshall Clow    constexpr bool      // constexpr in C++20
1920b0bbd2fSMarshall Clow    equal(InputIterator1 first1, InputIterator1 last1,
1930b0bbd2fSMarshall Clow          InputIterator2 first2, InputIterator2 last2,
1940b0bbd2fSMarshall Clow          BinaryPredicate pred); // **C++14**
1950b0bbd2fSMarshall Clow
1963e519524SHoward Hinnanttemplate<class ForwardIterator1, class ForwardIterator2>
19749c7643cSMarshall Clow    constexpr bool      // constexpr in C++20
1983e519524SHoward Hinnant    is_permutation(ForwardIterator1 first1, ForwardIterator1 last1,
1993e519524SHoward Hinnant                   ForwardIterator2 first2);
2003e519524SHoward Hinnant
2010b0bbd2fSMarshall Clowtemplate<class ForwardIterator1, class ForwardIterator2>
20249c7643cSMarshall Clow    constexpr bool      // constexpr in C++20
2030b0bbd2fSMarshall Clow    is_permutation(ForwardIterator1 first1, ForwardIterator1 last1,
2040b0bbd2fSMarshall Clow                   ForwardIterator2 first2, ForwardIterator2 last2); // **C++14**
2050b0bbd2fSMarshall Clow
2063e519524SHoward Hinnanttemplate<class ForwardIterator1, class ForwardIterator2, class BinaryPredicate>
20749c7643cSMarshall Clow    constexpr bool      // constexpr in C++20
2083e519524SHoward Hinnant    is_permutation(ForwardIterator1 first1, ForwardIterator1 last1,
2093e519524SHoward Hinnant                   ForwardIterator2 first2, BinaryPredicate pred);
2103e519524SHoward Hinnant
2110b0bbd2fSMarshall Clowtemplate<class ForwardIterator1, class ForwardIterator2, class BinaryPredicate>
21249c7643cSMarshall Clow    constexpr bool      // constexpr in C++20
2130b0bbd2fSMarshall Clow    is_permutation(ForwardIterator1 first1, ForwardIterator1 last1,
2140b0bbd2fSMarshall Clow                   ForwardIterator2 first2, ForwardIterator2 last2,
2150b0bbd2fSMarshall Clow                   BinaryPredicate pred);  // **C++14**
2160b0bbd2fSMarshall Clow
2173e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2>
21812f0a779SMarshall Clow    constexpr ForwardIterator1      // constexpr in C++20
2193e519524SHoward Hinnant    search(ForwardIterator1 first1, ForwardIterator1 last1,
2203e519524SHoward Hinnant           ForwardIterator2 first2, ForwardIterator2 last2);
2213e519524SHoward Hinnant
2223e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2, class BinaryPredicate>
22312f0a779SMarshall Clow    constexpr ForwardIterator1      // constexpr in C++20
2243e519524SHoward Hinnant    search(ForwardIterator1 first1, ForwardIterator1 last1,
2253e519524SHoward Hinnant           ForwardIterator2 first2, ForwardIterator2 last2, BinaryPredicate pred);
2263e519524SHoward Hinnant
2273e519524SHoward Hinnanttemplate <class ForwardIterator, class Size, class T>
22812f0a779SMarshall Clow    constexpr ForwardIterator       // constexpr in C++20
2293e519524SHoward Hinnant    search_n(ForwardIterator first, ForwardIterator last, Size count, const T& value);
2303e519524SHoward Hinnant
2313e519524SHoward Hinnanttemplate <class ForwardIterator, class Size, class T, class BinaryPredicate>
23212f0a779SMarshall Clow    constexpr ForwardIterator       // constexpr in C++20
2333e519524SHoward Hinnant    search_n(ForwardIterator first, ForwardIterator last,
2343e519524SHoward Hinnant             Size count, const T& value, BinaryPredicate pred);
2353e519524SHoward Hinnant
2363e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator>
23713c90a57SLouis Dionne    constexpr OutputIterator      // constexpr in C++20
2383e519524SHoward Hinnant    copy(InputIterator first, InputIterator last, OutputIterator result);
2393e519524SHoward Hinnant
2403e519524SHoward Hinnanttemplate<class InputIterator, class OutputIterator, class Predicate>
24113c90a57SLouis Dionne    constexpr OutputIterator      // constexpr in C++20
2423e519524SHoward Hinnant    copy_if(InputIterator first, InputIterator last,
2433e519524SHoward Hinnant            OutputIterator result, Predicate pred);
2443e519524SHoward Hinnant
2453e519524SHoward Hinnanttemplate<class InputIterator, class Size, class OutputIterator>
24613c90a57SLouis Dionne    constexpr OutputIterator      // constexpr in C++20
2473e519524SHoward Hinnant    copy_n(InputIterator first, Size n, OutputIterator result);
2483e519524SHoward Hinnant
2493e519524SHoward Hinnanttemplate <class BidirectionalIterator1, class BidirectionalIterator2>
25013c90a57SLouis Dionne    constexpr BidirectionalIterator2      // constexpr in C++20
2513e519524SHoward Hinnant    copy_backward(BidirectionalIterator1 first, BidirectionalIterator1 last,
2523e519524SHoward Hinnant                  BidirectionalIterator2 result);
2533e519524SHoward Hinnant
2543e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2>
255b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator2    // constexpr in C++20
2563e519524SHoward Hinnant    swap_ranges(ForwardIterator1 first1, ForwardIterator1 last1, ForwardIterator2 first2);
2573e519524SHoward Hinnant
2589d905319SNikolas Klausertemplate<input_iterator I1, sentinel_for<I1> S1, input_iterator I2, sentinel_for<I2> S2>
2599d905319SNikolas Klauser        requires indirectly_swappable<I1, I2>
2609d905319SNikolas Klauser    constexpr ranges::swap_ranges_result<I1, I2>
2619d905319SNikolas Klauser        ranges::swap_ranges(I1 first1, S1 last1, I2 first2, S2 last2);
2629d905319SNikolas Klauser
2639d905319SNikolas Klausertemplate<input_range R1, input_range R2>
2649d905319SNikolas Klauser        requires indirectly_swappable<iterator_t<R1>, iterator_t<R2>>
2659d905319SNikolas Klauser    constexpr ranges::swap_ranges_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>>
2669d905319SNikolas Klauser        ranges::swap_ranges(R1&& r1, R2&& r2);
2679d905319SNikolas Klauser
2683e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2>
269b8bc4e15SArthur O'Dwyer    constexpr void                // constexpr in C++20
2703e519524SHoward Hinnant    iter_swap(ForwardIterator1 a, ForwardIterator2 b);
2713e519524SHoward Hinnant
2723e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class UnaryOperation>
27399894b61SMarshall Clow    constexpr OutputIterator      // constexpr in C++20
2743e519524SHoward Hinnant    transform(InputIterator first, InputIterator last, OutputIterator result, UnaryOperation op);
2753e519524SHoward Hinnant
2763e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class BinaryOperation>
27799894b61SMarshall Clow    constexpr OutputIterator      // constexpr in C++20
2783e519524SHoward Hinnant    transform(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2,
2793e519524SHoward Hinnant              OutputIterator result, BinaryOperation binary_op);
2803e519524SHoward Hinnant
2813e519524SHoward Hinnanttemplate <class ForwardIterator, class T>
28212c7423fSMarshall Clow    constexpr void      // constexpr in C++20
2833e519524SHoward Hinnant    replace(ForwardIterator first, ForwardIterator last, const T& old_value, const T& new_value);
2843e519524SHoward Hinnant
2853e519524SHoward Hinnanttemplate <class ForwardIterator, class Predicate, class T>
28612c7423fSMarshall Clow    constexpr void      // constexpr in C++20
2873e519524SHoward Hinnant    replace_if(ForwardIterator first, ForwardIterator last, Predicate pred, const T& new_value);
2883e519524SHoward Hinnant
2893e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class T>
29012c7423fSMarshall Clow    constexpr OutputIterator      // constexpr in C++20
2913e519524SHoward Hinnant    replace_copy(InputIterator first, InputIterator last, OutputIterator result,
2923e519524SHoward Hinnant                 const T& old_value, const T& new_value);
2933e519524SHoward Hinnant
2943e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class Predicate, class T>
29512c7423fSMarshall Clow    constexpr OutputIterator      // constexpr in C++20
2963e519524SHoward Hinnant    replace_copy_if(InputIterator first, InputIterator last, OutputIterator result, Predicate pred, const T& new_value);
2973e519524SHoward Hinnant
2983e519524SHoward Hinnanttemplate <class ForwardIterator, class T>
2994bfb9313SMarshall Clow    constexpr void      // constexpr in C++20
3003e519524SHoward Hinnant    fill(ForwardIterator first, ForwardIterator last, const T& value);
3013e519524SHoward Hinnant
3023e519524SHoward Hinnanttemplate <class OutputIterator, class Size, class T>
3034bfb9313SMarshall Clow    constexpr OutputIterator      // constexpr in C++20
3043e519524SHoward Hinnant    fill_n(OutputIterator first, Size n, const T& value);
3053e519524SHoward Hinnant
3063e519524SHoward Hinnanttemplate <class ForwardIterator, class Generator>
3074bfb9313SMarshall Clow    constexpr void      // constexpr in C++20
3083e519524SHoward Hinnant    generate(ForwardIterator first, ForwardIterator last, Generator gen);
3093e519524SHoward Hinnant
3103e519524SHoward Hinnanttemplate <class OutputIterator, class Size, class Generator>
3114bfb9313SMarshall Clow    constexpr OutputIterator      // constexpr in C++20
3123e519524SHoward Hinnant    generate_n(OutputIterator first, Size n, Generator gen);
3133e519524SHoward Hinnant
3143e519524SHoward Hinnanttemplate <class ForwardIterator, class T>
315e8ea8296SMarshall Clow    constexpr ForwardIterator     // constexpr in C++20
3163e519524SHoward Hinnant    remove(ForwardIterator first, ForwardIterator last, const T& value);
3173e519524SHoward Hinnant
3183e519524SHoward Hinnanttemplate <class ForwardIterator, class Predicate>
319e8ea8296SMarshall Clow    constexpr ForwardIterator     // constexpr in C++20
3203e519524SHoward Hinnant    remove_if(ForwardIterator first, ForwardIterator last, Predicate pred);
3213e519524SHoward Hinnant
3223e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class T>
323e8ea8296SMarshall Clow    constexpr OutputIterator     // constexpr in C++20
3243e519524SHoward Hinnant    remove_copy(InputIterator first, InputIterator last, OutputIterator result, const T& value);
3253e519524SHoward Hinnant
3263e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class Predicate>
327e8ea8296SMarshall Clow    constexpr OutputIterator     // constexpr in C++20
3283e519524SHoward Hinnant    remove_copy_if(InputIterator first, InputIterator last, OutputIterator result, Predicate pred);
3293e519524SHoward Hinnant
3303e519524SHoward Hinnanttemplate <class ForwardIterator>
331b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator    // constexpr in C++20
3323e519524SHoward Hinnant    unique(ForwardIterator first, ForwardIterator last);
3333e519524SHoward Hinnant
3343e519524SHoward Hinnanttemplate <class ForwardIterator, class BinaryPredicate>
335b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator    // constexpr in C++20
3363e519524SHoward Hinnant    unique(ForwardIterator first, ForwardIterator last, BinaryPredicate pred);
3373e519524SHoward Hinnant
3383e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator>
339b8bc4e15SArthur O'Dwyer    constexpr OutputIterator     // constexpr in C++20
3403e519524SHoward Hinnant    unique_copy(InputIterator first, InputIterator last, OutputIterator result);
3413e519524SHoward Hinnant
3423e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class BinaryPredicate>
343b8bc4e15SArthur O'Dwyer    constexpr OutputIterator     // constexpr in C++20
3443e519524SHoward Hinnant    unique_copy(InputIterator first, InputIterator last, OutputIterator result, BinaryPredicate pred);
3453e519524SHoward Hinnant
3463e519524SHoward Hinnanttemplate <class BidirectionalIterator>
347f851db3dSArthur O'Dwyer    constexpr void               // constexpr in C++20
3483e519524SHoward Hinnant    reverse(BidirectionalIterator first, BidirectionalIterator last);
3493e519524SHoward Hinnant
3503e519524SHoward Hinnanttemplate <class BidirectionalIterator, class OutputIterator>
351e8ea8296SMarshall Clow    constexpr OutputIterator       // constexpr in C++20
3523e519524SHoward Hinnant    reverse_copy(BidirectionalIterator first, BidirectionalIterator last, OutputIterator result);
3533e519524SHoward Hinnant
3543e519524SHoward Hinnanttemplate <class ForwardIterator>
355b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator      // constexpr in C++20
3563e519524SHoward Hinnant    rotate(ForwardIterator first, ForwardIterator middle, ForwardIterator last);
3573e519524SHoward Hinnant
3583e519524SHoward Hinnanttemplate <class ForwardIterator, class OutputIterator>
359b8bc4e15SArthur O'Dwyer    constexpr OutputIterator       // constexpr in C++20
3603e519524SHoward Hinnant    rotate_copy(ForwardIterator first, ForwardIterator middle, ForwardIterator last, OutputIterator result);
3613e519524SHoward Hinnant
3623e519524SHoward Hinnanttemplate <class RandomAccessIterator>
3633e519524SHoward Hinnant    void
3640f37a410SMarshall Clow    random_shuffle(RandomAccessIterator first, RandomAccessIterator last); // deprecated in C++14, removed in C++17
3653e519524SHoward Hinnant
3663e519524SHoward Hinnanttemplate <class RandomAccessIterator, class RandomNumberGenerator>
3673e519524SHoward Hinnant    void
36806965c1fSMarshall Clow    random_shuffle(RandomAccessIterator first, RandomAccessIterator last,
3690f37a410SMarshall Clow                   RandomNumberGenerator& rand);  // deprecated in C++14, removed in C++17
3703e519524SHoward Hinnant
371e7154709SEric Fiseliertemplate<class PopulationIterator, class SampleIterator,
372e7154709SEric Fiselier         class Distance, class UniformRandomBitGenerator>
373e7154709SEric Fiselier    SampleIterator sample(PopulationIterator first, PopulationIterator last,
374e7154709SEric Fiselier                          SampleIterator out, Distance n,
375e7154709SEric Fiselier                          UniformRandomBitGenerator&& g); // C++17
376e7154709SEric Fiselier
377f9d540b0SHoward Hinnanttemplate<class RandomAccessIterator, class UniformRandomNumberGenerator>
378f9d540b0SHoward Hinnant    void shuffle(RandomAccessIterator first, RandomAccessIterator last,
379fb340102SHoward Hinnant                 UniformRandomNumberGenerator&& g);
380f9d540b0SHoward Hinnant
3813fbd3eafSArthur O'Dwyertemplate<class ForwardIterator>
3823fbd3eafSArthur O'Dwyer  constexpr ForwardIterator
3833fbd3eafSArthur O'Dwyer    shift_left(ForwardIterator first, ForwardIterator last,
3843fbd3eafSArthur O'Dwyer               typename iterator_traits<ForwardIterator>::difference_type n); // C++20
3853fbd3eafSArthur O'Dwyer
3863fbd3eafSArthur O'Dwyertemplate<class ForwardIterator>
3873fbd3eafSArthur O'Dwyer  constexpr ForwardIterator
3883fbd3eafSArthur O'Dwyer    shift_right(ForwardIterator first, ForwardIterator last,
3893fbd3eafSArthur O'Dwyer                typename iterator_traits<ForwardIterator>::difference_type n); // C++20
3903fbd3eafSArthur O'Dwyer
3913e519524SHoward Hinnanttemplate <class InputIterator, class Predicate>
39249c7643cSMarshall Clow    constexpr bool  // constexpr in C++20
3933e519524SHoward Hinnant    is_partitioned(InputIterator first, InputIterator last, Predicate pred);
3943e519524SHoward Hinnant
3953e519524SHoward Hinnanttemplate <class ForwardIterator, class Predicate>
396f851db3dSArthur O'Dwyer    constexpr ForwardIterator  // constexpr in C++20
3973e519524SHoward Hinnant    partition(ForwardIterator first, ForwardIterator last, Predicate pred);
3983e519524SHoward Hinnant
3993e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator1,
4003e519524SHoward Hinnant          class OutputIterator2, class Predicate>
4011b9a4ffdSMarshall Clow    constexpr pair<OutputIterator1, OutputIterator2>   // constexpr in C++20
4023e519524SHoward Hinnant    partition_copy(InputIterator first, InputIterator last,
4033e519524SHoward Hinnant                   OutputIterator1 out_true, OutputIterator2 out_false,
4043e519524SHoward Hinnant                   Predicate pred);
4053e519524SHoward Hinnant
4063e519524SHoward Hinnanttemplate <class ForwardIterator, class Predicate>
4073e519524SHoward Hinnant    ForwardIterator
4083e519524SHoward Hinnant    stable_partition(ForwardIterator first, ForwardIterator last, Predicate pred);
4093e519524SHoward Hinnant
4103e519524SHoward Hinnanttemplate<class ForwardIterator, class Predicate>
411d57c03ddSMarshall Clow    constexpr ForwardIterator  // constexpr in C++20
4123e519524SHoward Hinnant    partition_point(ForwardIterator first, ForwardIterator last, Predicate pred);
4133e519524SHoward Hinnant
4143e519524SHoward Hinnanttemplate <class ForwardIterator>
41549c7643cSMarshall Clow    constexpr bool  // constexpr in C++20
4163e519524SHoward Hinnant    is_sorted(ForwardIterator first, ForwardIterator last);
4173e519524SHoward Hinnant
4183e519524SHoward Hinnanttemplate <class ForwardIterator, class Compare>
419b8bc4e15SArthur O'Dwyer    constexpr bool  // constexpr in C++20
4203e519524SHoward Hinnant    is_sorted(ForwardIterator first, ForwardIterator last, Compare comp);
4213e519524SHoward Hinnant
4223e519524SHoward Hinnanttemplate<class ForwardIterator>
423056f15e3SMarshall Clow    constexpr ForwardIterator    // constexpr in C++20
4243e519524SHoward Hinnant    is_sorted_until(ForwardIterator first, ForwardIterator last);
4253e519524SHoward Hinnant
4263e519524SHoward Hinnanttemplate <class ForwardIterator, class Compare>
427056f15e3SMarshall Clow    constexpr ForwardIterator    // constexpr in C++20
4283e519524SHoward Hinnant    is_sorted_until(ForwardIterator first, ForwardIterator last, Compare comp);
4293e519524SHoward Hinnant
4303e519524SHoward Hinnanttemplate <class RandomAccessIterator>
431493f1407SArthur O'Dwyer    constexpr void               // constexpr in C++20
4323e519524SHoward Hinnant    sort(RandomAccessIterator first, RandomAccessIterator last);
4333e519524SHoward Hinnant
4343e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
435493f1407SArthur O'Dwyer    constexpr void               // constexpr in C++20
4363e519524SHoward Hinnant    sort(RandomAccessIterator first, RandomAccessIterator last, Compare comp);
4373e519524SHoward Hinnant
4383e519524SHoward Hinnanttemplate <class RandomAccessIterator>
4393e519524SHoward Hinnant    void
4403e519524SHoward Hinnant    stable_sort(RandomAccessIterator first, RandomAccessIterator last);
4413e519524SHoward Hinnant
4423e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
4433e519524SHoward Hinnant    void
4443e519524SHoward Hinnant    stable_sort(RandomAccessIterator first, RandomAccessIterator last, Compare comp);
4453e519524SHoward Hinnant
4463e519524SHoward Hinnanttemplate <class RandomAccessIterator>
4475386aa26SArthur O'Dwyer    constexpr void                    // constexpr in C++20
4483e519524SHoward Hinnant    partial_sort(RandomAccessIterator first, RandomAccessIterator middle, RandomAccessIterator last);
4493e519524SHoward Hinnant
4503e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
4515386aa26SArthur O'Dwyer    constexpr void                    // constexpr in C++20
4523e519524SHoward Hinnant    partial_sort(RandomAccessIterator first, RandomAccessIterator middle, RandomAccessIterator last, Compare comp);
4533e519524SHoward Hinnant
4543e519524SHoward Hinnanttemplate <class InputIterator, class RandomAccessIterator>
4555386aa26SArthur O'Dwyer    constexpr RandomAccessIterator    // constexpr in C++20
4563e519524SHoward Hinnant    partial_sort_copy(InputIterator first, InputIterator last,
4573e519524SHoward Hinnant                      RandomAccessIterator result_first, RandomAccessIterator result_last);
4583e519524SHoward Hinnant
4593e519524SHoward Hinnanttemplate <class InputIterator, class RandomAccessIterator, class Compare>
4605386aa26SArthur O'Dwyer    constexpr RandomAccessIterator    // constexpr in C++20
4613e519524SHoward Hinnant    partial_sort_copy(InputIterator first, InputIterator last,
4623e519524SHoward Hinnant                      RandomAccessIterator result_first, RandomAccessIterator result_last, Compare comp);
4633e519524SHoward Hinnant
4643e519524SHoward Hinnanttemplate <class RandomAccessIterator>
4655d956563SArthur O'Dwyer    constexpr void                    // constexpr in C++20
4663e519524SHoward Hinnant    nth_element(RandomAccessIterator first, RandomAccessIterator nth, RandomAccessIterator last);
4673e519524SHoward Hinnant
4683e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
4695d956563SArthur O'Dwyer    constexpr void                    // constexpr in C++20
4703e519524SHoward Hinnant    nth_element(RandomAccessIterator first, RandomAccessIterator nth, RandomAccessIterator last, Compare comp);
4713e519524SHoward Hinnant
4723e519524SHoward Hinnanttemplate <class ForwardIterator, class T>
473d57c03ddSMarshall Clow    constexpr ForwardIterator                         // constexpr in C++20
4743e519524SHoward Hinnant    lower_bound(ForwardIterator first, ForwardIterator last, const T& value);
4753e519524SHoward Hinnant
4763e519524SHoward Hinnanttemplate <class ForwardIterator, class T, class Compare>
477d57c03ddSMarshall Clow    constexpr ForwardIterator                         // constexpr in C++20
4783e519524SHoward Hinnant    lower_bound(ForwardIterator first, ForwardIterator last, const T& value, Compare comp);
4793e519524SHoward Hinnant
4803e519524SHoward Hinnanttemplate <class ForwardIterator, class T>
481d57c03ddSMarshall Clow    constexpr ForwardIterator                         // constexpr in C++20
4823e519524SHoward Hinnant    upper_bound(ForwardIterator first, ForwardIterator last, const T& value);
4833e519524SHoward Hinnant
4843e519524SHoward Hinnanttemplate <class ForwardIterator, class T, class Compare>
485d57c03ddSMarshall Clow    constexpr ForwardIterator                         // constexpr in C++20
4863e519524SHoward Hinnant    upper_bound(ForwardIterator first, ForwardIterator last, const T& value, Compare comp);
4873e519524SHoward Hinnant
4883e519524SHoward Hinnanttemplate <class ForwardIterator, class T>
489d57c03ddSMarshall Clow    constexpr pair<ForwardIterator, ForwardIterator>  // constexpr in C++20
4903e519524SHoward Hinnant    equal_range(ForwardIterator first, ForwardIterator last, const T& value);
4913e519524SHoward Hinnant
4923e519524SHoward Hinnanttemplate <class ForwardIterator, class T, class Compare>
493d57c03ddSMarshall Clow    constexpr pair<ForwardIterator, ForwardIterator>  // constexpr in C++20
4943e519524SHoward Hinnant    equal_range(ForwardIterator first, ForwardIterator last, const T& value, Compare comp);
4953e519524SHoward Hinnant
4963e519524SHoward Hinnanttemplate <class ForwardIterator, class T>
497d57c03ddSMarshall Clow    constexpr bool                                    // constexpr in C++20
4983e519524SHoward Hinnant    binary_search(ForwardIterator first, ForwardIterator last, const T& value);
4993e519524SHoward Hinnant
5003e519524SHoward Hinnanttemplate <class ForwardIterator, class T, class Compare>
5018da1a487SMarshall Clow    constexpr bool                                    // constexpr in C++20
5023e519524SHoward Hinnant    binary_search(ForwardIterator first, ForwardIterator last, const T& value, Compare comp);
5033e519524SHoward Hinnant
5043e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator>
50514098cf6SArthur O'Dwyer    constexpr OutputIterator                          // constexpr in C++20
5063e519524SHoward Hinnant    merge(InputIterator1 first1, InputIterator1 last1,
5073e519524SHoward Hinnant          InputIterator2 first2, InputIterator2 last2, OutputIterator result);
5083e519524SHoward Hinnant
5093e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class Compare>
51014098cf6SArthur O'Dwyer    constexpr OutputIterator                          // constexpr in C++20
5113e519524SHoward Hinnant    merge(InputIterator1 first1, InputIterator1 last1,
5123e519524SHoward Hinnant          InputIterator2 first2, InputIterator2 last2, OutputIterator result, Compare comp);
5133e519524SHoward Hinnant
5143e519524SHoward Hinnanttemplate <class BidirectionalIterator>
5153e519524SHoward Hinnant    void
5163e519524SHoward Hinnant    inplace_merge(BidirectionalIterator first, BidirectionalIterator middle, BidirectionalIterator last);
5173e519524SHoward Hinnant
5183e519524SHoward Hinnanttemplate <class BidirectionalIterator, class Compare>
5193e519524SHoward Hinnant    void
5203e519524SHoward Hinnant    inplace_merge(BidirectionalIterator first, BidirectionalIterator middle, BidirectionalIterator last, Compare comp);
5213e519524SHoward Hinnant
5223e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2>
5238da1a487SMarshall Clow    constexpr bool                                    // constexpr in C++20
5243e519524SHoward Hinnant    includes(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2 last2);
5253e519524SHoward Hinnant
5263e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class Compare>
5278da1a487SMarshall Clow    constexpr bool                                    // constexpr in C++20
5283e519524SHoward Hinnant    includes(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2 last2, Compare comp);
5293e519524SHoward Hinnant
5303e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator>
53114098cf6SArthur O'Dwyer    constexpr OutputIterator                          // constexpr in C++20
5323e519524SHoward Hinnant    set_union(InputIterator1 first1, InputIterator1 last1,
5333e519524SHoward Hinnant              InputIterator2 first2, InputIterator2 last2, OutputIterator result);
5343e519524SHoward Hinnant
5353e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class Compare>
53614098cf6SArthur O'Dwyer    constexpr OutputIterator                          // constexpr in C++20
5373e519524SHoward Hinnant    set_union(InputIterator1 first1, InputIterator1 last1,
5383e519524SHoward Hinnant              InputIterator2 first2, InputIterator2 last2, OutputIterator result, Compare comp);
5393e519524SHoward Hinnant
5403e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator>
5418da1a487SMarshall Clow    constexpr OutputIterator                         // constexpr in C++20
5423e519524SHoward Hinnant    set_intersection(InputIterator1 first1, InputIterator1 last1,
5433e519524SHoward Hinnant                     InputIterator2 first2, InputIterator2 last2, OutputIterator result);
5443e519524SHoward Hinnant
5453e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class Compare>
5468da1a487SMarshall Clow    constexpr OutputIterator                         // constexpr in C++20
5473e519524SHoward Hinnant    set_intersection(InputIterator1 first1, InputIterator1 last1,
5483e519524SHoward Hinnant                     InputIterator2 first2, InputIterator2 last2, OutputIterator result, Compare comp);
5493e519524SHoward Hinnant
5503e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator>
55114098cf6SArthur O'Dwyer    constexpr OutputIterator                         // constexpr in C++20
5523e519524SHoward Hinnant    set_difference(InputIterator1 first1, InputIterator1 last1,
5533e519524SHoward Hinnant                   InputIterator2 first2, InputIterator2 last2, OutputIterator result);
5543e519524SHoward Hinnant
5553e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class Compare>
55614098cf6SArthur O'Dwyer    constexpr OutputIterator                         // constexpr in C++20
5573e519524SHoward Hinnant    set_difference(InputIterator1 first1, InputIterator1 last1,
5583e519524SHoward Hinnant                   InputIterator2 first2, InputIterator2 last2, OutputIterator result, Compare comp);
5593e519524SHoward Hinnant
5603e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator>
56114098cf6SArthur O'Dwyer    constexpr OutputIterator                         // constexpr in C++20
5623e519524SHoward Hinnant    set_symmetric_difference(InputIterator1 first1, InputIterator1 last1,
5633e519524SHoward Hinnant                             InputIterator2 first2, InputIterator2 last2, OutputIterator result);
5643e519524SHoward Hinnant
5653e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class Compare>
56614098cf6SArthur O'Dwyer    constexpr OutputIterator                         // constexpr in C++20
5673e519524SHoward Hinnant    set_symmetric_difference(InputIterator1 first1, InputIterator1 last1,
5683e519524SHoward Hinnant                             InputIterator2 first2, InputIterator2 last2, OutputIterator result, Compare comp);
5693e519524SHoward Hinnant
5703e519524SHoward Hinnanttemplate <class RandomAccessIterator>
5715386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
5723e519524SHoward Hinnant    push_heap(RandomAccessIterator first, RandomAccessIterator last);
5733e519524SHoward Hinnant
5743e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
5755386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
5763e519524SHoward Hinnant    push_heap(RandomAccessIterator first, RandomAccessIterator last, Compare comp);
5773e519524SHoward Hinnant
5783e519524SHoward Hinnanttemplate <class RandomAccessIterator>
5795386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
5803e519524SHoward Hinnant    pop_heap(RandomAccessIterator first, RandomAccessIterator last);
5813e519524SHoward Hinnant
5823e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
5835386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
5843e519524SHoward Hinnant    pop_heap(RandomAccessIterator first, RandomAccessIterator last, Compare comp);
5853e519524SHoward Hinnant
5863e519524SHoward Hinnanttemplate <class RandomAccessIterator>
5875386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
5883e519524SHoward Hinnant    make_heap(RandomAccessIterator first, RandomAccessIterator last);
5893e519524SHoward Hinnant
5903e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
5915386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
5923e519524SHoward Hinnant    make_heap(RandomAccessIterator first, RandomAccessIterator last, Compare comp);
5933e519524SHoward Hinnant
5943e519524SHoward Hinnanttemplate <class RandomAccessIterator>
5955386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
5963e519524SHoward Hinnant    sort_heap(RandomAccessIterator first, RandomAccessIterator last);
5973e519524SHoward Hinnant
5983e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
5995386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
6003e519524SHoward Hinnant    sort_heap(RandomAccessIterator first, RandomAccessIterator last, Compare comp);
6013e519524SHoward Hinnant
6023e519524SHoward Hinnanttemplate <class RandomAccessIterator>
60349c7643cSMarshall Clow    constexpr bool   // constexpr in C++20
6043e519524SHoward Hinnant    is_heap(RandomAccessIterator first, RandomAccessiterator last);
6053e519524SHoward Hinnant
6063e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
60749c7643cSMarshall Clow    constexpr bool   // constexpr in C++20
6083e519524SHoward Hinnant    is_heap(RandomAccessIterator first, RandomAccessiterator last, Compare comp);
6093e519524SHoward Hinnant
6103e519524SHoward Hinnanttemplate <class RandomAccessIterator>
61149c7643cSMarshall Clow    constexpr RandomAccessIterator   // constexpr in C++20
6123e519524SHoward Hinnant    is_heap_until(RandomAccessIterator first, RandomAccessiterator last);
6133e519524SHoward Hinnant
6143e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
61549c7643cSMarshall Clow    constexpr RandomAccessIterator   // constexpr in C++20
6163e519524SHoward Hinnant    is_heap_until(RandomAccessIterator first, RandomAccessiterator last, Compare comp);
6173e519524SHoward Hinnant
6184eb27b79SHoward Hinnanttemplate <class ForwardIterator>
619b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator        // constexpr in C++14
620b8bc4e15SArthur O'Dwyer    min_element(ForwardIterator first, ForwardIterator last);
6214eb27b79SHoward Hinnant
6224eb27b79SHoward Hinnanttemplate <class ForwardIterator, class Compare>
623b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator        // constexpr in C++14
624b8bc4e15SArthur O'Dwyer    min_element(ForwardIterator first, ForwardIterator last, Compare comp);
6254eb27b79SHoward Hinnant
6263e519524SHoward Hinnanttemplate <class T>
627b8bc4e15SArthur O'Dwyer    constexpr const T&               // constexpr in C++14
628b8bc4e15SArthur O'Dwyer    min(const T& a, const T& b);
6293e519524SHoward Hinnant
6303e519524SHoward Hinnanttemplate <class T, class Compare>
631b8bc4e15SArthur O'Dwyer    constexpr const T&               // constexpr in C++14
632b8bc4e15SArthur O'Dwyer    min(const T& a, const T& b, Compare comp);
6333e519524SHoward Hinnant
6343e519524SHoward Hinnanttemplate<class T>
635b8bc4e15SArthur O'Dwyer    constexpr T                      // constexpr in C++14
636b8bc4e15SArthur O'Dwyer    min(initializer_list<T> t);
6373e519524SHoward Hinnant
6383e519524SHoward Hinnanttemplate<class T, class Compare>
639b8bc4e15SArthur O'Dwyer    constexpr T                      // constexpr in C++14
640b8bc4e15SArthur O'Dwyer    min(initializer_list<T> t, Compare comp);
6413e519524SHoward Hinnant
642146c14acSMarshall Clowtemplate<class T>
643146c14acSMarshall Clow    constexpr const T& clamp(const T& v, const T& lo, const T& hi);               // C++17
644146c14acSMarshall Clow
645146c14acSMarshall Clowtemplate<class T, class Compare>
646146c14acSMarshall Clow    constexpr const T& clamp(const T& v, const T& lo, const T& hi, Compare comp); // C++17
647146c14acSMarshall Clow
6483e519524SHoward Hinnanttemplate <class ForwardIterator>
649b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator        // constexpr in C++14
650b8bc4e15SArthur O'Dwyer    max_element(ForwardIterator first, ForwardIterator last);
6513e519524SHoward Hinnant
6523e519524SHoward Hinnanttemplate <class ForwardIterator, class Compare>
653b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator        // constexpr in C++14
654b8bc4e15SArthur O'Dwyer    max_element(ForwardIterator first, ForwardIterator last, Compare comp);
6553e519524SHoward Hinnant
6564eb27b79SHoward Hinnanttemplate <class T>
657b8bc4e15SArthur O'Dwyer    constexpr const T&               // constexpr in C++14
658b8bc4e15SArthur O'Dwyer    max(const T& a, const T& b);
6594eb27b79SHoward Hinnant
6604eb27b79SHoward Hinnanttemplate <class T, class Compare>
661b8bc4e15SArthur O'Dwyer    constexpr const T&               // constexpr in C++14
662b8bc4e15SArthur O'Dwyer    max(const T& a, const T& b, Compare comp);
6634eb27b79SHoward Hinnant
6644eb27b79SHoward Hinnanttemplate<class T>
665b8bc4e15SArthur O'Dwyer    constexpr T                      // constexpr in C++14
666b8bc4e15SArthur O'Dwyer    max(initializer_list<T> t);
6674eb27b79SHoward Hinnant
6684eb27b79SHoward Hinnanttemplate<class T, class Compare>
669b8bc4e15SArthur O'Dwyer    constexpr T                      // constexpr in C++14
670b8bc4e15SArthur O'Dwyer    max(initializer_list<T> t, Compare comp);
6714eb27b79SHoward Hinnant
6724eb27b79SHoward Hinnanttemplate<class ForwardIterator>
673b8bc4e15SArthur O'Dwyer    constexpr pair<ForwardIterator, ForwardIterator>  // constexpr in C++14
674b8bc4e15SArthur O'Dwyer    minmax_element(ForwardIterator first, ForwardIterator last);
6754eb27b79SHoward Hinnant
6764eb27b79SHoward Hinnanttemplate<class ForwardIterator, class Compare>
677b8bc4e15SArthur O'Dwyer    constexpr pair<ForwardIterator, ForwardIterator>  // constexpr in C++14
678b8bc4e15SArthur O'Dwyer    minmax_element(ForwardIterator first, ForwardIterator last, Compare comp);
6794eb27b79SHoward Hinnant
6804eb27b79SHoward Hinnanttemplate<class T>
681b8bc4e15SArthur O'Dwyer    constexpr pair<const T&, const T&>  // constexpr in C++14
682b8bc4e15SArthur O'Dwyer    minmax(const T& a, const T& b);
6834eb27b79SHoward Hinnant
6844eb27b79SHoward Hinnanttemplate<class T, class Compare>
685b8bc4e15SArthur O'Dwyer    constexpr pair<const T&, const T&>  // constexpr in C++14
686b8bc4e15SArthur O'Dwyer    minmax(const T& a, const T& b, Compare comp);
6874eb27b79SHoward Hinnant
6884eb27b79SHoward Hinnanttemplate<class T>
689b8bc4e15SArthur O'Dwyer    constexpr pair<T, T>                // constexpr in C++14
690b8bc4e15SArthur O'Dwyer    minmax(initializer_list<T> t);
6914eb27b79SHoward Hinnant
6924eb27b79SHoward Hinnanttemplate<class T, class Compare>
693b8bc4e15SArthur O'Dwyer    constexpr pair<T, T>                // constexpr in C++14
694b8bc4e15SArthur O'Dwyer    minmax(initializer_list<T> t, Compare comp);
6954eb27b79SHoward Hinnant
6963e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2>
6971b9a4ffdSMarshall Clow    constexpr bool     // constexpr in C++20
6983e519524SHoward Hinnant    lexicographical_compare(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2 last2);
6993e519524SHoward Hinnant
7003e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class Compare>
7011b9a4ffdSMarshall Clow    constexpr bool     // constexpr in C++20
7023e519524SHoward Hinnant    lexicographical_compare(InputIterator1 first1, InputIterator1 last1,
7033e519524SHoward Hinnant                            InputIterator2 first2, InputIterator2 last2, Compare comp);
7043e519524SHoward Hinnant
7053e519524SHoward Hinnanttemplate <class BidirectionalIterator>
706f851db3dSArthur O'Dwyer    constexpr bool     // constexpr in C++20
7073e519524SHoward Hinnant    next_permutation(BidirectionalIterator first, BidirectionalIterator last);
7083e519524SHoward Hinnant
7093e519524SHoward Hinnanttemplate <class BidirectionalIterator, class Compare>
710f851db3dSArthur O'Dwyer    constexpr bool     // constexpr in C++20
7113e519524SHoward Hinnant    next_permutation(BidirectionalIterator first, BidirectionalIterator last, Compare comp);
7123e519524SHoward Hinnant
7133e519524SHoward Hinnanttemplate <class BidirectionalIterator>
714f851db3dSArthur O'Dwyer    constexpr bool     // constexpr in C++20
7153e519524SHoward Hinnant    prev_permutation(BidirectionalIterator first, BidirectionalIterator last);
7163e519524SHoward Hinnant
7173e519524SHoward Hinnanttemplate <class BidirectionalIterator, class Compare>
718f851db3dSArthur O'Dwyer    constexpr bool     // constexpr in C++20
7193e519524SHoward Hinnant    prev_permutation(BidirectionalIterator first, BidirectionalIterator last, Compare comp);
7203e519524SHoward Hinnant}  // std
7213e519524SHoward Hinnant
7223e519524SHoward Hinnant*/
7233e519524SHoward Hinnant
724ea2206d7SArthur O'Dwyer#include <__bits>
7253e519524SHoward Hinnant#include <__config>
726134723edSLouis Dionne#include <__debug>
727a1d07d57SHoward Hinnant#include <cstddef>
728bfbd73f8SArthur O'Dwyer#include <cstring>
729bfbd73f8SArthur O'Dwyer#include <functional>
730bfbd73f8SArthur O'Dwyer#include <initializer_list>
731bfbd73f8SArthur O'Dwyer#include <iterator>
732bfbd73f8SArthur O'Dwyer#include <memory>
733bfbd73f8SArthur O'Dwyer#include <type_traits>
734f56972e2SMarshall Clow#include <version>
7355d1a701dSHoward Hinnant
73652915d78SNikolas Klauser#include <utility> // TODO: Remove this
73752915d78SNikolas Klauser
738134723edSLouis Dionne#include <__algorithm/adjacent_find.h>
739134723edSLouis Dionne#include <__algorithm/all_of.h>
740134723edSLouis Dionne#include <__algorithm/any_of.h>
741134723edSLouis Dionne#include <__algorithm/binary_search.h>
742134723edSLouis Dionne#include <__algorithm/clamp.h>
743134723edSLouis Dionne#include <__algorithm/comp.h>
744134723edSLouis Dionne#include <__algorithm/comp_ref_type.h>
745134723edSLouis Dionne#include <__algorithm/copy.h>
746134723edSLouis Dionne#include <__algorithm/copy_backward.h>
747134723edSLouis Dionne#include <__algorithm/copy_if.h>
748134723edSLouis Dionne#include <__algorithm/copy_n.h>
749134723edSLouis Dionne#include <__algorithm/count.h>
750134723edSLouis Dionne#include <__algorithm/count_if.h>
751134723edSLouis Dionne#include <__algorithm/equal.h>
752134723edSLouis Dionne#include <__algorithm/equal_range.h>
753134723edSLouis Dionne#include <__algorithm/fill.h>
7544d81a46fSArthur O'Dwyer#include <__algorithm/fill_n.h>
755134723edSLouis Dionne#include <__algorithm/find.h>
756134723edSLouis Dionne#include <__algorithm/find_end.h>
757134723edSLouis Dionne#include <__algorithm/find_first_of.h>
758134723edSLouis Dionne#include <__algorithm/find_if.h>
759134723edSLouis Dionne#include <__algorithm/find_if_not.h>
760134723edSLouis Dionne#include <__algorithm/for_each.h>
761134723edSLouis Dionne#include <__algorithm/for_each_n.h>
762134723edSLouis Dionne#include <__algorithm/generate.h>
7634d81a46fSArthur O'Dwyer#include <__algorithm/generate_n.h>
764134723edSLouis Dionne#include <__algorithm/half_positive.h>
76568f4131cSNikolas Klauser#include <__algorithm/in_found_result.h>
7661e77b396SNikolas Klauser#include <__algorithm/in_fun_result.h>
767f3514af4SNikolas Klauser#include <__algorithm/in_in_out_result.h>
768d3729bb3SNikolas Klauser#include <__algorithm/in_in_result.h>
769610979b3SNikolas Klauser#include <__algorithm/in_out_out_result.h>
7708d23b742SKonstantin Varlamov#include <__algorithm/in_out_result.h>
771134723edSLouis Dionne#include <__algorithm/includes.h>
772134723edSLouis Dionne#include <__algorithm/inplace_merge.h>
773134723edSLouis Dionne#include <__algorithm/is_heap.h>
774134723edSLouis Dionne#include <__algorithm/is_heap_until.h>
775134723edSLouis Dionne#include <__algorithm/is_partitioned.h>
776134723edSLouis Dionne#include <__algorithm/is_permutation.h>
777134723edSLouis Dionne#include <__algorithm/is_sorted.h>
778134723edSLouis Dionne#include <__algorithm/is_sorted_until.h>
7796adbc83eSChristopher Di Bella#include <__algorithm/iter_swap.h>
780134723edSLouis Dionne#include <__algorithm/lexicographical_compare.h>
781134723edSLouis Dionne#include <__algorithm/lower_bound.h>
782134723edSLouis Dionne#include <__algorithm/make_heap.h>
783134723edSLouis Dionne#include <__algorithm/max.h>
784134723edSLouis Dionne#include <__algorithm/max_element.h>
785134723edSLouis Dionne#include <__algorithm/merge.h>
786134723edSLouis Dionne#include <__algorithm/min.h>
787134723edSLouis Dionne#include <__algorithm/min_element.h>
788807766beSNikolas Klauser#include <__algorithm/min_max_result.h>
789134723edSLouis Dionne#include <__algorithm/minmax.h>
790134723edSLouis Dionne#include <__algorithm/minmax_element.h>
791134723edSLouis Dionne#include <__algorithm/mismatch.h>
792134723edSLouis Dionne#include <__algorithm/move.h>
793134723edSLouis Dionne#include <__algorithm/move_backward.h>
794134723edSLouis Dionne#include <__algorithm/next_permutation.h>
795134723edSLouis Dionne#include <__algorithm/none_of.h>
796134723edSLouis Dionne#include <__algorithm/nth_element.h>
797134723edSLouis Dionne#include <__algorithm/partial_sort.h>
798134723edSLouis Dionne#include <__algorithm/partial_sort_copy.h>
799134723edSLouis Dionne#include <__algorithm/partition.h>
800134723edSLouis Dionne#include <__algorithm/partition_copy.h>
801134723edSLouis Dionne#include <__algorithm/partition_point.h>
802134723edSLouis Dionne#include <__algorithm/pop_heap.h>
803134723edSLouis Dionne#include <__algorithm/prev_permutation.h>
804134723edSLouis Dionne#include <__algorithm/push_heap.h>
805*ee0f8c40SNikolas Klauser#include <__algorithm/ranges_find.h>
806*ee0f8c40SNikolas Klauser#include <__algorithm/ranges_find_if.h>
807*ee0f8c40SNikolas Klauser#include <__algorithm/ranges_find_if_not.h>
808205557c9SNikolas Klauser#include <__algorithm/ranges_max_element.h>
8093b470d1cSNikolas Klauser#include <__algorithm/ranges_min_element.h>
810c2cd15a6SNikolas Klauser#include <__algorithm/ranges_mismatch.h>
8119d905319SNikolas Klauser#include <__algorithm/ranges_swap_ranges.h>
812134723edSLouis Dionne#include <__algorithm/remove.h>
813134723edSLouis Dionne#include <__algorithm/remove_copy.h>
814134723edSLouis Dionne#include <__algorithm/remove_copy_if.h>
815134723edSLouis Dionne#include <__algorithm/remove_if.h>
816134723edSLouis Dionne#include <__algorithm/replace.h>
817134723edSLouis Dionne#include <__algorithm/replace_copy.h>
818134723edSLouis Dionne#include <__algorithm/replace_copy_if.h>
819134723edSLouis Dionne#include <__algorithm/replace_if.h>
820134723edSLouis Dionne#include <__algorithm/reverse.h>
821134723edSLouis Dionne#include <__algorithm/reverse_copy.h>
822134723edSLouis Dionne#include <__algorithm/rotate.h>
823134723edSLouis Dionne#include <__algorithm/rotate_copy.h>
824134723edSLouis Dionne#include <__algorithm/sample.h>
825134723edSLouis Dionne#include <__algorithm/search.h>
826134723edSLouis Dionne#include <__algorithm/search_n.h>
827134723edSLouis Dionne#include <__algorithm/set_difference.h>
828134723edSLouis Dionne#include <__algorithm/set_intersection.h>
829134723edSLouis Dionne#include <__algorithm/set_symmetric_difference.h>
830134723edSLouis Dionne#include <__algorithm/set_union.h>
831134723edSLouis Dionne#include <__algorithm/shift_left.h>
832134723edSLouis Dionne#include <__algorithm/shift_right.h>
833134723edSLouis Dionne#include <__algorithm/shuffle.h>
834134723edSLouis Dionne#include <__algorithm/sift_down.h>
835134723edSLouis Dionne#include <__algorithm/sort.h>
836134723edSLouis Dionne#include <__algorithm/sort_heap.h>
837134723edSLouis Dionne#include <__algorithm/stable_partition.h>
838134723edSLouis Dionne#include <__algorithm/stable_sort.h>
8396adbc83eSChristopher Di Bella#include <__algorithm/swap_ranges.h>
840134723edSLouis Dionne#include <__algorithm/transform.h>
841134723edSLouis Dionne#include <__algorithm/unique.h>
8424d81a46fSArthur O'Dwyer#include <__algorithm/unique_copy.h>
843134723edSLouis Dionne#include <__algorithm/unwrap_iter.h>
844134723edSLouis Dionne#include <__algorithm/upper_bound.h>
845c1bd9197SEric Fiselier
846073458b1SHoward Hinnant#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
8473e519524SHoward Hinnant#  pragma GCC system_header
848073458b1SHoward Hinnant#endif
8493e519524SHoward Hinnant
8500a06eb91SLouis Dionne#if defined(_LIBCPP_HAS_PARALLEL_ALGORITHMS) && _LIBCPP_STD_VER >= 17
85195689243SLouis Dionne#   include <__pstl_algorithm>
8520a06eb91SLouis Dionne#endif
8530a06eb91SLouis Dionne
8543e519524SHoward Hinnant#endif // _LIBCPP_ALGORITHM
855