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 = {});
47*c2cd15a6SNikolas Klauser
48*c2cd15a6SNikolas Klauser  template <input_iterator I1, sentinel_for<_I1> S1, input_iterator I2, sentinel_for<_I2> S2,
49*c2cd15a6SNikolas Klauser          class Pred = ranges::equal_to, class Proj1 = identity, class Proj2 = identity>
50*c2cd15a6SNikolas Klauser    requires indirectly_comparable<I1, I2, Pred, Proj1, Proj2>
51*c2cd15a6SNikolas Klauser  constexpr mismatch_result<_I1, _I2>
52*c2cd15a6SNikolas Klauser  mismatch()(I1 first1, S1 last1, I2 first2, S2 last2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {}) // since C++20
53*c2cd15a6SNikolas Klauser
54*c2cd15a6SNikolas Klauser  template <input_range R1, input_range R2,
55*c2cd15a6SNikolas Klauser          class Pred = ranges::equal_to, class Proj1 = identity, class Proj2 = identity>
56*c2cd15a6SNikolas Klauser    requires indirectly_comparable<iterator_t<R1>, iterator_t<R2>, Pred, Proj1, Proj2>
57*c2cd15a6SNikolas Klauser  constexpr mismatch_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>>
58*c2cd15a6SNikolas Klauser  mismatch(R1&& r1, R2&& r2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {})                           // since C++20
59d3729bb3SNikolas Klauser}
60d3729bb3SNikolas Klauser
613e519524SHoward Hinnanttemplate <class InputIterator, class Predicate>
62706ffef7SMarshall Clow    constexpr bool     // constexpr in C++20
633e519524SHoward Hinnant    all_of(InputIterator first, InputIterator last, Predicate pred);
643e519524SHoward Hinnant
653e519524SHoward Hinnanttemplate <class InputIterator, class Predicate>
66706ffef7SMarshall Clow    constexpr bool     // constexpr in C++20
673e519524SHoward Hinnant    any_of(InputIterator first, InputIterator last, Predicate pred);
683e519524SHoward Hinnant
693e519524SHoward Hinnanttemplate <class InputIterator, class Predicate>
70706ffef7SMarshall Clow    constexpr bool     // constexpr in C++20
713e519524SHoward Hinnant    none_of(InputIterator first, InputIterator last, Predicate pred);
723e519524SHoward Hinnant
733e519524SHoward Hinnanttemplate <class InputIterator, class Function>
741b9a4ffdSMarshall Clow    constexpr Function          // constexpr in C++20
753e519524SHoward Hinnant    for_each(InputIterator first, InputIterator last, Function f);
763e519524SHoward Hinnant
77d5c65ffaSMarshall Clowtemplate<class InputIterator, class Size, class Function>
781b9a4ffdSMarshall Clow    constexpr InputIterator     // constexpr in C++20
791b9a4ffdSMarshall Clow    for_each_n(InputIterator first, Size n, Function f); // C++17
80d5c65ffaSMarshall Clow
813e519524SHoward Hinnanttemplate <class InputIterator, class T>
8249c7643cSMarshall Clow    constexpr InputIterator     // constexpr in C++20
833e519524SHoward Hinnant    find(InputIterator first, InputIterator last, const T& value);
843e519524SHoward Hinnant
853e519524SHoward Hinnanttemplate <class InputIterator, class Predicate>
8649c7643cSMarshall Clow    constexpr InputIterator     // constexpr in C++20
873e519524SHoward Hinnant    find_if(InputIterator first, InputIterator last, Predicate pred);
883e519524SHoward Hinnant
893e519524SHoward Hinnanttemplate<class InputIterator, class Predicate>
90b8bc4e15SArthur O'Dwyer    constexpr InputIterator     // constexpr in C++20
913e519524SHoward Hinnant    find_if_not(InputIterator first, InputIterator last, Predicate pred);
923e519524SHoward Hinnant
933e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2>
94b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator1  // constexpr in C++20
953e519524SHoward Hinnant    find_end(ForwardIterator1 first1, ForwardIterator1 last1,
963e519524SHoward Hinnant             ForwardIterator2 first2, ForwardIterator2 last2);
973e519524SHoward Hinnant
983e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2, class BinaryPredicate>
99b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator1  // constexpr in C++20
1003e519524SHoward Hinnant    find_end(ForwardIterator1 first1, ForwardIterator1 last1,
1013e519524SHoward Hinnant             ForwardIterator2 first2, ForwardIterator2 last2, BinaryPredicate pred);
1023e519524SHoward Hinnant
1033e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2>
1048694428eSMarshall Clow    constexpr ForwardIterator1  // constexpr in C++20
1053e519524SHoward Hinnant    find_first_of(ForwardIterator1 first1, ForwardIterator1 last1,
1063e519524SHoward Hinnant                  ForwardIterator2 first2, ForwardIterator2 last2);
1073e519524SHoward Hinnant
1083e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2, class BinaryPredicate>
1098694428eSMarshall Clow    constexpr ForwardIterator1  // constexpr in C++20
1103e519524SHoward Hinnant    find_first_of(ForwardIterator1 first1, ForwardIterator1 last1,
1113e519524SHoward Hinnant                  ForwardIterator2 first2, ForwardIterator2 last2, BinaryPredicate pred);
1123e519524SHoward Hinnant
1133e519524SHoward Hinnanttemplate <class ForwardIterator>
1148694428eSMarshall Clow    constexpr ForwardIterator   // constexpr in C++20
1153e519524SHoward Hinnant    adjacent_find(ForwardIterator first, ForwardIterator last);
1163e519524SHoward Hinnant
1173e519524SHoward Hinnanttemplate <class ForwardIterator, class BinaryPredicate>
1188694428eSMarshall Clow    constexpr ForwardIterator   // constexpr in C++20
1193e519524SHoward Hinnant    adjacent_find(ForwardIterator first, ForwardIterator last, BinaryPredicate pred);
1203e519524SHoward Hinnant
1213e519524SHoward Hinnanttemplate <class InputIterator, class T>
122056f15e3SMarshall Clow    constexpr typename iterator_traits<InputIterator>::difference_type  // constexpr in C++20
1233e519524SHoward Hinnant    count(InputIterator first, InputIterator last, const T& value);
1243e519524SHoward Hinnant
1253e519524SHoward Hinnanttemplate <class InputIterator, class Predicate>
126056f15e3SMarshall Clow    constexpr typename iterator_traits<InputIterator>::difference_type // constexpr in C++20
1273e519524SHoward Hinnant    count_if(InputIterator first, InputIterator last, Predicate pred);
1283e519524SHoward Hinnant
1293e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2>
1306538e28dSMarshall Clow    constexpr pair<InputIterator1, InputIterator2>   // constexpr in C++20
1313e519524SHoward Hinnant    mismatch(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2);
1323e519524SHoward Hinnant
1330b0bbd2fSMarshall Clowtemplate <class InputIterator1, class InputIterator2>
1346538e28dSMarshall Clow    constexpr pair<InputIterator1, InputIterator2>   // constexpr in C++20
1350b0bbd2fSMarshall Clow    mismatch(InputIterator1 first1, InputIterator1 last1,
1360b0bbd2fSMarshall Clow             InputIterator2 first2, InputIterator2 last2); // **C++14**
1370b0bbd2fSMarshall Clow
1383e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class BinaryPredicate>
1396538e28dSMarshall Clow    constexpr pair<InputIterator1, InputIterator2>   // constexpr in C++20
1403e519524SHoward Hinnant    mismatch(InputIterator1 first1, InputIterator1 last1,
1413e519524SHoward Hinnant             InputIterator2 first2, BinaryPredicate pred);
1423e519524SHoward Hinnant
1430b0bbd2fSMarshall Clowtemplate <class InputIterator1, class InputIterator2, class BinaryPredicate>
1446538e28dSMarshall Clow    constexpr pair<InputIterator1, InputIterator2>   // constexpr in C++20
1450b0bbd2fSMarshall Clow    mismatch(InputIterator1 first1, InputIterator1 last1,
1460b0bbd2fSMarshall Clow             InputIterator2 first2, InputIterator2 last2,
1470b0bbd2fSMarshall Clow             BinaryPredicate pred); // **C++14**
1480b0bbd2fSMarshall Clow
1493e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2>
1506538e28dSMarshall Clow    constexpr bool      // constexpr in C++20
1513e519524SHoward Hinnant    equal(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2);
1523e519524SHoward Hinnant
1530b0bbd2fSMarshall Clowtemplate <class InputIterator1, class InputIterator2>
1546538e28dSMarshall Clow    constexpr bool      // constexpr in C++20
1550b0bbd2fSMarshall Clow    equal(InputIterator1 first1, InputIterator1 last1,
1560b0bbd2fSMarshall Clow          InputIterator2 first2, InputIterator2 last2); // **C++14**
1570b0bbd2fSMarshall Clow
1583e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class BinaryPredicate>
1596538e28dSMarshall Clow    constexpr bool      // constexpr in C++20
1603e519524SHoward Hinnant    equal(InputIterator1 first1, InputIterator1 last1,
1613e519524SHoward Hinnant          InputIterator2 first2, BinaryPredicate pred);
1623e519524SHoward Hinnant
1630b0bbd2fSMarshall Clowtemplate <class InputIterator1, class InputIterator2, class BinaryPredicate>
1646538e28dSMarshall Clow    constexpr bool      // constexpr in C++20
1650b0bbd2fSMarshall Clow    equal(InputIterator1 first1, InputIterator1 last1,
1660b0bbd2fSMarshall Clow          InputIterator2 first2, InputIterator2 last2,
1670b0bbd2fSMarshall Clow          BinaryPredicate pred); // **C++14**
1680b0bbd2fSMarshall Clow
1693e519524SHoward Hinnanttemplate<class ForwardIterator1, class ForwardIterator2>
17049c7643cSMarshall Clow    constexpr bool      // constexpr in C++20
1713e519524SHoward Hinnant    is_permutation(ForwardIterator1 first1, ForwardIterator1 last1,
1723e519524SHoward Hinnant                   ForwardIterator2 first2);
1733e519524SHoward Hinnant
1740b0bbd2fSMarshall Clowtemplate<class ForwardIterator1, class ForwardIterator2>
17549c7643cSMarshall Clow    constexpr bool      // constexpr in C++20
1760b0bbd2fSMarshall Clow    is_permutation(ForwardIterator1 first1, ForwardIterator1 last1,
1770b0bbd2fSMarshall Clow                   ForwardIterator2 first2, ForwardIterator2 last2); // **C++14**
1780b0bbd2fSMarshall Clow
1793e519524SHoward Hinnanttemplate<class ForwardIterator1, class ForwardIterator2, class BinaryPredicate>
18049c7643cSMarshall Clow    constexpr bool      // constexpr in C++20
1813e519524SHoward Hinnant    is_permutation(ForwardIterator1 first1, ForwardIterator1 last1,
1823e519524SHoward Hinnant                   ForwardIterator2 first2, BinaryPredicate pred);
1833e519524SHoward Hinnant
1840b0bbd2fSMarshall Clowtemplate<class ForwardIterator1, class ForwardIterator2, class BinaryPredicate>
18549c7643cSMarshall Clow    constexpr bool      // constexpr in C++20
1860b0bbd2fSMarshall Clow    is_permutation(ForwardIterator1 first1, ForwardIterator1 last1,
1870b0bbd2fSMarshall Clow                   ForwardIterator2 first2, ForwardIterator2 last2,
1880b0bbd2fSMarshall Clow                   BinaryPredicate pred);  // **C++14**
1890b0bbd2fSMarshall Clow
1903e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2>
19112f0a779SMarshall Clow    constexpr ForwardIterator1      // constexpr in C++20
1923e519524SHoward Hinnant    search(ForwardIterator1 first1, ForwardIterator1 last1,
1933e519524SHoward Hinnant           ForwardIterator2 first2, ForwardIterator2 last2);
1943e519524SHoward Hinnant
1953e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2, class BinaryPredicate>
19612f0a779SMarshall Clow    constexpr ForwardIterator1      // constexpr in C++20
1973e519524SHoward Hinnant    search(ForwardIterator1 first1, ForwardIterator1 last1,
1983e519524SHoward Hinnant           ForwardIterator2 first2, ForwardIterator2 last2, BinaryPredicate pred);
1993e519524SHoward Hinnant
2003e519524SHoward Hinnanttemplate <class ForwardIterator, class Size, class T>
20112f0a779SMarshall Clow    constexpr ForwardIterator       // constexpr in C++20
2023e519524SHoward Hinnant    search_n(ForwardIterator first, ForwardIterator last, Size count, const T& value);
2033e519524SHoward Hinnant
2043e519524SHoward Hinnanttemplate <class ForwardIterator, class Size, class T, class BinaryPredicate>
20512f0a779SMarshall Clow    constexpr ForwardIterator       // constexpr in C++20
2063e519524SHoward Hinnant    search_n(ForwardIterator first, ForwardIterator last,
2073e519524SHoward Hinnant             Size count, const T& value, BinaryPredicate pred);
2083e519524SHoward Hinnant
2093e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator>
21013c90a57SLouis Dionne    constexpr OutputIterator      // constexpr in C++20
2113e519524SHoward Hinnant    copy(InputIterator first, InputIterator last, OutputIterator result);
2123e519524SHoward Hinnant
2133e519524SHoward Hinnanttemplate<class InputIterator, class OutputIterator, class Predicate>
21413c90a57SLouis Dionne    constexpr OutputIterator      // constexpr in C++20
2153e519524SHoward Hinnant    copy_if(InputIterator first, InputIterator last,
2163e519524SHoward Hinnant            OutputIterator result, Predicate pred);
2173e519524SHoward Hinnant
2183e519524SHoward Hinnanttemplate<class InputIterator, class Size, class OutputIterator>
21913c90a57SLouis Dionne    constexpr OutputIterator      // constexpr in C++20
2203e519524SHoward Hinnant    copy_n(InputIterator first, Size n, OutputIterator result);
2213e519524SHoward Hinnant
2223e519524SHoward Hinnanttemplate <class BidirectionalIterator1, class BidirectionalIterator2>
22313c90a57SLouis Dionne    constexpr BidirectionalIterator2      // constexpr in C++20
2243e519524SHoward Hinnant    copy_backward(BidirectionalIterator1 first, BidirectionalIterator1 last,
2253e519524SHoward Hinnant                  BidirectionalIterator2 result);
2263e519524SHoward Hinnant
2273e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2>
228b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator2    // constexpr in C++20
2293e519524SHoward Hinnant    swap_ranges(ForwardIterator1 first1, ForwardIterator1 last1, ForwardIterator2 first2);
2303e519524SHoward Hinnant
2319d905319SNikolas Klausertemplate<input_iterator I1, sentinel_for<I1> S1, input_iterator I2, sentinel_for<I2> S2>
2329d905319SNikolas Klauser        requires indirectly_swappable<I1, I2>
2339d905319SNikolas Klauser    constexpr ranges::swap_ranges_result<I1, I2>
2349d905319SNikolas Klauser        ranges::swap_ranges(I1 first1, S1 last1, I2 first2, S2 last2);
2359d905319SNikolas Klauser
2369d905319SNikolas Klausertemplate<input_range R1, input_range R2>
2379d905319SNikolas Klauser        requires indirectly_swappable<iterator_t<R1>, iterator_t<R2>>
2389d905319SNikolas Klauser    constexpr ranges::swap_ranges_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>>
2399d905319SNikolas Klauser        ranges::swap_ranges(R1&& r1, R2&& r2);
2409d905319SNikolas Klauser
2413e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2>
242b8bc4e15SArthur O'Dwyer    constexpr void                // constexpr in C++20
2433e519524SHoward Hinnant    iter_swap(ForwardIterator1 a, ForwardIterator2 b);
2443e519524SHoward Hinnant
2453e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class UnaryOperation>
24699894b61SMarshall Clow    constexpr OutputIterator      // constexpr in C++20
2473e519524SHoward Hinnant    transform(InputIterator first, InputIterator last, OutputIterator result, UnaryOperation op);
2483e519524SHoward Hinnant
2493e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class BinaryOperation>
25099894b61SMarshall Clow    constexpr OutputIterator      // constexpr in C++20
2513e519524SHoward Hinnant    transform(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2,
2523e519524SHoward Hinnant              OutputIterator result, BinaryOperation binary_op);
2533e519524SHoward Hinnant
2543e519524SHoward Hinnanttemplate <class ForwardIterator, class T>
25512c7423fSMarshall Clow    constexpr void      // constexpr in C++20
2563e519524SHoward Hinnant    replace(ForwardIterator first, ForwardIterator last, const T& old_value, const T& new_value);
2573e519524SHoward Hinnant
2583e519524SHoward Hinnanttemplate <class ForwardIterator, class Predicate, class T>
25912c7423fSMarshall Clow    constexpr void      // constexpr in C++20
2603e519524SHoward Hinnant    replace_if(ForwardIterator first, ForwardIterator last, Predicate pred, const T& new_value);
2613e519524SHoward Hinnant
2623e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class T>
26312c7423fSMarshall Clow    constexpr OutputIterator      // constexpr in C++20
2643e519524SHoward Hinnant    replace_copy(InputIterator first, InputIterator last, OutputIterator result,
2653e519524SHoward Hinnant                 const T& old_value, const T& new_value);
2663e519524SHoward Hinnant
2673e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class Predicate, class T>
26812c7423fSMarshall Clow    constexpr OutputIterator      // constexpr in C++20
2693e519524SHoward Hinnant    replace_copy_if(InputIterator first, InputIterator last, OutputIterator result, Predicate pred, const T& new_value);
2703e519524SHoward Hinnant
2713e519524SHoward Hinnanttemplate <class ForwardIterator, class T>
2724bfb9313SMarshall Clow    constexpr void      // constexpr in C++20
2733e519524SHoward Hinnant    fill(ForwardIterator first, ForwardIterator last, const T& value);
2743e519524SHoward Hinnant
2753e519524SHoward Hinnanttemplate <class OutputIterator, class Size, class T>
2764bfb9313SMarshall Clow    constexpr OutputIterator      // constexpr in C++20
2773e519524SHoward Hinnant    fill_n(OutputIterator first, Size n, const T& value);
2783e519524SHoward Hinnant
2793e519524SHoward Hinnanttemplate <class ForwardIterator, class Generator>
2804bfb9313SMarshall Clow    constexpr void      // constexpr in C++20
2813e519524SHoward Hinnant    generate(ForwardIterator first, ForwardIterator last, Generator gen);
2823e519524SHoward Hinnant
2833e519524SHoward Hinnanttemplate <class OutputIterator, class Size, class Generator>
2844bfb9313SMarshall Clow    constexpr OutputIterator      // constexpr in C++20
2853e519524SHoward Hinnant    generate_n(OutputIterator first, Size n, Generator gen);
2863e519524SHoward Hinnant
2873e519524SHoward Hinnanttemplate <class ForwardIterator, class T>
288e8ea8296SMarshall Clow    constexpr ForwardIterator     // constexpr in C++20
2893e519524SHoward Hinnant    remove(ForwardIterator first, ForwardIterator last, const T& value);
2903e519524SHoward Hinnant
2913e519524SHoward Hinnanttemplate <class ForwardIterator, class Predicate>
292e8ea8296SMarshall Clow    constexpr ForwardIterator     // constexpr in C++20
2933e519524SHoward Hinnant    remove_if(ForwardIterator first, ForwardIterator last, Predicate pred);
2943e519524SHoward Hinnant
2953e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class T>
296e8ea8296SMarshall Clow    constexpr OutputIterator     // constexpr in C++20
2973e519524SHoward Hinnant    remove_copy(InputIterator first, InputIterator last, OutputIterator result, const T& value);
2983e519524SHoward Hinnant
2993e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class Predicate>
300e8ea8296SMarshall Clow    constexpr OutputIterator     // constexpr in C++20
3013e519524SHoward Hinnant    remove_copy_if(InputIterator first, InputIterator last, OutputIterator result, Predicate pred);
3023e519524SHoward Hinnant
3033e519524SHoward Hinnanttemplate <class ForwardIterator>
304b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator    // constexpr in C++20
3053e519524SHoward Hinnant    unique(ForwardIterator first, ForwardIterator last);
3063e519524SHoward Hinnant
3073e519524SHoward Hinnanttemplate <class ForwardIterator, class BinaryPredicate>
308b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator    // constexpr in C++20
3093e519524SHoward Hinnant    unique(ForwardIterator first, ForwardIterator last, BinaryPredicate pred);
3103e519524SHoward Hinnant
3113e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator>
312b8bc4e15SArthur O'Dwyer    constexpr OutputIterator     // constexpr in C++20
3133e519524SHoward Hinnant    unique_copy(InputIterator first, InputIterator last, OutputIterator result);
3143e519524SHoward Hinnant
3153e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class BinaryPredicate>
316b8bc4e15SArthur O'Dwyer    constexpr OutputIterator     // constexpr in C++20
3173e519524SHoward Hinnant    unique_copy(InputIterator first, InputIterator last, OutputIterator result, BinaryPredicate pred);
3183e519524SHoward Hinnant
3193e519524SHoward Hinnanttemplate <class BidirectionalIterator>
320f851db3dSArthur O'Dwyer    constexpr void               // constexpr in C++20
3213e519524SHoward Hinnant    reverse(BidirectionalIterator first, BidirectionalIterator last);
3223e519524SHoward Hinnant
3233e519524SHoward Hinnanttemplate <class BidirectionalIterator, class OutputIterator>
324e8ea8296SMarshall Clow    constexpr OutputIterator       // constexpr in C++20
3253e519524SHoward Hinnant    reverse_copy(BidirectionalIterator first, BidirectionalIterator last, OutputIterator result);
3263e519524SHoward Hinnant
3273e519524SHoward Hinnanttemplate <class ForwardIterator>
328b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator      // constexpr in C++20
3293e519524SHoward Hinnant    rotate(ForwardIterator first, ForwardIterator middle, ForwardIterator last);
3303e519524SHoward Hinnant
3313e519524SHoward Hinnanttemplate <class ForwardIterator, class OutputIterator>
332b8bc4e15SArthur O'Dwyer    constexpr OutputIterator       // constexpr in C++20
3333e519524SHoward Hinnant    rotate_copy(ForwardIterator first, ForwardIterator middle, ForwardIterator last, OutputIterator result);
3343e519524SHoward Hinnant
3353e519524SHoward Hinnanttemplate <class RandomAccessIterator>
3363e519524SHoward Hinnant    void
3370f37a410SMarshall Clow    random_shuffle(RandomAccessIterator first, RandomAccessIterator last); // deprecated in C++14, removed in C++17
3383e519524SHoward Hinnant
3393e519524SHoward Hinnanttemplate <class RandomAccessIterator, class RandomNumberGenerator>
3403e519524SHoward Hinnant    void
34106965c1fSMarshall Clow    random_shuffle(RandomAccessIterator first, RandomAccessIterator last,
3420f37a410SMarshall Clow                   RandomNumberGenerator& rand);  // deprecated in C++14, removed in C++17
3433e519524SHoward Hinnant
344e7154709SEric Fiseliertemplate<class PopulationIterator, class SampleIterator,
345e7154709SEric Fiselier         class Distance, class UniformRandomBitGenerator>
346e7154709SEric Fiselier    SampleIterator sample(PopulationIterator first, PopulationIterator last,
347e7154709SEric Fiselier                          SampleIterator out, Distance n,
348e7154709SEric Fiselier                          UniformRandomBitGenerator&& g); // C++17
349e7154709SEric Fiselier
350f9d540b0SHoward Hinnanttemplate<class RandomAccessIterator, class UniformRandomNumberGenerator>
351f9d540b0SHoward Hinnant    void shuffle(RandomAccessIterator first, RandomAccessIterator last,
352fb340102SHoward Hinnant                 UniformRandomNumberGenerator&& g);
353f9d540b0SHoward Hinnant
3543fbd3eafSArthur O'Dwyertemplate<class ForwardIterator>
3553fbd3eafSArthur O'Dwyer  constexpr ForwardIterator
3563fbd3eafSArthur O'Dwyer    shift_left(ForwardIterator first, ForwardIterator last,
3573fbd3eafSArthur O'Dwyer               typename iterator_traits<ForwardIterator>::difference_type n); // C++20
3583fbd3eafSArthur O'Dwyer
3593fbd3eafSArthur O'Dwyertemplate<class ForwardIterator>
3603fbd3eafSArthur O'Dwyer  constexpr ForwardIterator
3613fbd3eafSArthur O'Dwyer    shift_right(ForwardIterator first, ForwardIterator last,
3623fbd3eafSArthur O'Dwyer                typename iterator_traits<ForwardIterator>::difference_type n); // C++20
3633fbd3eafSArthur O'Dwyer
3643e519524SHoward Hinnanttemplate <class InputIterator, class Predicate>
36549c7643cSMarshall Clow    constexpr bool  // constexpr in C++20
3663e519524SHoward Hinnant    is_partitioned(InputIterator first, InputIterator last, Predicate pred);
3673e519524SHoward Hinnant
3683e519524SHoward Hinnanttemplate <class ForwardIterator, class Predicate>
369f851db3dSArthur O'Dwyer    constexpr ForwardIterator  // constexpr in C++20
3703e519524SHoward Hinnant    partition(ForwardIterator first, ForwardIterator last, Predicate pred);
3713e519524SHoward Hinnant
3723e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator1,
3733e519524SHoward Hinnant          class OutputIterator2, class Predicate>
3741b9a4ffdSMarshall Clow    constexpr pair<OutputIterator1, OutputIterator2>   // constexpr in C++20
3753e519524SHoward Hinnant    partition_copy(InputIterator first, InputIterator last,
3763e519524SHoward Hinnant                   OutputIterator1 out_true, OutputIterator2 out_false,
3773e519524SHoward Hinnant                   Predicate pred);
3783e519524SHoward Hinnant
3793e519524SHoward Hinnanttemplate <class ForwardIterator, class Predicate>
3803e519524SHoward Hinnant    ForwardIterator
3813e519524SHoward Hinnant    stable_partition(ForwardIterator first, ForwardIterator last, Predicate pred);
3823e519524SHoward Hinnant
3833e519524SHoward Hinnanttemplate<class ForwardIterator, class Predicate>
384d57c03ddSMarshall Clow    constexpr ForwardIterator  // constexpr in C++20
3853e519524SHoward Hinnant    partition_point(ForwardIterator first, ForwardIterator last, Predicate pred);
3863e519524SHoward Hinnant
3873e519524SHoward Hinnanttemplate <class ForwardIterator>
38849c7643cSMarshall Clow    constexpr bool  // constexpr in C++20
3893e519524SHoward Hinnant    is_sorted(ForwardIterator first, ForwardIterator last);
3903e519524SHoward Hinnant
3913e519524SHoward Hinnanttemplate <class ForwardIterator, class Compare>
392b8bc4e15SArthur O'Dwyer    constexpr bool  // constexpr in C++20
3933e519524SHoward Hinnant    is_sorted(ForwardIterator first, ForwardIterator last, Compare comp);
3943e519524SHoward Hinnant
3953e519524SHoward Hinnanttemplate<class ForwardIterator>
396056f15e3SMarshall Clow    constexpr ForwardIterator    // constexpr in C++20
3973e519524SHoward Hinnant    is_sorted_until(ForwardIterator first, ForwardIterator last);
3983e519524SHoward Hinnant
3993e519524SHoward Hinnanttemplate <class ForwardIterator, class Compare>
400056f15e3SMarshall Clow    constexpr ForwardIterator    // constexpr in C++20
4013e519524SHoward Hinnant    is_sorted_until(ForwardIterator first, ForwardIterator last, Compare comp);
4023e519524SHoward Hinnant
4033e519524SHoward Hinnanttemplate <class RandomAccessIterator>
404493f1407SArthur O'Dwyer    constexpr void               // constexpr in C++20
4053e519524SHoward Hinnant    sort(RandomAccessIterator first, RandomAccessIterator last);
4063e519524SHoward Hinnant
4073e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
408493f1407SArthur O'Dwyer    constexpr void               // constexpr in C++20
4093e519524SHoward Hinnant    sort(RandomAccessIterator first, RandomAccessIterator last, Compare comp);
4103e519524SHoward Hinnant
4113e519524SHoward Hinnanttemplate <class RandomAccessIterator>
4123e519524SHoward Hinnant    void
4133e519524SHoward Hinnant    stable_sort(RandomAccessIterator first, RandomAccessIterator last);
4143e519524SHoward Hinnant
4153e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
4163e519524SHoward Hinnant    void
4173e519524SHoward Hinnant    stable_sort(RandomAccessIterator first, RandomAccessIterator last, Compare comp);
4183e519524SHoward Hinnant
4193e519524SHoward Hinnanttemplate <class RandomAccessIterator>
4205386aa26SArthur O'Dwyer    constexpr void                    // constexpr in C++20
4213e519524SHoward Hinnant    partial_sort(RandomAccessIterator first, RandomAccessIterator middle, RandomAccessIterator last);
4223e519524SHoward Hinnant
4233e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
4245386aa26SArthur O'Dwyer    constexpr void                    // constexpr in C++20
4253e519524SHoward Hinnant    partial_sort(RandomAccessIterator first, RandomAccessIterator middle, RandomAccessIterator last, Compare comp);
4263e519524SHoward Hinnant
4273e519524SHoward Hinnanttemplate <class InputIterator, class RandomAccessIterator>
4285386aa26SArthur O'Dwyer    constexpr RandomAccessIterator    // constexpr in C++20
4293e519524SHoward Hinnant    partial_sort_copy(InputIterator first, InputIterator last,
4303e519524SHoward Hinnant                      RandomAccessIterator result_first, RandomAccessIterator result_last);
4313e519524SHoward Hinnant
4323e519524SHoward Hinnanttemplate <class InputIterator, class RandomAccessIterator, class Compare>
4335386aa26SArthur O'Dwyer    constexpr RandomAccessIterator    // constexpr in C++20
4343e519524SHoward Hinnant    partial_sort_copy(InputIterator first, InputIterator last,
4353e519524SHoward Hinnant                      RandomAccessIterator result_first, RandomAccessIterator result_last, Compare comp);
4363e519524SHoward Hinnant
4373e519524SHoward Hinnanttemplate <class RandomAccessIterator>
4385d956563SArthur O'Dwyer    constexpr void                    // constexpr in C++20
4393e519524SHoward Hinnant    nth_element(RandomAccessIterator first, RandomAccessIterator nth, RandomAccessIterator last);
4403e519524SHoward Hinnant
4413e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
4425d956563SArthur O'Dwyer    constexpr void                    // constexpr in C++20
4433e519524SHoward Hinnant    nth_element(RandomAccessIterator first, RandomAccessIterator nth, RandomAccessIterator last, Compare comp);
4443e519524SHoward Hinnant
4453e519524SHoward Hinnanttemplate <class ForwardIterator, class T>
446d57c03ddSMarshall Clow    constexpr ForwardIterator                         // constexpr in C++20
4473e519524SHoward Hinnant    lower_bound(ForwardIterator first, ForwardIterator last, const T& value);
4483e519524SHoward Hinnant
4493e519524SHoward Hinnanttemplate <class ForwardIterator, class T, class Compare>
450d57c03ddSMarshall Clow    constexpr ForwardIterator                         // constexpr in C++20
4513e519524SHoward Hinnant    lower_bound(ForwardIterator first, ForwardIterator last, const T& value, Compare comp);
4523e519524SHoward Hinnant
4533e519524SHoward Hinnanttemplate <class ForwardIterator, class T>
454d57c03ddSMarshall Clow    constexpr ForwardIterator                         // constexpr in C++20
4553e519524SHoward Hinnant    upper_bound(ForwardIterator first, ForwardIterator last, const T& value);
4563e519524SHoward Hinnant
4573e519524SHoward Hinnanttemplate <class ForwardIterator, class T, class Compare>
458d57c03ddSMarshall Clow    constexpr ForwardIterator                         // constexpr in C++20
4593e519524SHoward Hinnant    upper_bound(ForwardIterator first, ForwardIterator last, const T& value, Compare comp);
4603e519524SHoward Hinnant
4613e519524SHoward Hinnanttemplate <class ForwardIterator, class T>
462d57c03ddSMarshall Clow    constexpr pair<ForwardIterator, ForwardIterator>  // constexpr in C++20
4633e519524SHoward Hinnant    equal_range(ForwardIterator first, ForwardIterator last, const T& value);
4643e519524SHoward Hinnant
4653e519524SHoward Hinnanttemplate <class ForwardIterator, class T, class Compare>
466d57c03ddSMarshall Clow    constexpr pair<ForwardIterator, ForwardIterator>  // constexpr in C++20
4673e519524SHoward Hinnant    equal_range(ForwardIterator first, ForwardIterator last, const T& value, Compare comp);
4683e519524SHoward Hinnant
4693e519524SHoward Hinnanttemplate <class ForwardIterator, class T>
470d57c03ddSMarshall Clow    constexpr bool                                    // constexpr in C++20
4713e519524SHoward Hinnant    binary_search(ForwardIterator first, ForwardIterator last, const T& value);
4723e519524SHoward Hinnant
4733e519524SHoward Hinnanttemplate <class ForwardIterator, class T, class Compare>
4748da1a487SMarshall Clow    constexpr bool                                    // constexpr in C++20
4753e519524SHoward Hinnant    binary_search(ForwardIterator first, ForwardIterator last, const T& value, Compare comp);
4763e519524SHoward Hinnant
4773e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator>
47814098cf6SArthur O'Dwyer    constexpr OutputIterator                          // constexpr in C++20
4793e519524SHoward Hinnant    merge(InputIterator1 first1, InputIterator1 last1,
4803e519524SHoward Hinnant          InputIterator2 first2, InputIterator2 last2, OutputIterator result);
4813e519524SHoward Hinnant
4823e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class Compare>
48314098cf6SArthur O'Dwyer    constexpr OutputIterator                          // constexpr in C++20
4843e519524SHoward Hinnant    merge(InputIterator1 first1, InputIterator1 last1,
4853e519524SHoward Hinnant          InputIterator2 first2, InputIterator2 last2, OutputIterator result, Compare comp);
4863e519524SHoward Hinnant
4873e519524SHoward Hinnanttemplate <class BidirectionalIterator>
4883e519524SHoward Hinnant    void
4893e519524SHoward Hinnant    inplace_merge(BidirectionalIterator first, BidirectionalIterator middle, BidirectionalIterator last);
4903e519524SHoward Hinnant
4913e519524SHoward Hinnanttemplate <class BidirectionalIterator, class Compare>
4923e519524SHoward Hinnant    void
4933e519524SHoward Hinnant    inplace_merge(BidirectionalIterator first, BidirectionalIterator middle, BidirectionalIterator last, Compare comp);
4943e519524SHoward Hinnant
4953e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2>
4968da1a487SMarshall Clow    constexpr bool                                    // constexpr in C++20
4973e519524SHoward Hinnant    includes(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2 last2);
4983e519524SHoward Hinnant
4993e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class Compare>
5008da1a487SMarshall Clow    constexpr bool                                    // constexpr in C++20
5013e519524SHoward Hinnant    includes(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2 last2, Compare comp);
5023e519524SHoward Hinnant
5033e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator>
50414098cf6SArthur O'Dwyer    constexpr OutputIterator                          // constexpr in C++20
5053e519524SHoward Hinnant    set_union(InputIterator1 first1, InputIterator1 last1,
5063e519524SHoward Hinnant              InputIterator2 first2, InputIterator2 last2, OutputIterator result);
5073e519524SHoward Hinnant
5083e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class Compare>
50914098cf6SArthur O'Dwyer    constexpr OutputIterator                          // constexpr in C++20
5103e519524SHoward Hinnant    set_union(InputIterator1 first1, InputIterator1 last1,
5113e519524SHoward Hinnant              InputIterator2 first2, InputIterator2 last2, OutputIterator result, Compare comp);
5123e519524SHoward Hinnant
5133e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator>
5148da1a487SMarshall Clow    constexpr OutputIterator                         // constexpr in C++20
5153e519524SHoward Hinnant    set_intersection(InputIterator1 first1, InputIterator1 last1,
5163e519524SHoward Hinnant                     InputIterator2 first2, InputIterator2 last2, OutputIterator result);
5173e519524SHoward Hinnant
5183e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class Compare>
5198da1a487SMarshall Clow    constexpr OutputIterator                         // constexpr in C++20
5203e519524SHoward Hinnant    set_intersection(InputIterator1 first1, InputIterator1 last1,
5213e519524SHoward Hinnant                     InputIterator2 first2, InputIterator2 last2, OutputIterator result, Compare comp);
5223e519524SHoward Hinnant
5233e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator>
52414098cf6SArthur O'Dwyer    constexpr OutputIterator                         // constexpr in C++20
5253e519524SHoward Hinnant    set_difference(InputIterator1 first1, InputIterator1 last1,
5263e519524SHoward Hinnant                   InputIterator2 first2, InputIterator2 last2, OutputIterator result);
5273e519524SHoward Hinnant
5283e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class Compare>
52914098cf6SArthur O'Dwyer    constexpr OutputIterator                         // constexpr in C++20
5303e519524SHoward Hinnant    set_difference(InputIterator1 first1, InputIterator1 last1,
5313e519524SHoward Hinnant                   InputIterator2 first2, InputIterator2 last2, OutputIterator result, Compare comp);
5323e519524SHoward Hinnant
5333e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator>
53414098cf6SArthur O'Dwyer    constexpr OutputIterator                         // constexpr in C++20
5353e519524SHoward Hinnant    set_symmetric_difference(InputIterator1 first1, InputIterator1 last1,
5363e519524SHoward Hinnant                             InputIterator2 first2, InputIterator2 last2, OutputIterator result);
5373e519524SHoward Hinnant
5383e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class Compare>
53914098cf6SArthur O'Dwyer    constexpr OutputIterator                         // constexpr in C++20
5403e519524SHoward Hinnant    set_symmetric_difference(InputIterator1 first1, InputIterator1 last1,
5413e519524SHoward Hinnant                             InputIterator2 first2, InputIterator2 last2, OutputIterator result, Compare comp);
5423e519524SHoward Hinnant
5433e519524SHoward Hinnanttemplate <class RandomAccessIterator>
5445386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
5453e519524SHoward Hinnant    push_heap(RandomAccessIterator first, RandomAccessIterator last);
5463e519524SHoward Hinnant
5473e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
5485386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
5493e519524SHoward Hinnant    push_heap(RandomAccessIterator first, RandomAccessIterator last, Compare comp);
5503e519524SHoward Hinnant
5513e519524SHoward Hinnanttemplate <class RandomAccessIterator>
5525386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
5533e519524SHoward Hinnant    pop_heap(RandomAccessIterator first, RandomAccessIterator last);
5543e519524SHoward Hinnant
5553e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
5565386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
5573e519524SHoward Hinnant    pop_heap(RandomAccessIterator first, RandomAccessIterator last, Compare comp);
5583e519524SHoward Hinnant
5593e519524SHoward Hinnanttemplate <class RandomAccessIterator>
5605386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
5613e519524SHoward Hinnant    make_heap(RandomAccessIterator first, RandomAccessIterator last);
5623e519524SHoward Hinnant
5633e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
5645386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
5653e519524SHoward Hinnant    make_heap(RandomAccessIterator first, RandomAccessIterator last, Compare comp);
5663e519524SHoward Hinnant
5673e519524SHoward Hinnanttemplate <class RandomAccessIterator>
5685386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
5693e519524SHoward Hinnant    sort_heap(RandomAccessIterator first, RandomAccessIterator last);
5703e519524SHoward Hinnant
5713e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
5725386aa26SArthur O'Dwyer    constexpr void                                   // constexpr in C++20
5733e519524SHoward Hinnant    sort_heap(RandomAccessIterator first, RandomAccessIterator last, Compare comp);
5743e519524SHoward Hinnant
5753e519524SHoward Hinnanttemplate <class RandomAccessIterator>
57649c7643cSMarshall Clow    constexpr bool   // constexpr in C++20
5773e519524SHoward Hinnant    is_heap(RandomAccessIterator first, RandomAccessiterator last);
5783e519524SHoward Hinnant
5793e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
58049c7643cSMarshall Clow    constexpr bool   // constexpr in C++20
5813e519524SHoward Hinnant    is_heap(RandomAccessIterator first, RandomAccessiterator last, Compare comp);
5823e519524SHoward Hinnant
5833e519524SHoward Hinnanttemplate <class RandomAccessIterator>
58449c7643cSMarshall Clow    constexpr RandomAccessIterator   // constexpr in C++20
5853e519524SHoward Hinnant    is_heap_until(RandomAccessIterator first, RandomAccessiterator last);
5863e519524SHoward Hinnant
5873e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare>
58849c7643cSMarshall Clow    constexpr RandomAccessIterator   // constexpr in C++20
5893e519524SHoward Hinnant    is_heap_until(RandomAccessIterator first, RandomAccessiterator last, Compare comp);
5903e519524SHoward Hinnant
5914eb27b79SHoward Hinnanttemplate <class ForwardIterator>
592b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator        // constexpr in C++14
593b8bc4e15SArthur O'Dwyer    min_element(ForwardIterator first, ForwardIterator last);
5944eb27b79SHoward Hinnant
5954eb27b79SHoward Hinnanttemplate <class ForwardIterator, class Compare>
596b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator        // constexpr in C++14
597b8bc4e15SArthur O'Dwyer    min_element(ForwardIterator first, ForwardIterator last, Compare comp);
5984eb27b79SHoward Hinnant
5993e519524SHoward Hinnanttemplate <class T>
600b8bc4e15SArthur O'Dwyer    constexpr const T&               // constexpr in C++14
601b8bc4e15SArthur O'Dwyer    min(const T& a, const T& b);
6023e519524SHoward Hinnant
6033e519524SHoward Hinnanttemplate <class T, class Compare>
604b8bc4e15SArthur O'Dwyer    constexpr const T&               // constexpr in C++14
605b8bc4e15SArthur O'Dwyer    min(const T& a, const T& b, Compare comp);
6063e519524SHoward Hinnant
6073e519524SHoward Hinnanttemplate<class T>
608b8bc4e15SArthur O'Dwyer    constexpr T                      // constexpr in C++14
609b8bc4e15SArthur O'Dwyer    min(initializer_list<T> t);
6103e519524SHoward Hinnant
6113e519524SHoward Hinnanttemplate<class T, class Compare>
612b8bc4e15SArthur O'Dwyer    constexpr T                      // constexpr in C++14
613b8bc4e15SArthur O'Dwyer    min(initializer_list<T> t, Compare comp);
6143e519524SHoward Hinnant
615146c14acSMarshall Clowtemplate<class T>
616146c14acSMarshall Clow    constexpr const T& clamp(const T& v, const T& lo, const T& hi);               // C++17
617146c14acSMarshall Clow
618146c14acSMarshall Clowtemplate<class T, class Compare>
619146c14acSMarshall Clow    constexpr const T& clamp(const T& v, const T& lo, const T& hi, Compare comp); // C++17
620146c14acSMarshall Clow
6213e519524SHoward Hinnanttemplate <class ForwardIterator>
622b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator        // constexpr in C++14
623b8bc4e15SArthur O'Dwyer    max_element(ForwardIterator first, ForwardIterator last);
6243e519524SHoward Hinnant
6253e519524SHoward Hinnanttemplate <class ForwardIterator, class Compare>
626b8bc4e15SArthur O'Dwyer    constexpr ForwardIterator        // constexpr in C++14
627b8bc4e15SArthur O'Dwyer    max_element(ForwardIterator first, ForwardIterator last, Compare comp);
6283e519524SHoward Hinnant
6294eb27b79SHoward Hinnanttemplate <class T>
630b8bc4e15SArthur O'Dwyer    constexpr const T&               // constexpr in C++14
631b8bc4e15SArthur O'Dwyer    max(const T& a, const T& b);
6324eb27b79SHoward Hinnant
6334eb27b79SHoward Hinnanttemplate <class T, class Compare>
634b8bc4e15SArthur O'Dwyer    constexpr const T&               // constexpr in C++14
635b8bc4e15SArthur O'Dwyer    max(const T& a, const T& b, Compare comp);
6364eb27b79SHoward Hinnant
6374eb27b79SHoward Hinnanttemplate<class T>
638b8bc4e15SArthur O'Dwyer    constexpr T                      // constexpr in C++14
639b8bc4e15SArthur O'Dwyer    max(initializer_list<T> t);
6404eb27b79SHoward Hinnant
6414eb27b79SHoward Hinnanttemplate<class T, class Compare>
642b8bc4e15SArthur O'Dwyer    constexpr T                      // constexpr in C++14
643b8bc4e15SArthur O'Dwyer    max(initializer_list<T> t, Compare comp);
6444eb27b79SHoward Hinnant
6454eb27b79SHoward Hinnanttemplate<class ForwardIterator>
646b8bc4e15SArthur O'Dwyer    constexpr pair<ForwardIterator, ForwardIterator>  // constexpr in C++14
647b8bc4e15SArthur O'Dwyer    minmax_element(ForwardIterator first, ForwardIterator last);
6484eb27b79SHoward Hinnant
6494eb27b79SHoward Hinnanttemplate<class ForwardIterator, class Compare>
650b8bc4e15SArthur O'Dwyer    constexpr pair<ForwardIterator, ForwardIterator>  // constexpr in C++14
651b8bc4e15SArthur O'Dwyer    minmax_element(ForwardIterator first, ForwardIterator last, Compare comp);
6524eb27b79SHoward Hinnant
6534eb27b79SHoward Hinnanttemplate<class T>
654b8bc4e15SArthur O'Dwyer    constexpr pair<const T&, const T&>  // constexpr in C++14
655b8bc4e15SArthur O'Dwyer    minmax(const T& a, const T& b);
6564eb27b79SHoward Hinnant
6574eb27b79SHoward Hinnanttemplate<class T, class Compare>
658b8bc4e15SArthur O'Dwyer    constexpr pair<const T&, const T&>  // constexpr in C++14
659b8bc4e15SArthur O'Dwyer    minmax(const T& a, const T& b, Compare comp);
6604eb27b79SHoward Hinnant
6614eb27b79SHoward Hinnanttemplate<class T>
662b8bc4e15SArthur O'Dwyer    constexpr pair<T, T>                // constexpr in C++14
663b8bc4e15SArthur O'Dwyer    minmax(initializer_list<T> t);
6644eb27b79SHoward Hinnant
6654eb27b79SHoward Hinnanttemplate<class T, class Compare>
666b8bc4e15SArthur O'Dwyer    constexpr pair<T, T>                // constexpr in C++14
667b8bc4e15SArthur O'Dwyer    minmax(initializer_list<T> t, Compare comp);
6684eb27b79SHoward Hinnant
6693e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2>
6701b9a4ffdSMarshall Clow    constexpr bool     // constexpr in C++20
6713e519524SHoward Hinnant    lexicographical_compare(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2 last2);
6723e519524SHoward Hinnant
6733e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class Compare>
6741b9a4ffdSMarshall Clow    constexpr bool     // constexpr in C++20
6753e519524SHoward Hinnant    lexicographical_compare(InputIterator1 first1, InputIterator1 last1,
6763e519524SHoward Hinnant                            InputIterator2 first2, InputIterator2 last2, Compare comp);
6773e519524SHoward Hinnant
6783e519524SHoward Hinnanttemplate <class BidirectionalIterator>
679f851db3dSArthur O'Dwyer    constexpr bool     // constexpr in C++20
6803e519524SHoward Hinnant    next_permutation(BidirectionalIterator first, BidirectionalIterator last);
6813e519524SHoward Hinnant
6823e519524SHoward Hinnanttemplate <class BidirectionalIterator, class Compare>
683f851db3dSArthur O'Dwyer    constexpr bool     // constexpr in C++20
6843e519524SHoward Hinnant    next_permutation(BidirectionalIterator first, BidirectionalIterator last, Compare comp);
6853e519524SHoward Hinnant
6863e519524SHoward Hinnanttemplate <class BidirectionalIterator>
687f851db3dSArthur O'Dwyer    constexpr bool     // constexpr in C++20
6883e519524SHoward Hinnant    prev_permutation(BidirectionalIterator first, BidirectionalIterator last);
6893e519524SHoward Hinnant
6903e519524SHoward Hinnanttemplate <class BidirectionalIterator, class Compare>
691f851db3dSArthur O'Dwyer    constexpr bool     // constexpr in C++20
6923e519524SHoward Hinnant    prev_permutation(BidirectionalIterator first, BidirectionalIterator last, Compare comp);
6933e519524SHoward Hinnant}  // std
6943e519524SHoward Hinnant
6953e519524SHoward Hinnant*/
6963e519524SHoward Hinnant
697ea2206d7SArthur O'Dwyer#include <__bits>
6983e519524SHoward Hinnant#include <__config>
699134723edSLouis Dionne#include <__debug>
700a1d07d57SHoward Hinnant#include <cstddef>
701bfbd73f8SArthur O'Dwyer#include <cstring>
702bfbd73f8SArthur O'Dwyer#include <functional>
703bfbd73f8SArthur O'Dwyer#include <initializer_list>
704bfbd73f8SArthur O'Dwyer#include <iterator>
705bfbd73f8SArthur O'Dwyer#include <memory>
706bfbd73f8SArthur O'Dwyer#include <type_traits>
707f56972e2SMarshall Clow#include <version>
7085d1a701dSHoward Hinnant
70952915d78SNikolas Klauser#include <utility> // TODO: Remove this
71052915d78SNikolas Klauser
711134723edSLouis Dionne#include <__algorithm/adjacent_find.h>
712134723edSLouis Dionne#include <__algorithm/all_of.h>
713134723edSLouis Dionne#include <__algorithm/any_of.h>
714134723edSLouis Dionne#include <__algorithm/binary_search.h>
715134723edSLouis Dionne#include <__algorithm/clamp.h>
716134723edSLouis Dionne#include <__algorithm/comp.h>
717134723edSLouis Dionne#include <__algorithm/comp_ref_type.h>
718134723edSLouis Dionne#include <__algorithm/copy.h>
719134723edSLouis Dionne#include <__algorithm/copy_backward.h>
720134723edSLouis Dionne#include <__algorithm/copy_if.h>
721134723edSLouis Dionne#include <__algorithm/copy_n.h>
722134723edSLouis Dionne#include <__algorithm/count.h>
723134723edSLouis Dionne#include <__algorithm/count_if.h>
724134723edSLouis Dionne#include <__algorithm/equal.h>
725134723edSLouis Dionne#include <__algorithm/equal_range.h>
726134723edSLouis Dionne#include <__algorithm/fill.h>
7274d81a46fSArthur O'Dwyer#include <__algorithm/fill_n.h>
728134723edSLouis Dionne#include <__algorithm/find.h>
729134723edSLouis Dionne#include <__algorithm/find_end.h>
730134723edSLouis Dionne#include <__algorithm/find_first_of.h>
731134723edSLouis Dionne#include <__algorithm/find_if.h>
732134723edSLouis Dionne#include <__algorithm/find_if_not.h>
733134723edSLouis Dionne#include <__algorithm/for_each.h>
734134723edSLouis Dionne#include <__algorithm/for_each_n.h>
735134723edSLouis Dionne#include <__algorithm/generate.h>
7364d81a46fSArthur O'Dwyer#include <__algorithm/generate_n.h>
737134723edSLouis Dionne#include <__algorithm/half_positive.h>
73868f4131cSNikolas Klauser#include <__algorithm/in_found_result.h>
7391e77b396SNikolas Klauser#include <__algorithm/in_fun_result.h>
740f3514af4SNikolas Klauser#include <__algorithm/in_in_out_result.h>
741d3729bb3SNikolas Klauser#include <__algorithm/in_in_result.h>
742610979b3SNikolas Klauser#include <__algorithm/in_out_out_result.h>
7438d23b742SKonstantin Varlamov#include <__algorithm/in_out_result.h>
744134723edSLouis Dionne#include <__algorithm/includes.h>
745134723edSLouis Dionne#include <__algorithm/inplace_merge.h>
746134723edSLouis Dionne#include <__algorithm/is_heap.h>
747134723edSLouis Dionne#include <__algorithm/is_heap_until.h>
748134723edSLouis Dionne#include <__algorithm/is_partitioned.h>
749134723edSLouis Dionne#include <__algorithm/is_permutation.h>
750134723edSLouis Dionne#include <__algorithm/is_sorted.h>
751134723edSLouis Dionne#include <__algorithm/is_sorted_until.h>
7526adbc83eSChristopher Di Bella#include <__algorithm/iter_swap.h>
753134723edSLouis Dionne#include <__algorithm/lexicographical_compare.h>
754134723edSLouis Dionne#include <__algorithm/lower_bound.h>
755134723edSLouis Dionne#include <__algorithm/make_heap.h>
756134723edSLouis Dionne#include <__algorithm/max.h>
757134723edSLouis Dionne#include <__algorithm/max_element.h>
758134723edSLouis Dionne#include <__algorithm/merge.h>
759134723edSLouis Dionne#include <__algorithm/min.h>
760134723edSLouis Dionne#include <__algorithm/min_element.h>
761807766beSNikolas Klauser#include <__algorithm/min_max_result.h>
762134723edSLouis Dionne#include <__algorithm/minmax.h>
763134723edSLouis Dionne#include <__algorithm/minmax_element.h>
764134723edSLouis Dionne#include <__algorithm/mismatch.h>
765134723edSLouis Dionne#include <__algorithm/move.h>
766134723edSLouis Dionne#include <__algorithm/move_backward.h>
767134723edSLouis Dionne#include <__algorithm/next_permutation.h>
768134723edSLouis Dionne#include <__algorithm/none_of.h>
769134723edSLouis Dionne#include <__algorithm/nth_element.h>
770134723edSLouis Dionne#include <__algorithm/partial_sort.h>
771134723edSLouis Dionne#include <__algorithm/partial_sort_copy.h>
772134723edSLouis Dionne#include <__algorithm/partition.h>
773134723edSLouis Dionne#include <__algorithm/partition_copy.h>
774134723edSLouis Dionne#include <__algorithm/partition_point.h>
775134723edSLouis Dionne#include <__algorithm/pop_heap.h>
776134723edSLouis Dionne#include <__algorithm/prev_permutation.h>
777134723edSLouis Dionne#include <__algorithm/push_heap.h>
778205557c9SNikolas Klauser#include <__algorithm/ranges_max_element.h>
7793b470d1cSNikolas Klauser#include <__algorithm/ranges_min_element.h>
780*c2cd15a6SNikolas Klauser#include <__algorithm/ranges_mismatch.h>
7819d905319SNikolas Klauser#include <__algorithm/ranges_swap_ranges.h>
782134723edSLouis Dionne#include <__algorithm/remove.h>
783134723edSLouis Dionne#include <__algorithm/remove_copy.h>
784134723edSLouis Dionne#include <__algorithm/remove_copy_if.h>
785134723edSLouis Dionne#include <__algorithm/remove_if.h>
786134723edSLouis Dionne#include <__algorithm/replace.h>
787134723edSLouis Dionne#include <__algorithm/replace_copy.h>
788134723edSLouis Dionne#include <__algorithm/replace_copy_if.h>
789134723edSLouis Dionne#include <__algorithm/replace_if.h>
790134723edSLouis Dionne#include <__algorithm/reverse.h>
791134723edSLouis Dionne#include <__algorithm/reverse_copy.h>
792134723edSLouis Dionne#include <__algorithm/rotate.h>
793134723edSLouis Dionne#include <__algorithm/rotate_copy.h>
794134723edSLouis Dionne#include <__algorithm/sample.h>
795134723edSLouis Dionne#include <__algorithm/search.h>
796134723edSLouis Dionne#include <__algorithm/search_n.h>
797134723edSLouis Dionne#include <__algorithm/set_difference.h>
798134723edSLouis Dionne#include <__algorithm/set_intersection.h>
799134723edSLouis Dionne#include <__algorithm/set_symmetric_difference.h>
800134723edSLouis Dionne#include <__algorithm/set_union.h>
801134723edSLouis Dionne#include <__algorithm/shift_left.h>
802134723edSLouis Dionne#include <__algorithm/shift_right.h>
803134723edSLouis Dionne#include <__algorithm/shuffle.h>
804134723edSLouis Dionne#include <__algorithm/sift_down.h>
805134723edSLouis Dionne#include <__algorithm/sort.h>
806134723edSLouis Dionne#include <__algorithm/sort_heap.h>
807134723edSLouis Dionne#include <__algorithm/stable_partition.h>
808134723edSLouis Dionne#include <__algorithm/stable_sort.h>
8096adbc83eSChristopher Di Bella#include <__algorithm/swap_ranges.h>
810134723edSLouis Dionne#include <__algorithm/transform.h>
811134723edSLouis Dionne#include <__algorithm/unique.h>
8124d81a46fSArthur O'Dwyer#include <__algorithm/unique_copy.h>
813134723edSLouis Dionne#include <__algorithm/unwrap_iter.h>
814134723edSLouis Dionne#include <__algorithm/upper_bound.h>
815c1bd9197SEric Fiselier
816073458b1SHoward Hinnant#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
8173e519524SHoward Hinnant#  pragma GCC system_header
818073458b1SHoward Hinnant#endif
8193e519524SHoward Hinnant
8200a06eb91SLouis Dionne#if defined(_LIBCPP_HAS_PARALLEL_ALGORITHMS) && _LIBCPP_STD_VER >= 17
82195689243SLouis Dionne#   include <__pstl_algorithm>
8220a06eb91SLouis Dionne#endif
8230a06eb91SLouis Dionne
8243e519524SHoward Hinnant#endif // _LIBCPP_ALGORITHM
825