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 9 #ifndef _LIBCPP___ALGORITHM_IS_HEAP_H 10 #define _LIBCPP___ALGORITHM_IS_HEAP_H 11 12 #include <__algorithm/comp.h> 13 #include <__algorithm/comp_ref_type.h> 14 #include <__algorithm/is_heap_until.h> 15 #include <__config> 16 #include <__iterator/iterator_traits.h> 17 18 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 19 # pragma GCC system_header 20 #endif 21 22 _LIBCPP_BEGIN_NAMESPACE_STD 23 24 template <class _RandomAccessIterator, class _Compare> 25 _LIBCPP_NODISCARD_EXT inline 26 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX17 27 bool 28 is_heap(_RandomAccessIterator __first, _RandomAccessIterator __last, _Compare __comp) 29 { 30 typedef typename __comp_ref_type<_Compare>::type _Comp_ref; 31 return std::__is_heap_until(__first, __last, static_cast<_Comp_ref>(__comp)) == __last; 32 } 33 34 template<class _RandomAccessIterator> 35 _LIBCPP_NODISCARD_EXT inline 36 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX17 37 bool 38 is_heap(_RandomAccessIterator __first, _RandomAccessIterator __last) 39 { 40 return _VSTD::is_heap(__first, __last, __less<typename iterator_traits<_RandomAccessIterator>::value_type>()); 41 } 42 43 _LIBCPP_END_NAMESPACE_STD 44 45 #endif // _LIBCPP___ALGORITHM_IS_HEAP_H 46