williamr@4: /*
williamr@4:  *
williamr@4:  * Copyright (c) 1994
williamr@4:  * Hewlett-Packard Company
williamr@4:  *
williamr@4:  * Copyright (c) 1996,1997
williamr@4:  * Silicon Graphics Computer Systems, Inc.
williamr@4:  *
williamr@4:  * Copyright (c) 1997
williamr@4:  * Moscow Center for SPARC Technology
williamr@4:  *
williamr@4:  * Copyright (c) 1999 
williamr@4:  * Boris Fomitchev
williamr@4:  *
williamr@4:  * This material is provided "as is", with absolutely no warranty expressed
williamr@4:  * or implied. Any use is at your own risk.
williamr@4:  *
williamr@4:  * Permission to use or copy this software for any purpose is hereby granted 
williamr@4:  * without fee, provided the above notices are retained on all copies.
williamr@4:  * Permission to modify the code and to distribute modified code is granted,
williamr@4:  * provided the above notices are retained, and a notice that the code was
williamr@4:  * modified is included with the above copyright notice.
williamr@4:  *
williamr@4:  */
williamr@4: 
williamr@4: /* NOTE: This is an internal header file, included by other STL headers.
williamr@4:  *   You should not attempt to use it directly.
williamr@4:  */
williamr@4: 
williamr@4: #ifndef _STLP_INTERNAL_ALGO_H
williamr@4: #define _STLP_INTERNAL_ALGO_H
williamr@4: 
williamr@4: # ifndef _STLP_INTERNAL_ALGOBASE_H
williamr@4: #  include <stl/_algobase.h>
williamr@4: # endif
williamr@4: 
williamr@4: # ifndef _STLP_INTERNAL_TEMPBUF_H
williamr@4: #  include <stl/_tempbuf.h>
williamr@4: # endif
williamr@4: 
williamr@4: # ifndef _STLP_INTERNAL_HEAP_H
williamr@4: #  include <stl/_heap.h>
williamr@4: # endif
williamr@4: 
williamr@4: # ifndef _STLP_INTERNAL_ITERATOR_H
williamr@4: #  include <stl/_iterator.h>
williamr@4: # endif
williamr@4: 
williamr@4: # ifndef _STLP_INTERNAL_FUNCTION_BASE_H
williamr@4: #  include <stl/_function_base.h>
williamr@4: # endif
williamr@4: 
williamr@4: # ifdef __SUNPRO_CC
williamr@4: // remove() conflict
williamr@4: #  include <cstdio>
williamr@4: # endif
williamr@4: 
williamr@4: _STLP_BEGIN_NAMESPACE
williamr@4: 
williamr@4: // for_each.  Apply a function to every element of a range.
williamr@4: template <class _InputIter, class _Function>
williamr@4: _STLP_INLINE_LOOP _Function 
williamr@4: for_each(_InputIter __first, _InputIter __last, _Function __f) {
williamr@4:   for ( ; __first != __last; ++__first)
williamr@4:     __f(*__first);
williamr@4:   return __f;
williamr@4: }
williamr@4: 
williamr@4: // count_if
williamr@4: template <class _InputIter, class _Predicate>
williamr@4: _STLP_INLINE_LOOP _STLP_DIFFERENCE_TYPE(_InputIter)
williamr@4: count_if(_InputIter __first, _InputIter __last, _Predicate __pred) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4: _STLP_DIFFERENCE_TYPE(_InputIter) __n = 0;
williamr@4:   for ( ; __first != __last; ++__first)
williamr@4:     if (__pred(*__first))
williamr@4:       ++__n;
williamr@4:   return __n;
williamr@4: }
williamr@4: 
williamr@4: // adjacent_find.
williamr@4: 
williamr@4: template <class _ForwardIter, class _BinaryPredicate>
williamr@4: _STLP_INLINE_LOOP _ForwardIter 
williamr@4: adjacent_find(_ForwardIter __first, _ForwardIter __last,
williamr@4:               _BinaryPredicate __binary_pred) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   if (__first == __last)
williamr@4:     return __last;
williamr@4:   _ForwardIter __next = __first;
williamr@4:   while(++__next != __last) {
williamr@4:     if (__binary_pred(*__first, *__next))
williamr@4:       return __first;
williamr@4:     __first = __next;
williamr@4:   }
williamr@4:   return __last;
williamr@4: }
williamr@4: 
williamr@4: template <class _ForwardIter>
williamr@4: _STLP_INLINE_LOOP _ForwardIter 
williamr@4: adjacent_find(_ForwardIter __first, _ForwardIter __last) {
williamr@4:   return adjacent_find(__first, __last,
williamr@4: 		       __equal_to(_STLP_VALUE_TYPE(__first, _ForwardIter)));
williamr@4: }
williamr@4: 
williamr@4: # ifndef _STLP_NO_ANACHRONISMS
williamr@4: template <class _InputIter, class _Tp, class _Size>
williamr@4: _STLP_INLINE_LOOP void 
williamr@4: count(_InputIter __first, _InputIter __last, const _Tp& __val, _Size& __n) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:     for ( ; __first != __last; ++__first)
williamr@4:       if (*__first == __val)
williamr@4:         ++__n;
williamr@4: }
williamr@4: 
williamr@4: template <class _InputIter, class _Predicate, class _Size>
williamr@4: _STLP_INLINE_LOOP void 
williamr@4: count_if(_InputIter __first, _InputIter __last, _Predicate __pred, _Size& __n) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   for ( ; __first != __last; ++__first)
williamr@4:     if (__pred(*__first))
williamr@4:       ++__n;
williamr@4: }
williamr@4: # endif
williamr@4: 
williamr@4: template <class _ForwardIter1, class _ForwardIter2>
williamr@4: _ForwardIter1 search(_ForwardIter1 __first1, _ForwardIter1 __last1,
williamr@4:                      _ForwardIter2 __first2, _ForwardIter2 __last2);
williamr@4: 
williamr@4: // search_n.  Search for __count consecutive copies of __val.
williamr@4: template <class _ForwardIter, class _Integer, class _Tp>
williamr@4: _ForwardIter search_n(_ForwardIter __first, _ForwardIter __last,
williamr@4:                       _Integer __count, const _Tp& __val);
williamr@4: template <class _ForwardIter, class _Integer, class _Tp, class _BinaryPred>
williamr@4: _ForwardIter search_n(_ForwardIter __first, _ForwardIter __last,
williamr@4:                       _Integer __count, const _Tp& __val, _BinaryPred __binary_pred);
williamr@4: 
williamr@4: template <class _InputIter, class _ForwardIter>
williamr@4: inline _InputIter find_first_of(_InputIter __first1, _InputIter __last1,
williamr@4:                                 _ForwardIter __first2, _ForwardIter __last2) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first1, __last1))
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first2, __last2))
williamr@4:   return __find_first_of(__first1, __last1, __first2, __last2,__equal_to(_STLP_VALUE_TYPE(__first1, _InputIter)));
williamr@4: }
williamr@4: 
williamr@4: template <class _InputIter, class _ForwardIter, class _BinaryPredicate>
williamr@4: inline _InputIter 
williamr@4: find_first_of(_InputIter __first1, _InputIter __last1,
williamr@4:               _ForwardIter __first2, _ForwardIter __last2,_BinaryPredicate __comp) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first1, __last1))
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first2, __last2))
williamr@4:   return __find_first_of(__first1, __last1, __first2, __last2,__comp);
williamr@4: }
williamr@4: 
williamr@4: template <class _ForwardIter1, class _ForwardIter2>
williamr@4: _ForwardIter1 
williamr@4: find_end(_ForwardIter1 __first1, _ForwardIter1 __last1, 
williamr@4:          _ForwardIter2 __first2, _ForwardIter2 __last2);
williamr@4: 
williamr@4: // swap_ranges
williamr@4: template <class _ForwardIter1, class _ForwardIter2>
williamr@4: _STLP_INLINE_LOOP _ForwardIter2 
williamr@4: swap_ranges(_ForwardIter1 __first1, _ForwardIter1 __last1, _ForwardIter2 __first2) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first1, __last1))
williamr@4:   for ( ; __first1 != __last1; ++__first1, ++__first2)
williamr@4:     iter_swap(__first1, __first2);
williamr@4:   return __first2;
williamr@4: }
williamr@4: 
williamr@4: // transform
williamr@4: template <class _InputIter, class _OutputIter, class _UnaryOperation>
williamr@4: _STLP_INLINE_LOOP _OutputIter 
williamr@4: transform(_InputIter __first, _InputIter __last, _OutputIter __result, _UnaryOperation __opr) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   for ( ; __first != __last; ++__first, ++__result)
williamr@4:     *__result = __opr(*__first);
williamr@4:   return __result;
williamr@4: }
williamr@4: template <class _InputIter1, class _InputIter2, class _OutputIter, class _BinaryOperation>
williamr@4: _STLP_INLINE_LOOP _OutputIter 
williamr@4: transform(_InputIter1 __first1, _InputIter1 __last1, 
williamr@4:           _InputIter2 __first2, _OutputIter __result,_BinaryOperation __binary_op) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first1, __last1))
williamr@4:   for ( ; __first1 != __last1; ++__first1, ++__first2, ++__result)
williamr@4:     *__result = __binary_op(*__first1, *__first2);
williamr@4:   return __result;
williamr@4: }
williamr@4: 
williamr@4: // replace_if, replace_copy, replace_copy_if
williamr@4: 
williamr@4: template <class _ForwardIter, class _Predicate, class _Tp>
williamr@4: _STLP_INLINE_LOOP void 
williamr@4: replace_if(_ForwardIter __first, _ForwardIter __last, _Predicate __pred, const _Tp& __new_value) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   for ( ; __first != __last; ++__first)
williamr@4:     if (__pred(*__first))
williamr@4:       *__first = __new_value;
williamr@4: }
williamr@4: 
williamr@4: template <class _InputIter, class _OutputIter, class _Tp>
williamr@4: _STLP_INLINE_LOOP  _OutputIter 
williamr@4: replace_copy(_InputIter __first, _InputIter __last,_OutputIter __result,
williamr@4:              const _Tp& __old_value, const _Tp& __new_value) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   for ( ; __first != __last; ++__first, ++__result)
williamr@4:     *__result = *__first == __old_value ? __new_value : *__first;
williamr@4:   return __result;
williamr@4: }
williamr@4: 
williamr@4: template <class _Iterator, class _OutputIter, class _Predicate, class _Tp>
williamr@4: _STLP_INLINE_LOOP _OutputIter 
williamr@4: replace_copy_if(_Iterator __first, _Iterator __last,
williamr@4:                 _OutputIter __result,
williamr@4:                 _Predicate __pred, const _Tp& __new_value) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   for ( ; __first != __last; ++__first, ++__result)
williamr@4:     *__result = __pred(*__first) ? __new_value : *__first;
williamr@4:   return __result;
williamr@4: }
williamr@4: 
williamr@4: // generate and generate_n
williamr@4: 
williamr@4: template <class _ForwardIter, class _Generator>
williamr@4: _STLP_INLINE_LOOP void 
williamr@4: generate(_ForwardIter __first, _ForwardIter __last, _Generator __gen) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   for ( ; __first != __last; ++__first)
williamr@4:     *__first = __gen();
williamr@4: }
williamr@4: 
williamr@4: template <class _OutputIter, class _Size, class _Generator>
williamr@4: _STLP_INLINE_LOOP _OutputIter 
williamr@4: generate_n(_OutputIter __first, _Size __n, _Generator __gen) {
williamr@4:   for ( ; __n > 0; --__n, ++__first)
williamr@4:     *__first = __gen();
williamr@4:   return __first;
williamr@4: }
williamr@4: 
williamr@4: // remove, remove_if, remove_copy, remove_copy_if
williamr@4: 
williamr@4: template <class _InputIter, class _OutputIter, class _Tp>
williamr@4: _STLP_INLINE_LOOP _OutputIter 
williamr@4: remove_copy(_InputIter __first, _InputIter __last,_OutputIter __result, const _Tp& __val) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   for ( ; __first != __last; ++__first)
williamr@4:     if (!(*__first == __val)) {
williamr@4:       *__result = *__first;
williamr@4:       ++__result;
williamr@4:     }
williamr@4:   return __result;
williamr@4: }
williamr@4: 
williamr@4: template <class _InputIter, class _OutputIter, class _Predicate>
williamr@4: _STLP_INLINE_LOOP _OutputIter 
williamr@4: remove_copy_if(_InputIter __first, _InputIter __last, _OutputIter __result, _Predicate __pred) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   for ( ; __first != __last; ++__first)
williamr@4:     if (!__pred(*__first)) {
williamr@4:       *__result = *__first;
williamr@4:       ++__result;
williamr@4:     }
williamr@4:   return __result;
williamr@4: }
williamr@4: 
williamr@4: template <class _ForwardIter, class _Tp>
williamr@4: _STLP_INLINE_LOOP _ForwardIter 
williamr@4: remove(_ForwardIter __first, _ForwardIter __last, const _Tp& __val) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   __first = find(__first, __last, __val);
williamr@4:   if (__first == __last)
williamr@4:     return __first;
williamr@4:   else { 
williamr@4:     _ForwardIter __next = __first;
williamr@4:     return remove_copy(++__next, __last, __first, __val);
williamr@4:   }
williamr@4: }
williamr@4: 
williamr@4: template <class _ForwardIter, class _Predicate>
williamr@4: _STLP_INLINE_LOOP _ForwardIter 
williamr@4: remove_if(_ForwardIter __first, _ForwardIter __last, _Predicate __pred) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   __first = find_if(__first, __last, __pred);
williamr@4:   if ( __first == __last )
williamr@4:     return __first;
williamr@4:   else {
williamr@4:     _ForwardIter __next = __first;
williamr@4:     return remove_copy_if(++__next, __last, __first, __pred);
williamr@4:   }
williamr@4: }
williamr@4: 
williamr@4: // unique and unique_copy
williamr@4: template <class _InputIter, class _OutputIter>
williamr@4: _OutputIter unique_copy(_InputIter __first, _InputIter __last, _OutputIter __result);
williamr@4: 
williamr@4: template <class _InputIter, class _OutputIter, class _BinaryPredicate>
williamr@4: _OutputIter unique_copy(_InputIter __first, _InputIter __last,_OutputIter __result,
williamr@4:                         _BinaryPredicate __binary_pred);
williamr@4: 
williamr@4: template <class _ForwardIter>
williamr@4: inline _ForwardIter unique(_ForwardIter __first, _ForwardIter __last) {
williamr@4:   __first = adjacent_find(__first, __last);
williamr@4:   return unique_copy(__first, __last, __first);
williamr@4: }
williamr@4: 
williamr@4: template <class _ForwardIter, class _BinaryPredicate>
williamr@4: inline _ForwardIter unique(_ForwardIter __first, _ForwardIter __last,
williamr@4:                     _BinaryPredicate __binary_pred) {
williamr@4:   __first = adjacent_find(__first, __last, __binary_pred);
williamr@4:   return unique_copy(__first, __last, __first, __binary_pred);
williamr@4: }
williamr@4: 
williamr@4: // reverse and reverse_copy, and their auxiliary functions
williamr@4: 
williamr@4: template <class _BidirectionalIter>
williamr@4: _STLP_INLINE_LOOP void 
williamr@4: __reverse(_BidirectionalIter __first, _BidirectionalIter __last, const bidirectional_iterator_tag &) {
williamr@4:   for(; __first != __last && __first != --__last; ++__first)
williamr@4:     iter_swap(__first,__last);
williamr@4: }
williamr@4: 
williamr@4: 
williamr@4: template <class _RandomAccessIter>
williamr@4: _STLP_INLINE_LOOP void 
williamr@4: __reverse(_RandomAccessIter __first, _RandomAccessIter __last, const random_access_iterator_tag &) {
williamr@4:   for (; __first < __last; ++__first) iter_swap(__first, --__last);
williamr@4: }
williamr@4: 
williamr@4: template <class _BidirectionalIter>
williamr@4: inline void 
williamr@4: reverse(_BidirectionalIter __first, _BidirectionalIter __last) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   __reverse(__first, __last, _STLP_ITERATOR_CATEGORY(__first, _BidirectionalIter));
williamr@4: }
williamr@4: 
williamr@4: template <class _BidirectionalIter, class _OutputIter>
williamr@4: _STLP_INLINE_LOOP
williamr@4: _OutputIter reverse_copy(_BidirectionalIter __first,
williamr@4:                             _BidirectionalIter __last,
williamr@4:                             _OutputIter __result) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   while (__first != __last) {
williamr@4:     --__last;
williamr@4:     *__result = *__last;
williamr@4:     ++__result;
williamr@4:   }
williamr@4:   return __result;
williamr@4: }
williamr@4: 
williamr@4: // rotate and rotate_copy, and their auxiliary functions
williamr@4: 
williamr@4: template <class _EuclideanRingElement>
williamr@4: _STLP_INLINE_LOOP
williamr@4: _EuclideanRingElement __gcd(_EuclideanRingElement __m,
williamr@4:                             _EuclideanRingElement __n)
williamr@4: {
williamr@4:   while (__n != 0) {
williamr@4:     _EuclideanRingElement __t = __m % __n;
williamr@4:     __m = __n;
williamr@4:     __n = __t;
williamr@4:   }
williamr@4:   return __m;
williamr@4: }
williamr@4: 
williamr@4: template <class _ForwardIter>
williamr@4: _ForwardIter 
williamr@4: rotate(_ForwardIter __first, _ForwardIter __middle, _ForwardIter __last);
williamr@4: 
williamr@4: template <class _ForwardIter, class _OutputIter>
williamr@4: inline _OutputIter rotate_copy(_ForwardIter __first, _ForwardIter __middle,
williamr@4:                                _ForwardIter __last, _OutputIter __result) {
williamr@4:   return copy(__first, __middle, copy(__middle, __last, __result));
williamr@4: }
williamr@4: 
williamr@4: // random_shuffle
williamr@4: 
williamr@4: template <class _RandomAccessIter>
williamr@4: void random_shuffle(_RandomAccessIter __first, _RandomAccessIter __last);
williamr@4: 
williamr@4: template <class _RandomAccessIter, class _RandomNumberGenerator>
williamr@4: void random_shuffle(_RandomAccessIter __first, _RandomAccessIter __last,
williamr@4:                     _RandomNumberGenerator& __rand);
williamr@4: 
williamr@4: # ifndef _STLP_NO_EXTENSIONS
williamr@4: // random_sample and random_sample_n (extensions, not part of the standard).
williamr@4: 
williamr@4: template <class _ForwardIter, class _OutputIter, class _Distance>
williamr@4: _OutputIter random_sample_n(_ForwardIter __first, _ForwardIter __last,
williamr@4:                             _OutputIter __stl_out, const _Distance __n);
williamr@4: 
williamr@4: template <class _ForwardIter, class _OutputIter, class _Distance,
williamr@4:           class _RandomNumberGenerator>
williamr@4: _OutputIter random_sample_n(_ForwardIter __first, _ForwardIter __last,
williamr@4:                             _OutputIter __stl_out, const _Distance __n,
williamr@4:                             _RandomNumberGenerator& __rand);
williamr@4: 
williamr@4: template <class _InputIter, class _RandomAccessIter>
williamr@4: _RandomAccessIter
williamr@4: random_sample(_InputIter __first, _InputIter __last,
williamr@4:               _RandomAccessIter __out_first, _RandomAccessIter __out_last);
williamr@4: 
williamr@4: template <class _InputIter, class _RandomAccessIter, 
williamr@4:           class _RandomNumberGenerator>
williamr@4: _RandomAccessIter
williamr@4: random_sample(_InputIter __first, _InputIter __last,
williamr@4:               _RandomAccessIter __out_first, _RandomAccessIter __out_last,
williamr@4:               _RandomNumberGenerator& __rand);
williamr@4: 
williamr@4: # endif /* _STLP_NO_EXTENSIONS */
williamr@4: 
williamr@4: // partition, stable_partition, and their auxiliary functions
williamr@4: 
williamr@4: template <class _ForwardIter, class _Predicate>
williamr@4: _ForwardIter partition(_ForwardIter __first, _ForwardIter __last, _Predicate   __pred);
williamr@4: 
williamr@4: 
williamr@4: template <class _ForwardIter, class _Predicate>
williamr@4: _ForwardIter 
williamr@4: stable_partition(_ForwardIter __first, _ForwardIter __last, _Predicate __pred);
williamr@4: 
williamr@4: // sort() and its auxiliary functions. 
williamr@4: 
williamr@4: template <class _Size>
williamr@4: inline _Size __lg(_Size __n) {
williamr@4:   _Size __k;
williamr@4:   for (__k = 0; __n != 1; __n >>= 1) ++__k;
williamr@4:   return __k;
williamr@4: }
williamr@4: 
williamr@4: template <class _RandomAccessIter>
williamr@4: void sort(_RandomAccessIter __first, _RandomAccessIter __last);
williamr@4: template <class _RandomAccessIter, class _Compare>
williamr@4: void sort(_RandomAccessIter __first, _RandomAccessIter __last, _Compare __comp);
williamr@4: 
williamr@4: // stable_sort() and its auxiliary functions.
williamr@4: template <class _RandomAccessIter>
williamr@4: void stable_sort(_RandomAccessIter __first,
williamr@4: 		 _RandomAccessIter __last);
williamr@4: 
williamr@4: template <class _RandomAccessIter, class _Compare>
williamr@4: void stable_sort(_RandomAccessIter __first,
williamr@4: 		 _RandomAccessIter __last, _Compare __comp);
williamr@4: 
williamr@4: // partial_sort, partial_sort_copy, and auxiliary functions.
williamr@4: 
williamr@4: template <class _RandomAccessIter>
williamr@4: void 
williamr@4: partial_sort(_RandomAccessIter __first,_RandomAccessIter __middle, _RandomAccessIter __last);
williamr@4: 
williamr@4: template <class _RandomAccessIter, class _Compare>
williamr@4: void 
williamr@4: partial_sort(_RandomAccessIter __first,_RandomAccessIter __middle, 
williamr@4:              _RandomAccessIter __last, _Compare __comp);
williamr@4: 
williamr@4: template <class _InputIter, class _RandomAccessIter>
williamr@4: _RandomAccessIter
williamr@4: partial_sort_copy(_InputIter __first, _InputIter __last,
williamr@4:                   _RandomAccessIter __result_first, _RandomAccessIter __result_last);
williamr@4: 
williamr@4: template <class _InputIter, class _RandomAccessIter, class _Compare>
williamr@4: _RandomAccessIter
williamr@4: partial_sort_copy(_InputIter __first, _InputIter __last,
williamr@4:                   _RandomAccessIter __result_first,
williamr@4:                   _RandomAccessIter __result_last, _Compare __comp);
williamr@4: 
williamr@4: // nth_element() and its auxiliary functions.  
williamr@4: 
williamr@4: template <class _RandomAccessIter>
williamr@4: void nth_element(_RandomAccessIter __first, _RandomAccessIter __nth,
williamr@4:                  _RandomAccessIter __last);
williamr@4: 
williamr@4: template <class _RandomAccessIter, class _Compare>
williamr@4: void nth_element(_RandomAccessIter __first, _RandomAccessIter __nth,
williamr@4:                  _RandomAccessIter __last, _Compare __comp);
williamr@4: 
williamr@4: // auxiliary class for lower_bound, etc.
williamr@4: template <class _T1, class _T2>
williamr@4: struct __less_2 {
williamr@4:   bool operator() (const _T1& __x, const _T2 __y) const { return __x < __y ; } 
williamr@4: };
williamr@4: 
williamr@4: template <class _T1, class _T2>
williamr@4: __less_2<_T1,_T2> __less2(_T1*, _T2* ) { return __less_2<_T1, _T2>(); }
williamr@4: 
williamr@4: #ifdef _STLP_FUNCTION_PARTIAL_ORDER
williamr@4: template <class _Tp>
williamr@4: less<_Tp> __less2(_Tp*, _Tp* ) { return less<_Tp>(); }
williamr@4: #endif
williamr@4: 
williamr@4: // Binary search (lower_bound, upper_bound, equal_range, binary_search).
williamr@4: 
williamr@4: template <class _ForwardIter, class _Tp>
williamr@4: inline _ForwardIter lower_bound(_ForwardIter __first, _ForwardIter __last,
williamr@4:                                    const _Tp& __val) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:     return __lower_bound(__first, __last, __val, 
williamr@4: 			 __less2(_STLP_VALUE_TYPE(__first, _ForwardIter), (_Tp*)0),
williamr@4: 			 _STLP_DISTANCE_TYPE(__first, _ForwardIter));
williamr@4: }
williamr@4: 
williamr@4: template <class _ForwardIter, class _Tp, class _Compare>
williamr@4: inline _ForwardIter lower_bound(_ForwardIter __first, _ForwardIter __last,
williamr@4:                                 const _Tp& __val, _Compare __comp) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   return __lower_bound(__first, __last, __val, __comp, _STLP_DISTANCE_TYPE(__first, _ForwardIter));
williamr@4: }
williamr@4: 
williamr@4: template <class _ForwardIter, class _Tp, class _Compare, class _Distance>
williamr@4: _ForwardIter __upper_bound(_ForwardIter __first, _ForwardIter __last,
williamr@4:                            const _Tp& __val, _Compare __comp, _Distance*);
williamr@4: 
williamr@4: template <class _ForwardIter, class _Tp>
williamr@4: inline _ForwardIter upper_bound(_ForwardIter __first, _ForwardIter __last,
williamr@4:                                 const _Tp& __val) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   return __upper_bound(__first, __last, __val, 
williamr@4: 		       __less2(_STLP_VALUE_TYPE(__first, _ForwardIter), (_Tp*)0),
williamr@4:                        _STLP_DISTANCE_TYPE(__first, _ForwardIter));
williamr@4: }
williamr@4: 
williamr@4: template <class _ForwardIter, class _Tp, class _Compare>
williamr@4: inline _ForwardIter upper_bound(_ForwardIter __first, _ForwardIter __last,
williamr@4:                                 const _Tp& __val, _Compare __comp) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   return __upper_bound(__first, __last, __val, __comp,
williamr@4:                        _STLP_DISTANCE_TYPE(__first, _ForwardIter));
williamr@4: }
williamr@4: 
williamr@4: template <class _ForwardIter, class _Tp, class _Compare, class _Distance>
williamr@4: pair<_ForwardIter, _ForwardIter>
williamr@4: __equal_range(_ForwardIter __first, _ForwardIter __last, const _Tp& __val,
williamr@4:               _Compare __comp, _Distance*);
williamr@4: 
williamr@4: template <class _ForwardIter, class _Tp>
williamr@4: inline pair<_ForwardIter, _ForwardIter>
williamr@4: equal_range(_ForwardIter __first, _ForwardIter __last, const _Tp& __val) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   return __equal_range(__first, __last, __val,  
williamr@4: 		       __less2(_STLP_VALUE_TYPE(__first, _ForwardIter), (_Tp*)0),
williamr@4:                        _STLP_DISTANCE_TYPE(__first, _ForwardIter));
williamr@4: }
williamr@4: 
williamr@4: template <class _ForwardIter, class _Tp, class _Compare>
williamr@4: inline pair<_ForwardIter, _ForwardIter>
williamr@4: equal_range(_ForwardIter __first, _ForwardIter __last, const _Tp& __val,
williamr@4:             _Compare __comp) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   return __equal_range(__first, __last, __val, __comp,
williamr@4:                        _STLP_DISTANCE_TYPE(__first, _ForwardIter));
williamr@4: } 
williamr@4: 
williamr@4: template <class _ForwardIter, class _Tp>
williamr@4: inline bool binary_search(_ForwardIter __first, _ForwardIter __last,
williamr@4:                    const _Tp& __val) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   _ForwardIter __i = __lower_bound(__first, __last, __val, 
williamr@4:                                    __less2(_STLP_VALUE_TYPE(__first, _ForwardIter), (_Tp*)0),
williamr@4:                                    _STLP_DISTANCE_TYPE(__first, _ForwardIter));
williamr@4:   return __i != __last && !(__val < *__i);
williamr@4: }
williamr@4: 
williamr@4: template <class _ForwardIter, class _Tp, class _Compare>
williamr@4: inline bool binary_search(_ForwardIter __first, _ForwardIter __last,
williamr@4:                    const _Tp& __val,
williamr@4:                    _Compare __comp) {
williamr@4:   _STLP_DEBUG_CHECK(__check_range(__first, __last))
williamr@4:   _ForwardIter __i = __lower_bound(__first, __last, __val, __comp, _STLP_DISTANCE_TYPE(__first, _ForwardIter));
williamr@4:   return __i != __last && !__comp(__val, *__i);
williamr@4: }
williamr@4: 
williamr@4: // merge, with and without an explicitly supplied comparison function.
williamr@4: 
williamr@4: template <class _InputIter1, class _InputIter2, class _OutputIter>
williamr@4: _OutputIter merge(_InputIter1 __first1, _InputIter1 __last1,
williamr@4:                   _InputIter2 __first2, _InputIter2 __last2,
williamr@4:                   _OutputIter __result);
williamr@4:  
williamr@4: template <class _InputIter1, class _InputIter2, class _OutputIter,
williamr@4:           class _Compare>
williamr@4: _OutputIter merge(_InputIter1 __first1, _InputIter1 __last1,
williamr@4:                   _InputIter2 __first2, _InputIter2 __last2,
williamr@4:                   _OutputIter __result, _Compare __comp);
williamr@4: 
williamr@4: 
williamr@4: // inplace_merge and its auxiliary functions. 
williamr@4: 
williamr@4: 
williamr@4: template <class _BidirectionalIter>
williamr@4: void inplace_merge(_BidirectionalIter __first,
williamr@4: 		   _BidirectionalIter __middle,
williamr@4: 		   _BidirectionalIter __last) ;
williamr@4: 
williamr@4: template <class _BidirectionalIter, class _Compare>
williamr@4: void inplace_merge(_BidirectionalIter __first,
williamr@4: 		   _BidirectionalIter __middle,
williamr@4: 		   _BidirectionalIter __last, _Compare __comp);
williamr@4: 
williamr@4: // Set algorithms: includes, set_union, set_intersection, set_difference,
williamr@4: // set_symmetric_difference.  All of these algorithms have the precondition
williamr@4: // that their input ranges are sorted and the postcondition that their output
williamr@4: // ranges are sorted.
williamr@4: 
williamr@4: template <class _InputIter1, class _InputIter2>
williamr@4: bool includes(_InputIter1 __first1, _InputIter1 __last1,
williamr@4:               _InputIter2 __first2, _InputIter2 __last2);
williamr@4: 
williamr@4: template <class _InputIter1, class _InputIter2, class _Compare>
williamr@4: bool includes(_InputIter1 __first1, _InputIter1 __last1,
williamr@4:               _InputIter2 __first2, _InputIter2 __last2, _Compare __comp);
williamr@4:  
williamr@4: template <class _InputIter1, class _InputIter2, class _OutputIter>
williamr@4: _OutputIter set_union(_InputIter1 __first1, _InputIter1 __last1,
williamr@4:                       _InputIter2 __first2, _InputIter2 __last2,
williamr@4:                       _OutputIter __result);
williamr@4: 
williamr@4: template <class _InputIter1, class _InputIter2, class _OutputIter,
williamr@4:           class _Compare>
williamr@4: _OutputIter set_union(_InputIter1 __first1, _InputIter1 __last1,
williamr@4:                       _InputIter2 __first2, _InputIter2 __last2,
williamr@4:                       _OutputIter __result, _Compare __comp);
williamr@4: 
williamr@4: template <class _InputIter1, class _InputIter2, class _OutputIter>
williamr@4: _OutputIter set_intersection(_InputIter1 __first1, _InputIter1 __last1,
williamr@4:                              _InputIter2 __first2, _InputIter2 __last2,
williamr@4:                              _OutputIter __result);
williamr@4: 
williamr@4: template <class _InputIter1, class _InputIter2, class _OutputIter,
williamr@4:           class _Compare>
williamr@4: _OutputIter set_intersection(_InputIter1 __first1, _InputIter1 __last1,
williamr@4:                              _InputIter2 __first2, _InputIter2 __last2,
williamr@4:                              _OutputIter __result, _Compare __comp);
williamr@4: 
williamr@4: 
williamr@4: 
williamr@4: template <class _InputIter1, class _InputIter2, class _OutputIter>
williamr@4: _OutputIter set_difference(_InputIter1 __first1, _InputIter1 __last1,
williamr@4:                            _InputIter2 __first2, _InputIter2 __last2,
williamr@4:                            _OutputIter __result);
williamr@4: 
williamr@4: template <class _InputIter1, class _InputIter2, class _OutputIter, 
williamr@4:           class _Compare>
williamr@4: _OutputIter set_difference(_InputIter1 __first1, _InputIter1 __last1,
williamr@4:                            _InputIter2 __first2, _InputIter2 __last2, 
williamr@4:                            _OutputIter __result, _Compare __comp);
williamr@4: 
williamr@4: template <class _InputIter1, class _InputIter2, class _OutputIter>
williamr@4: _OutputIter 
williamr@4: set_symmetric_difference(_InputIter1 __first1, _InputIter1 __last1,
williamr@4:                          _InputIter2 __first2, _InputIter2 __last2,
williamr@4:                          _OutputIter __result);
williamr@4: 
williamr@4: 
williamr@4: template <class _InputIter1, class _InputIter2, class _OutputIter,
williamr@4:           class _Compare>
williamr@4: _OutputIter 
williamr@4: set_symmetric_difference(_InputIter1 __first1, _InputIter1 __last1,
williamr@4:                          _InputIter2 __first2, _InputIter2 __last2,
williamr@4:                          _OutputIter __result,
williamr@4:                          _Compare __comp);
williamr@4: 
williamr@4: 
williamr@4: // min_element and max_element, with and without an explicitly supplied
williamr@4: // comparison function.
williamr@4: 
williamr@4: template <class _ForwardIter>
williamr@4: _ForwardIter max_element(_ForwardIter __first, _ForwardIter __last);
williamr@4: template <class _ForwardIter, class _Compare>
williamr@4: _ForwardIter max_element(_ForwardIter __first, _ForwardIter __last,
williamr@4:                             _Compare __comp);
williamr@4: 
williamr@4: template <class _ForwardIter>
williamr@4: _ForwardIter min_element(_ForwardIter __first, _ForwardIter __last);
williamr@4: 
williamr@4: template <class _ForwardIter, class _Compare>
williamr@4: _ForwardIter min_element(_ForwardIter __first, _ForwardIter __last,
williamr@4:                             _Compare __comp);
williamr@4: 
williamr@4: // next_permutation and prev_permutation, with and without an explicitly 
williamr@4: // supplied comparison function.
williamr@4: 
williamr@4: template <class _BidirectionalIter>
williamr@4: bool next_permutation(_BidirectionalIter __first, _BidirectionalIter __last);
williamr@4: 
williamr@4: template <class _BidirectionalIter, class _Compare>
williamr@4: bool next_permutation(_BidirectionalIter __first, _BidirectionalIter __last,
williamr@4:                       _Compare __comp);
williamr@4: 
williamr@4: 
williamr@4: template <class _BidirectionalIter>
williamr@4: bool prev_permutation(_BidirectionalIter __first, _BidirectionalIter __last);
williamr@4: 
williamr@4: 
williamr@4: template <class _BidirectionalIter, class _Compare>
williamr@4: bool prev_permutation(_BidirectionalIter __first, _BidirectionalIter __last,
williamr@4:                       _Compare __comp);
williamr@4: 
williamr@4: # ifndef _STLP_NO_EXTENSIONS
williamr@4: 
williamr@4: // is_heap, a predicate testing whether or not a range is
williamr@4: // a heap.  This function is an extension, not part of the C++
williamr@4: // standard.
williamr@4: 
williamr@4: template <class _RandomAccessIter>
williamr@4: bool is_heap(_RandomAccessIter __first, _RandomAccessIter __last);
williamr@4: 
williamr@4: template <class _RandomAccessIter, class _StrictWeakOrdering>
williamr@4: bool is_heap(_RandomAccessIter __first, _RandomAccessIter __last,
williamr@4: 	     _StrictWeakOrdering __comp);
williamr@4: 
williamr@4: 
williamr@4: // is_sorted, a predicated testing whether a range is sorted in
williamr@4: // nondescending order.  This is an extension, not part of the C++
williamr@4: // standard.
williamr@4: template <class _ForwardIter, class _StrictWeakOrdering>
williamr@4: bool __is_sorted(_ForwardIter __first, _ForwardIter __last,
williamr@4:                  _StrictWeakOrdering __comp);
williamr@4: 
williamr@4: template <class _ForwardIter>
williamr@4: inline bool is_sorted(_ForwardIter __first, _ForwardIter __last) {
williamr@4:   return __is_sorted(__first, __last, __less(_STLP_VALUE_TYPE(__first, _ForwardIter)));
williamr@4: }
williamr@4: 
williamr@4: template <class _ForwardIter, class _StrictWeakOrdering>
williamr@4: inline bool is_sorted(_ForwardIter __first, _ForwardIter __last,
williamr@4:                       _StrictWeakOrdering __comp) {
williamr@4:   return __is_sorted(__first, __last, __comp);
williamr@4: }
williamr@4: # endif
williamr@4: 
williamr@4: _STLP_END_NAMESPACE
williamr@4: 
williamr@4: # if !defined (_STLP_LINK_TIME_INSTANTIATION)
williamr@4: #  include <stl/_algo.c>
williamr@4: # endif
williamr@4: 
williamr@4: #endif /* _STLP_INTERNAL_ALGO_H */
williamr@4: 
williamr@4: // Local Variables:
williamr@4: // mode:C++
williamr@4: // End:
williamr@4: