Chris@16
|
1 // Copyright Neil Groves 2009. Use, modification and
|
Chris@16
|
2 // distribution is subject to the Boost Software License, Version
|
Chris@16
|
3 // 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
Chris@16
|
4 // http://www.boost.org/LICENSE_1_0.txt)
|
Chris@16
|
5 //
|
Chris@16
|
6 //
|
Chris@16
|
7 // For more information, see http://www.boost.org/libs/range/
|
Chris@16
|
8 //
|
Chris@16
|
9 #ifndef BOOST_RANGE_ALGORITHM_LOWER_BOUND_HPP_INCLUDED
|
Chris@16
|
10 #define BOOST_RANGE_ALGORITHM_LOWER_BOUND_HPP_INCLUDED
|
Chris@16
|
11
|
Chris@16
|
12 #include <boost/concept_check.hpp>
|
Chris@16
|
13 #include <boost/range/begin.hpp>
|
Chris@16
|
14 #include <boost/range/end.hpp>
|
Chris@16
|
15 #include <boost/range/concepts.hpp>
|
Chris@16
|
16 #include <boost/range/detail/range_return.hpp>
|
Chris@16
|
17 #include <algorithm>
|
Chris@16
|
18
|
Chris@16
|
19 namespace boost
|
Chris@16
|
20 {
|
Chris@16
|
21 namespace range
|
Chris@16
|
22 {
|
Chris@16
|
23
|
Chris@16
|
24 /// \brief template function lower_bound
|
Chris@16
|
25 ///
|
Chris@16
|
26 /// range-based version of the lower_bound std algorithm
|
Chris@16
|
27 ///
|
Chris@16
|
28 /// \pre ForwardRange is a model of the ForwardRangeConcept
|
Chris@16
|
29 template< class ForwardRange, class Value >
|
Chris@16
|
30 inline BOOST_DEDUCED_TYPENAME disable_if<
|
Chris@16
|
31 is_const<ForwardRange>,
|
Chris@16
|
32 BOOST_DEDUCED_TYPENAME range_iterator<ForwardRange>::type
|
Chris@16
|
33 >::type
|
Chris@16
|
34 lower_bound( ForwardRange& rng, Value val )
|
Chris@16
|
35 {
|
Chris@16
|
36 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<ForwardRange> ));
|
Chris@16
|
37 return std::lower_bound(boost::begin(rng), boost::end(rng), val);
|
Chris@16
|
38 }
|
Chris@16
|
39
|
Chris@16
|
40 /// \overload
|
Chris@16
|
41 template< class ForwardRange, class Value >
|
Chris@16
|
42 inline BOOST_DEDUCED_TYPENAME range_iterator<const ForwardRange>::type
|
Chris@16
|
43 lower_bound( const ForwardRange& rng, Value val )
|
Chris@16
|
44 {
|
Chris@16
|
45 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange> ));
|
Chris@16
|
46 return std::lower_bound(boost::begin(rng), boost::end(rng), val);
|
Chris@16
|
47 }
|
Chris@16
|
48
|
Chris@16
|
49 /// \overload
|
Chris@16
|
50 template< class ForwardRange, class Value, class SortPredicate >
|
Chris@16
|
51 inline BOOST_DEDUCED_TYPENAME disable_if<
|
Chris@16
|
52 is_const<ForwardRange>,
|
Chris@16
|
53 BOOST_DEDUCED_TYPENAME range_iterator<ForwardRange>::type
|
Chris@16
|
54 >::type
|
Chris@16
|
55 lower_bound( ForwardRange& rng, Value val, SortPredicate pred )
|
Chris@16
|
56 {
|
Chris@16
|
57 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<ForwardRange> ));
|
Chris@16
|
58 return std::lower_bound(boost::begin(rng), boost::end(rng), val, pred);
|
Chris@16
|
59 }
|
Chris@16
|
60
|
Chris@16
|
61 /// \overload
|
Chris@16
|
62 template< class ForwardRange, class Value, class SortPredicate >
|
Chris@16
|
63 inline BOOST_DEDUCED_TYPENAME range_iterator<const ForwardRange>::type
|
Chris@16
|
64 lower_bound( const ForwardRange& rng, Value val, SortPredicate pred )
|
Chris@16
|
65 {
|
Chris@16
|
66 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange> ));
|
Chris@16
|
67 return std::lower_bound(boost::begin(rng), boost::end(rng), val, pred);
|
Chris@16
|
68 }
|
Chris@16
|
69
|
Chris@16
|
70 /// \overload
|
Chris@16
|
71 template< range_return_value re, class ForwardRange, class Value >
|
Chris@16
|
72 inline BOOST_DEDUCED_TYPENAME disable_if<
|
Chris@16
|
73 is_const<ForwardRange>,
|
Chris@16
|
74 BOOST_DEDUCED_TYPENAME range_return<ForwardRange,re>::type
|
Chris@16
|
75 >::type
|
Chris@16
|
76 lower_bound( ForwardRange& rng, Value val )
|
Chris@16
|
77 {
|
Chris@16
|
78 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<ForwardRange> ));
|
Chris@16
|
79 return range_return<ForwardRange,re>::
|
Chris@16
|
80 pack(std::lower_bound(boost::begin(rng), boost::end(rng), val),
|
Chris@16
|
81 rng);
|
Chris@16
|
82 }
|
Chris@16
|
83
|
Chris@16
|
84 /// \overload
|
Chris@16
|
85 template< range_return_value re, class ForwardRange, class Value >
|
Chris@16
|
86 inline BOOST_DEDUCED_TYPENAME range_return<const ForwardRange,re>::type
|
Chris@16
|
87 lower_bound( const ForwardRange& rng, Value val )
|
Chris@16
|
88 {
|
Chris@16
|
89 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange> ));
|
Chris@16
|
90 return range_return<const ForwardRange,re>::
|
Chris@16
|
91 pack(std::lower_bound(boost::begin(rng), boost::end(rng), val),
|
Chris@16
|
92 rng);
|
Chris@16
|
93 }
|
Chris@16
|
94
|
Chris@16
|
95 /// \overload
|
Chris@16
|
96 template< range_return_value re, class ForwardRange, class Value, class SortPredicate >
|
Chris@16
|
97 inline BOOST_DEDUCED_TYPENAME disable_if<
|
Chris@16
|
98 is_const<ForwardRange>,
|
Chris@16
|
99 BOOST_DEDUCED_TYPENAME range_return<ForwardRange,re>::type
|
Chris@16
|
100 >::type
|
Chris@16
|
101 lower_bound( ForwardRange& rng, Value val, SortPredicate pred )
|
Chris@16
|
102 {
|
Chris@16
|
103 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<ForwardRange> ));
|
Chris@16
|
104 return range_return<ForwardRange,re>::
|
Chris@16
|
105 pack(std::lower_bound(boost::begin(rng), boost::end(rng), val, pred),
|
Chris@16
|
106 rng);
|
Chris@16
|
107 }
|
Chris@16
|
108
|
Chris@16
|
109 /// \overload
|
Chris@16
|
110 template< range_return_value re, class ForwardRange, class Value, class SortPredicate >
|
Chris@16
|
111 inline BOOST_DEDUCED_TYPENAME range_return<const ForwardRange,re>::type
|
Chris@16
|
112 lower_bound( const ForwardRange& rng, Value val, SortPredicate pred )
|
Chris@16
|
113 {
|
Chris@16
|
114 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange> ));
|
Chris@16
|
115 return range_return<const ForwardRange,re>::
|
Chris@16
|
116 pack(std::lower_bound(boost::begin(rng), boost::end(rng), val, pred),
|
Chris@16
|
117 rng);
|
Chris@16
|
118 }
|
Chris@16
|
119
|
Chris@16
|
120 } // namespace range
|
Chris@16
|
121 using range::lower_bound;
|
Chris@16
|
122 } // namespace boost
|
Chris@16
|
123
|
Chris@16
|
124 #endif // include guard
|