next_permutation.h 2.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172
  1. //===----------------------------------------------------------------------===//
  2. //
  3. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
  4. // See https://llvm.org/LICENSE.txt for license information.
  5. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  6. //
  7. //===----------------------------------------------------------------------===//
  8. #ifndef _LIBCPP___ALGORITHM_NEXT_PERMUTATION_H
  9. #define _LIBCPP___ALGORITHM_NEXT_PERMUTATION_H
  10. #include <__algorithm/comp.h>
  11. #include <__algorithm/comp_ref_type.h>
  12. #include <__algorithm/reverse.h>
  13. #include <__config>
  14. #include <__iterator/iterator_traits.h>
  15. #include <__utility/swap.h>
  16. #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  17. # pragma GCC system_header
  18. #endif
  19. _LIBCPP_BEGIN_NAMESPACE_STD
  20. template <class _Compare, class _BidirectionalIterator>
  21. _LIBCPP_CONSTEXPR_AFTER_CXX17 bool
  22. __next_permutation(_BidirectionalIterator __first, _BidirectionalIterator __last, _Compare __comp)
  23. {
  24. _BidirectionalIterator __i = __last;
  25. if (__first == __last || __first == --__i)
  26. return false;
  27. while (true)
  28. {
  29. _BidirectionalIterator __ip1 = __i;
  30. if (__comp(*--__i, *__ip1))
  31. {
  32. _BidirectionalIterator __j = __last;
  33. while (!__comp(*__i, *--__j))
  34. ;
  35. swap(*__i, *__j);
  36. _VSTD::reverse(__ip1, __last);
  37. return true;
  38. }
  39. if (__i == __first)
  40. {
  41. _VSTD::reverse(__first, __last);
  42. return false;
  43. }
  44. }
  45. }
  46. template <class _BidirectionalIterator, class _Compare>
  47. inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX17
  48. bool
  49. next_permutation(_BidirectionalIterator __first, _BidirectionalIterator __last, _Compare __comp)
  50. {
  51. typedef typename __comp_ref_type<_Compare>::type _Comp_ref;
  52. return _VSTD::__next_permutation<_Comp_ref>(__first, __last, __comp);
  53. }
  54. template <class _BidirectionalIterator>
  55. inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX17
  56. bool
  57. next_permutation(_BidirectionalIterator __first, _BidirectionalIterator __last)
  58. {
  59. return _VSTD::next_permutation(__first, __last,
  60. __less<typename iterator_traits<_BidirectionalIterator>::value_type>());
  61. }
  62. _LIBCPP_END_NAMESPACE_STD
  63. #endif // _LIBCPP___ALGORITHM_NEXT_PERMUTATION_H