176d0caaeSpatrick //===----------------------------------------------------------------------===//
276d0caaeSpatrick //
376d0caaeSpatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
476d0caaeSpatrick // See https://llvm.org/LICENSE.txt for license information.
576d0caaeSpatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
676d0caaeSpatrick //
776d0caaeSpatrick //===----------------------------------------------------------------------===//
876d0caaeSpatrick
976d0caaeSpatrick #ifndef _LIBCPP___ALGORITHM_BINARY_SEARCH_H
1076d0caaeSpatrick #define _LIBCPP___ALGORITHM_BINARY_SEARCH_H
1176d0caaeSpatrick
1276d0caaeSpatrick #include <__algorithm/comp.h>
1376d0caaeSpatrick #include <__algorithm/comp_ref_type.h>
14*4bdff4beSrobert #include <__algorithm/lower_bound.h>
15*4bdff4beSrobert #include <__config>
1676d0caaeSpatrick #include <__iterator/iterator_traits.h>
1776d0caaeSpatrick
1876d0caaeSpatrick #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
1976d0caaeSpatrick # pragma GCC system_header
2076d0caaeSpatrick #endif
2176d0caaeSpatrick
2276d0caaeSpatrick _LIBCPP_BEGIN_NAMESPACE_STD
2376d0caaeSpatrick
2476d0caaeSpatrick template <class _ForwardIterator, class _Tp, class _Compare>
2576d0caaeSpatrick _LIBCPP_NODISCARD_EXT inline
26*4bdff4beSrobert _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX20
2776d0caaeSpatrick bool
binary_search(_ForwardIterator __first,_ForwardIterator __last,const _Tp & __value,_Compare __comp)28*4bdff4beSrobert binary_search(_ForwardIterator __first, _ForwardIterator __last, const _Tp& __value, _Compare __comp)
2976d0caaeSpatrick {
30*4bdff4beSrobert __first = std::lower_bound<_ForwardIterator, _Tp, __comp_ref_type<_Compare> >(__first, __last, __value, __comp);
31*4bdff4beSrobert return __first != __last && !__comp(__value, *__first);
3276d0caaeSpatrick }
3376d0caaeSpatrick
3476d0caaeSpatrick template <class _ForwardIterator, class _Tp>
3576d0caaeSpatrick _LIBCPP_NODISCARD_EXT inline
36*4bdff4beSrobert _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX20
3776d0caaeSpatrick bool
binary_search(_ForwardIterator __first,_ForwardIterator __last,const _Tp & __value)38*4bdff4beSrobert binary_search(_ForwardIterator __first, _ForwardIterator __last, const _Tp& __value)
3976d0caaeSpatrick {
40*4bdff4beSrobert return std::binary_search(__first, __last, __value,
4176d0caaeSpatrick __less<typename iterator_traits<_ForwardIterator>::value_type, _Tp>());
4276d0caaeSpatrick }
4376d0caaeSpatrick
4476d0caaeSpatrick _LIBCPP_END_NAMESPACE_STD
4576d0caaeSpatrick
4676d0caaeSpatrick #endif // _LIBCPP___ALGORITHM_BINARY_SEARCH_H
47