Chris@16: //  Copyright Neil Groves 2009. Use, modification and
Chris@16: //  distribution is subject to the Boost Software License, Version
Chris@16: //  1.0. (See accompanying file LICENSE_1_0.txt or copy at
Chris@16: //  http://www.boost.org/LICENSE_1_0.txt)
Chris@16: //
Chris@16: //
Chris@16: // For more information, see http://www.boost.org/libs/range/
Chris@16: //
Chris@16: #ifndef BOOST_RANGE_ALGORITHM_UPPER_BOUND_HPP_INCLUDED
Chris@16: #define BOOST_RANGE_ALGORITHM_UPPER_BOUND_HPP_INCLUDED
Chris@16: 
Chris@16: #include <boost/concept_check.hpp>
Chris@16: #include <boost/range/begin.hpp>
Chris@16: #include <boost/range/end.hpp>
Chris@16: #include <boost/range/concepts.hpp>
Chris@16: #include <boost/range/detail/range_return.hpp>
Chris@16: #include <algorithm>
Chris@16: 
Chris@16: namespace boost
Chris@16: {
Chris@16:     namespace range
Chris@16:     {
Chris@16: 
Chris@16: /// \brief template function upper_bound
Chris@16: ///
Chris@16: /// range-based version of the upper_bound std algorithm
Chris@16: ///
Chris@16: /// \pre ForwardRange is a model of the ForwardRangeConcept
Chris@16: template< class ForwardRange, class Value >
Chris@16: inline
Chris@16: BOOST_DEDUCED_TYPENAME disable_if<
Chris@16:     is_const<ForwardRange>,
Chris@16:     BOOST_DEDUCED_TYPENAME range_iterator<ForwardRange>::type
Chris@16: >::type
Chris@16: upper_bound( ForwardRange& rng, Value val )
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<ForwardRange> ));
Chris@16:     return std::upper_bound(boost::begin(rng), boost::end(rng), val);
Chris@16: }
Chris@16: 
Chris@16: /// \overload
Chris@16: template< class ForwardRange, class Value >
Chris@16: BOOST_DEDUCED_TYPENAME range_iterator<const ForwardRange>::type
Chris@16: upper_bound( const ForwardRange& rng, Value val )
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange> ));
Chris@16:     return std::upper_bound(boost::begin(rng), boost::end(rng), val);
Chris@16: }
Chris@16: 
Chris@16: /// \overload
Chris@16: template< class ForwardRange, class Value, class SortPredicate >
Chris@16: inline BOOST_DEDUCED_TYPENAME disable_if<
Chris@16:     is_const<ForwardRange>,
Chris@16:     BOOST_DEDUCED_TYPENAME range_iterator<ForwardRange>::type
Chris@16: >::type
Chris@16: upper_bound( ForwardRange& rng, Value val, SortPredicate pred )
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<ForwardRange> ));
Chris@16:     return std::upper_bound(boost::begin(rng), boost::end(rng), val, pred);
Chris@16: }
Chris@16: 
Chris@16: /// \overload
Chris@16: template< class ForwardRange, class Value, class SortPredicate >
Chris@16: inline BOOST_DEDUCED_TYPENAME range_iterator<const ForwardRange>::type
Chris@16: upper_bound( const ForwardRange& rng, Value val, SortPredicate pred )
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange> ));
Chris@16:     return std::upper_bound(boost::begin(rng), boost::end(rng), val, pred);
Chris@16: }
Chris@16: 
Chris@16: /// \overload
Chris@16: template< range_return_value re, class ForwardRange, class Value >
Chris@16: inline BOOST_DEDUCED_TYPENAME disable_if<
Chris@16:     is_const<ForwardRange>,
Chris@16:     BOOST_DEDUCED_TYPENAME range_return<ForwardRange,re>::type
Chris@16: >::type
Chris@16: upper_bound( ForwardRange& rng, Value val )
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<ForwardRange> ));
Chris@16:     return range_return<ForwardRange,re>::
Chris@16:         pack(std::upper_bound(boost::begin(rng), boost::end(rng), val),
Chris@16:              rng);
Chris@16: }
Chris@16: 
Chris@16: /// \overload
Chris@16: template< range_return_value re, class ForwardRange, class Value >
Chris@16: inline BOOST_DEDUCED_TYPENAME range_return<const ForwardRange,re>::type
Chris@16: upper_bound( const ForwardRange& rng, Value val )
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange> ));
Chris@16:     return range_return<const ForwardRange,re>::
Chris@16:         pack(std::upper_bound(boost::begin(rng), boost::end(rng), val),
Chris@16:              rng);
Chris@16: }
Chris@16: 
Chris@16: /// \overload
Chris@16: template< range_return_value re, class ForwardRange, class Value,
Chris@16:           class SortPredicate >
Chris@16: inline BOOST_DEDUCED_TYPENAME disable_if<
Chris@16:     is_const<ForwardRange>,
Chris@16:     BOOST_DEDUCED_TYPENAME range_return<ForwardRange,re>::type
Chris@16: >::type
Chris@16: upper_bound( ForwardRange& rng, Value val, SortPredicate pred )
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<ForwardRange> ));
Chris@16:     return range_return<ForwardRange,re>::
Chris@16:         pack(std::upper_bound(boost::begin(rng), boost::end(rng), val, pred),
Chris@16:              rng);
Chris@16: }
Chris@16: 
Chris@16: /// \overload
Chris@16: template< range_return_value re, class ForwardRange, class Value,
Chris@16:           class SortPredicate >
Chris@16: inline BOOST_DEDUCED_TYPENAME range_return<const ForwardRange,re>::type
Chris@16: upper_bound( const ForwardRange& rng, Value val, SortPredicate pred )
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange> ));
Chris@16:     return range_return<const ForwardRange,re>::
Chris@16:         pack(std::upper_bound(boost::begin(rng), boost::end(rng), val, pred),
Chris@16:              rng);
Chris@16: }
Chris@16: 
Chris@16:     } // namespace range
Chris@16:     using range::upper_bound;
Chris@16: } // namespace boost
Chris@16: 
Chris@16: #endif // include guard