Boost logo

Boost-Commit :

Subject: [Boost-commit] svn:boost r78025 - in branches/release: boost/algorithm boost/algorithm/cxx11 boost/algorithm/searching boost/algorithm/searching/detail libs/algorithm/doc libs/algorithm/example libs/algorithm/test libs/algorithm/test/search_test_data
From: marshall_at_[hidden]
Date: 2012-04-16 14:54:47


Author: marshall
Date: 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
New Revision: 78025
URL: http://svn.boost.org/trac/boost/changeset/78025

Log:
Merge Boost.Algorithm to release branch
Added:
   branches/release/boost/algorithm/clamp.hpp (contents, props changed)
   branches/release/boost/algorithm/cxx11/
   branches/release/boost/algorithm/cxx11/all_of.hpp (contents, props changed)
   branches/release/boost/algorithm/cxx11/any_of.hpp (contents, props changed)
   branches/release/boost/algorithm/cxx11/copy_if.hpp (contents, props changed)
   branches/release/boost/algorithm/cxx11/copy_n.hpp (contents, props changed)
   branches/release/boost/algorithm/cxx11/find_if_not.hpp (contents, props changed)
   branches/release/boost/algorithm/cxx11/iota.hpp (contents, props changed)
   branches/release/boost/algorithm/cxx11/is_partitioned.hpp (contents, props changed)
   branches/release/boost/algorithm/cxx11/is_permutation.hpp (contents, props changed)
   branches/release/boost/algorithm/cxx11/is_sorted.hpp (contents, props changed)
   branches/release/boost/algorithm/cxx11/none_of.hpp (contents, props changed)
   branches/release/boost/algorithm/cxx11/one_of.hpp (contents, props changed)
   branches/release/boost/algorithm/cxx11/partition_copy.hpp (contents, props changed)
   branches/release/boost/algorithm/cxx11/partition_point.hpp (contents, props changed)
   branches/release/boost/algorithm/hex.hpp (contents, props changed)
   branches/release/boost/algorithm/searching/
   branches/release/boost/algorithm/searching/boyer_moore.hpp (contents, props changed)
   branches/release/boost/algorithm/searching/boyer_moore_horspool.hpp (contents, props changed)
   branches/release/boost/algorithm/searching/detail/
   branches/release/boost/algorithm/searching/detail/bm_traits.hpp (contents, props changed)
   branches/release/boost/algorithm/searching/detail/debugging.hpp (contents, props changed)
   branches/release/boost/algorithm/searching/knuth_morris_pratt.hpp (contents, props changed)
   branches/release/libs/algorithm/doc/
   branches/release/libs/algorithm/doc/Jamfile.v2 (contents, props changed)
   branches/release/libs/algorithm/doc/algorithm.qbk (contents, props changed)
   branches/release/libs/algorithm/doc/all_of.qbk (contents, props changed)
   branches/release/libs/algorithm/doc/any_of.qbk (contents, props changed)
   branches/release/libs/algorithm/doc/boyer_moore.qbk (contents, props changed)
   branches/release/libs/algorithm/doc/boyer_moore_horspool.qbk (contents, props changed)
   branches/release/libs/algorithm/doc/clamp-hpp.qbk (contents, props changed)
   branches/release/libs/algorithm/doc/hex.qbk (contents, props changed)
   branches/release/libs/algorithm/doc/is_partitioned.qbk (contents, props changed)
   branches/release/libs/algorithm/doc/knuth_morris_pratt.qbk (contents, props changed)
   branches/release/libs/algorithm/doc/none_of.qbk (contents, props changed)
   branches/release/libs/algorithm/doc/one_of.qbk (contents, props changed)
   branches/release/libs/algorithm/doc/ordered-hpp.qbk (contents, props changed)
   branches/release/libs/algorithm/doc/partition_point.qbk (contents, props changed)
   branches/release/libs/algorithm/example/
   branches/release/libs/algorithm/example/Jamfile.v2 (contents, props changed)
   branches/release/libs/algorithm/example/clamp_example.cpp (contents, props changed)
   branches/release/libs/algorithm/example/search_example.cpp (contents, props changed)
   branches/release/libs/algorithm/test/
   branches/release/libs/algorithm/test/Jamfile.v2 (contents, props changed)
   branches/release/libs/algorithm/test/all_of_test.cpp (contents, props changed)
   branches/release/libs/algorithm/test/any_of_test.cpp (contents, props changed)
   branches/release/libs/algorithm/test/clamp_test.cpp (contents, props changed)
   branches/release/libs/algorithm/test/copy_n_test1.cpp (contents, props changed)
   branches/release/libs/algorithm/test/empty_search_test.cpp (contents, props changed)
   branches/release/libs/algorithm/test/find_if_not_test1.cpp (contents, props changed)
   branches/release/libs/algorithm/test/hex_fail1.cpp (contents, props changed)
   branches/release/libs/algorithm/test/hex_test1.cpp (contents, props changed)
   branches/release/libs/algorithm/test/hex_test2.cpp (contents, props changed)
   branches/release/libs/algorithm/test/hex_test3.cpp (contents, props changed)
   branches/release/libs/algorithm/test/iota_test1.cpp (contents, props changed)
   branches/release/libs/algorithm/test/is_partitioned_test1.cpp (contents, props changed)
   branches/release/libs/algorithm/test/is_permutation_test1.cpp (contents, props changed)
   branches/release/libs/algorithm/test/none_of_test.cpp (contents, props changed)
   branches/release/libs/algorithm/test/one_of_test.cpp (contents, props changed)
   branches/release/libs/algorithm/test/ordered_test.cpp (contents, props changed)
   branches/release/libs/algorithm/test/partition_copy_test1.cpp (contents, props changed)
   branches/release/libs/algorithm/test/partition_point_test1.cpp (contents, props changed)
   branches/release/libs/algorithm/test/search_fail1.cpp (contents, props changed)
   branches/release/libs/algorithm/test/search_fail2.cpp (contents, props changed)
   branches/release/libs/algorithm/test/search_fail3.cpp (contents, props changed)
   branches/release/libs/algorithm/test/search_test1.cpp (contents, props changed)
   branches/release/libs/algorithm/test/search_test2.cpp (contents, props changed)
   branches/release/libs/algorithm/test/search_test3.cpp (contents, props changed)
   branches/release/libs/algorithm/test/search_test_data/
   branches/release/libs/algorithm/test/search_test_data/0001.corpus (contents, props changed)
   branches/release/libs/algorithm/test/search_test_data/0001b.pat (contents, props changed)
   branches/release/libs/algorithm/test/search_test_data/0001e.pat (contents, props changed)
   branches/release/libs/algorithm/test/search_test_data/0001f.pat (contents, props changed)
   branches/release/libs/algorithm/test/search_test_data/0001n.pat (contents, props changed)
   branches/release/libs/algorithm/test/search_test_data/0002b.pat (contents, props changed)
   branches/release/libs/algorithm/test/search_test_data/0002e.pat (contents, props changed)
   branches/release/libs/algorithm/test/search_test_data/0002f.pat (contents, props changed)
   branches/release/libs/algorithm/test/search_test_data/0002n.pat (contents, props changed)

Added: branches/release/boost/algorithm/clamp.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/clamp.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,175 @@
+/*
+ Copyright (c) Marshall Clow 2008-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ Revision history:
+ 27 June 2009 mtc First version
+ 23 Oct 2010 mtc Added predicate version
+
+*/
+
+/// \file clamp.hpp
+/// \brief Clamp algorithm
+/// \author Marshall Clow
+///
+/// Suggested by olafvdspek in https://svn.boost.org/trac/boost/ticket/3215
+
+#ifndef BOOST_ALGORITHM_CLAMP_HPP
+#define BOOST_ALGORITHM_CLAMP_HPP
+
+#include <functional> // For std::less
+#include <iterator> // For std::iterator_traits
+#include <cassert>
+
+#include <boost/range/begin.hpp>
+#include <boost/range/end.hpp>
+#include <boost/mpl/identity.hpp> // for identity
+#include <boost/utility/enable_if.hpp> // for boost::disable_if
+
+namespace boost { namespace algorithm {
+
+/// \fn clamp ( T const& val,
+/// typename boost::mpl::identity<T>::type const& lo,
+/// typename boost::mpl::identity<T>::type const& hi, Pred p )
+/// \return the value "val" brought into the range [ lo, hi ]
+/// using the comparison predicate p.
+/// If p ( val, lo ) return lo.
+/// If p ( hi, val ) return hi.
+/// Otherwise, return the original value.
+///
+/// \param val The value to be clamped
+/// \param lo The lower bound of the range to be clamped to
+/// \param hi The upper bound of the range to be clamped to
+/// \param p A predicate to use to compare the values.
+/// p ( a, b ) returns a boolean.
+///
+ template<typename T, typename Pred>
+ T const & clamp ( T const& val,
+ typename boost::mpl::identity<T>::type const & lo,
+ typename boost::mpl::identity<T>::type const & hi, Pred p )
+ {
+// assert ( !p ( hi, lo )); // Can't assert p ( lo, hi ) b/c they might be equal
+ return p ( val, lo ) ? lo : p ( hi, val ) ? hi : val;
+ }
+
+
+/// \fn clamp ( T const& val,
+/// typename boost::mpl::identity<T>::type const& lo,
+/// typename boost::mpl::identity<T>::type const& hi )
+/// \return the value "val" brought into the range [ lo, hi ].
+/// If the value is less than lo, return lo.
+/// If the value is greater than "hi", return hi.
+/// Otherwise, return the original value.
+///
+/// \param val The value to be clamped
+/// \param lo The lower bound of the range to be clamped to
+/// \param hi The upper bound of the range to be clamped to
+///
+ template<typename T>
+ T const& clamp ( const T& val,
+ typename boost::mpl::identity<T>::type const & lo,
+ typename boost::mpl::identity<T>::type const & hi )
+ {
+ return (clamp) ( val, lo, hi, std::less<T>());
+ }
+
+/// \fn clamp_range ( InputIterator first, InputIterator last, OutputIterator out,
+/// std::iterator_traits<InputIterator>::value_type lo,
+/// std::iterator_traits<InputIterator>::value_type hi )
+/// \return clamp the sequence of values [first, last) into [ lo, hi ]
+///
+/// \param first The start of the range of values
+/// \param last One past the end of the range of input values
+/// \param out An output iterator to write the clamped values into
+/// \param lo The lower bound of the range to be clamped to
+/// \param hi The upper bound of the range to be clamped to
+///
+ template<typename InputIterator, typename OutputIterator>
+ OutputIterator clamp_range ( InputIterator first, InputIterator last, OutputIterator out,
+ typename std::iterator_traits<InputIterator>::value_type lo,
+ typename std::iterator_traits<InputIterator>::value_type hi )
+ {
+ // this could also be written with bind and std::transform
+ while ( first != last )
+ *out++ = clamp ( *first++, lo, hi );
+ return out;
+ }
+
+/// \fn clamp_range ( const Range &r, OutputIterator out,
+/// typename std::iterator_traits<typename boost::range_iterator<const Range>::type>::value_type lo,
+/// typename std::iterator_traits<typename boost::range_iterator<const Range>::type>::value_type hi )
+/// \return clamp the sequence of values [first, last) into [ lo, hi ]
+///
+/// \param r The range of values to be clamped
+/// \param out An output iterator to write the clamped values into
+/// \param lo The lower bound of the range to be clamped to
+/// \param hi The upper bound of the range to be clamped to
+///
+ template<typename Range, typename OutputIterator>
+ typename boost::disable_if_c<boost::is_same<Range, OutputIterator>::value, OutputIterator>::type
+ clamp_range ( const Range &r, OutputIterator out,
+ typename std::iterator_traits<typename boost::range_iterator<const Range>::type>::value_type lo,
+ typename std::iterator_traits<typename boost::range_iterator<const Range>::type>::value_type hi )
+ {
+ return clamp_range ( boost::begin ( r ), boost::end ( r ), out, lo, hi );
+ }
+
+
+/// \fn clamp_range ( InputIterator first, InputIterator last, OutputIterator out,
+/// std::iterator_traits<InputIterator>::value_type lo,
+/// std::iterator_traits<InputIterator>::value_type hi, Pred p )
+/// \return clamp the sequence of values [first, last) into [ lo, hi ]
+/// using the comparison predicate p.
+///
+/// \param first The start of the range of values
+/// \param last One past the end of the range of input values
+/// \param out An output iterator to write the clamped values into
+/// \param lo The lower bound of the range to be clamped to
+/// \param hi The upper bound of the range to be clamped to
+/// \param p A predicate to use to compare the values.
+/// p ( a, b ) returns a boolean.
+
+///
+ template<typename InputIterator, typename OutputIterator, typename Pred>
+ OutputIterator clamp_range ( InputIterator first, InputIterator last, OutputIterator out,
+ typename std::iterator_traits<InputIterator>::value_type lo,
+ typename std::iterator_traits<InputIterator>::value_type hi, Pred p )
+ {
+ // this could also be written with bind and std::transform
+ while ( first != last )
+ *out++ = clamp ( *first++, lo, hi, p );
+ return out;
+ }
+
+/// \fn clamp_range ( const Range &r, OutputIterator out,
+/// typename std::iterator_traits<typename boost::range_iterator<const Range>::type>::value_type lo,
+/// typename std::iterator_traits<typename boost::range_iterator<const Range>::type>::value_type hi,
+/// Pred p )
+/// \return clamp the sequence of values [first, last) into [ lo, hi ]
+/// using the comparison predicate p.
+///
+/// \param r The range of values to be clamped
+/// \param out An output iterator to write the clamped values into
+/// \param lo The lower bound of the range to be clamped to
+/// \param hi The upper bound of the range to be clamped to
+/// \param p A predicate to use to compare the values.
+/// p ( a, b ) returns a boolean.
+//
+// Disable this template if the first two parameters are the same type;
+// In that case, the user will get the two iterator version.
+ template<typename Range, typename OutputIterator, typename Pred>
+ typename boost::disable_if_c<boost::is_same<Range, OutputIterator>::value, OutputIterator>::type
+ clamp_range ( const Range &r, OutputIterator out,
+ typename std::iterator_traits<typename boost::range_iterator<const Range>::type>::value_type lo,
+ typename std::iterator_traits<typename boost::range_iterator<const Range>::type>::value_type hi,
+ Pred p )
+ {
+ return clamp_range ( boost::begin ( r ), boost::end ( r ), out, lo, hi, p );
+ }
+
+
+}}
+
+#endif // BOOST_ALGORITHM_CLAMP_HPP

Added: branches/release/boost/algorithm/cxx11/all_of.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/cxx11/all_of.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,90 @@
+/*
+ Copyright (c) Marshall Clow 2008-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+*/
+
+/// \file all_of.hpp
+/// \brief Test ranges to see if all elements match a value or predicate.
+/// \author Marshall Clow
+
+#ifndef BOOST_ALGORITHM_ALL_OF_HPP
+#define BOOST_ALGORITHM_ALL_OF_HPP
+
+#include <boost/range/begin.hpp>
+#include <boost/range/end.hpp>
+
+namespace boost { namespace algorithm {
+
+#if __cplusplus >= 201103L
+// Use the C++11 versions of all_of if it is available
+using std::all_of; // Section 25.2.1
+#else
+/// \fn all_of ( InputIterator first, InputIterator last, Predicate p )
+/// \return true if all elements in [first, last) satisfy the predicate 'p'
+/// \note returns true on an empty range
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param p A predicate for testing the elements of the sequence
+///
+/// \note This function is part of the C++2011 standard library.
+/// We will use the standard one if it is available,
+/// otherwise we have our own implementation.
+template<typename InputIterator, typename Predicate>
+bool all_of ( InputIterator first, InputIterator last, Predicate p )
+{
+ for ( ; first != last; ++first )
+ if ( !p(*first))
+ return false;
+ return true;
+}
+#endif
+
+/// \fn all_of ( const Range &r, Predicate p )
+/// \return true if all elements in the range satisfy the predicate 'p'
+/// \note returns true on an empty range
+///
+/// \param r The input range
+/// \param p A predicate for testing the elements of the range
+///
+template<typename Range, typename Predicate>
+bool all_of ( const Range &r, Predicate p )
+{
+ return boost::algorithm::all_of ( boost::begin (r), boost::end (r), p );
+}
+
+/// \fn all_of_equal ( InputIterator first, InputIterator last, const T &val )
+/// \return true if all elements in [first, last) are equal to 'val'
+/// \note returns true on an empty range
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param val A value to compare against
+///
+template<typename InputIterator, typename T>
+bool all_of_equal ( InputIterator first, InputIterator last, const T &val )
+{
+ for ( ; first != last; ++first )
+ if ( val != *first )
+ return false;
+ return true;
+}
+
+/// \fn all_of_equal ( const Range &r, const T &val )
+/// \return true if all elements in the range are equal to 'val'
+/// \note returns true on an empty range
+///
+/// \param r The input range
+/// \param val A value to compare against
+///
+template<typename Range, typename T>
+bool all_of_equal ( const Range &r, const T &val )
+{
+ return boost::algorithm::all_of_equal ( boost::begin (r), boost::end (r), val );
+}
+
+}} // namespace boost and algorithm
+
+#endif // BOOST_ALGORITHM_ALL_OF_HPP

Added: branches/release/boost/algorithm/cxx11/any_of.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/cxx11/any_of.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,89 @@
+/*
+ Copyright (c) Marshall Clow 2008-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+/// \file
+/// \brief Test ranges to see if any elements match a value or predicate.
+/// \author Marshall Clow
+
+#ifndef BOOST_ALGORITHM_ANY_OF_HPP
+#define BOOST_ALGORITHM_ANY_OF_HPP
+
+#include <boost/range/begin.hpp>
+#include <boost/range/end.hpp>
+
+namespace boost { namespace algorithm {
+
+// Use the C++11 versions of any_of if it is available
+#if __cplusplus >= 201103L
+using std::any_of; // Section 25.2.2
+#else
+/// \fn any_of ( InputIterator first, InputIterator last, Predicate p )
+/// \return true if any of the elements in [first, last) satisfy the predicate
+/// \note returns false on an empty range
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param p A predicate for testing the elements of the sequence
+///
+template<typename InputIterator, typename Predicate>
+bool any_of ( InputIterator first, InputIterator last, Predicate p )
+{
+ for ( ; first != last; ++first )
+ if ( p(*first))
+ return true;
+ return false;
+}
+#endif
+
+/// \fn any_of ( const Range &r, Predicate p )
+/// \return true if any elements in the range satisfy the predicate 'p'
+/// \note returns false on an empty range
+///
+/// \param r The input range
+/// \param p A predicate for testing the elements of the range
+///
+template<typename Range, typename Predicate>
+bool any_of ( const Range &r, Predicate p )
+{
+ return boost::algorithm::any_of (boost::begin (r), boost::end (r), p);
+}
+
+/// \fn any_of_equal ( InputIterator first, InputIterator last, const V &val )
+/// \return true if any of the elements in [first, last) are equal to 'val'
+/// \note returns false on an empty range
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param val A value to compare against
+///
+template<typename InputIterator, typename V>
+bool any_of_equal ( InputIterator first, InputIterator last, const V &val )
+{
+ for ( ; first != last; ++first )
+ if ( val == *first )
+ return true;
+ return false;
+}
+
+/// \fn any_of_equal ( const Range &r, const V &val )
+/// \return true if any of the elements in the range are equal to 'val'
+/// \note returns false on an empty range
+///
+/// \param r The input range
+/// \param val A value to compare against
+///
+template<typename Range, typename V>
+bool any_of_equal ( const Range &r, const V &val )
+{
+ return boost::algorithm::any_of_equal (boost::begin (r), boost::end (r), val);
+}
+
+}} // namespace boost and algorithm
+
+#endif // BOOST_ALGORITHM_ANY_OF_HPP

Added: branches/release/boost/algorithm/cxx11/copy_if.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/cxx11/copy_if.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,133 @@
+/*
+ Copyright (c) Marshall Clow 2008-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+*/
+
+/// \file copy_if.hpp
+/// \brief Copy a subset of a sequence to a new sequence
+/// \author Marshall Clow
+
+#ifndef BOOST_ALGORITHM_COPY_IF_HPP
+#define BOOST_ALGORITHM_COPY_IF_HPP
+
+#include <algorithm> // for std::copy_if, if available
+#include <boost/range/begin.hpp>
+#include <boost/range/end.hpp>
+
+namespace boost { namespace algorithm {
+
+#if __cplusplus >= 201103L
+// Use the C++11 versions of copy_if if it is available
+using std::copy_if; // Section 25.3.1
+#else
+/// \fn copy_if ( InputIterator first, InputIterator last, OutputIterator result, Predicate p )
+/// \brief Copies all the elements from the input range that satisfy the
+/// predicate to the output range.
+/// \return The updated output iterator
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param result An output iterator to write the results into
+/// \param p A predicate for testing the elements of the range
+/// \note This function is part of the C++2011 standard library.
+/// We will use the standard one if it is available,
+/// otherwise we have our own implementation.
+template<typename InputIterator, typename OutputIterator, typename Predicate>
+OutputIterator copy_if ( InputIterator first, InputIterator last, OutputIterator result, Predicate p )
+{
+ for ( ; first != last; ++first )
+ if (p(*first))
+ *result++ = first;
+ return result;
+}
+#endif
+
+/// \fn copy_if ( const Range &r, OutputIterator result, Predicate p )
+/// \brief Copies all the elements from the input range that satisfy the
+/// predicate to the output range.
+/// \return The updated output iterator
+///
+/// \param r The input range
+/// \param result An output iterator to write the results into
+/// \param p A predicate for testing the elements of the range
+///
+template<typename Range, typename OutputIterator, typename Predicate>
+OutputIterator copy_if ( const Range &r, OutputIterator result, Predicate p )
+{
+ return boost::algorithm::copy_if (boost::begin (r), boost::end(r), result, p);
+}
+
+
+/// \fn copy_while ( InputIterator first, InputIterator last, OutputIterator result, Predicate p )
+/// \brief Copies all the elements at the start of the input range that
+/// satisfy the predicate to the output range.
+/// \return The updated output iterator
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param result An output iterator to write the results into
+/// \param p A predicate for testing the elements of the range
+///
+template<typename InputIterator, typename OutputIterator, typename Predicate>
+OutputIterator copy_while ( InputIterator first, InputIterator last,
+ OutputIterator result, Predicate p )
+{
+ for ( ; first != last && p(*first); ++first )
+ *result++ = first;
+ return result;
+}
+
+/// \fn copy_while ( const Range &r, OutputIterator result, Predicate p )
+/// \brief Copies all the elements at the start of the input range that
+/// satisfy the predicate to the output range.
+/// \return The updated output iterator
+///
+/// \param r The input range
+/// \param result An output iterator to write the results into
+/// \param p A predicate for testing the elements of the range
+///
+template<typename Range, typename OutputIterator, typename Predicate>
+OutputIterator copy_while ( const Range &r, OutputIterator result, Predicate p )
+{
+ return boost::algorithm::copy_while (boost::begin (r), boost::end(r), result, p);
+}
+
+
+/// \fn copy_until ( InputIterator first, InputIterator last, OutputIterator result, Predicate p )
+/// \brief Copies all the elements at the start of the input range that do not
+/// satisfy the predicate to the output range.
+/// \return The updated output iterator
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param result An output iterator to write the results into
+/// \param p A predicate for testing the elements of the range
+///
+template<typename InputIterator, typename OutputIterator, typename Predicate>
+OutputIterator copy_until ( InputIterator first, InputIterator last, OutputIterator result, Predicate p )
+{
+ for ( ; first != last && !p(*first); ++first )
+ *result++ = first;
+ return result;
+}
+
+/// \fn copy_until ( const Range &r, OutputIterator result, Predicate p )
+/// \brief Copies all the elements at the start of the input range that do not
+/// satisfy the predicate to the output range.
+/// \return The updated output iterator
+///
+/// \param r The input range
+/// \param result An output iterator to write the results into
+/// \param p A predicate for testing the elements of the range
+///
+template<typename Range, typename OutputIterator, typename Predicate>
+OutputIterator copy_until ( const Range &r, OutputIterator result, Predicate p )
+{
+ return boost::algorithm::copy_until (boost::begin (r), boost::end(r), result, p);
+}
+
+}} // namespace boost and algorithm
+
+#endif // BOOST_ALGORITHM_COPY_IF_HPP

Added: branches/release/boost/algorithm/cxx11/copy_n.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/cxx11/copy_n.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,44 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+*/
+
+/// \file copy_n.hpp
+/// \brief Copy n items from one sequence to another
+/// \author Marshall Clow
+
+#ifndef BOOST_ALGORITHM_COPY_N_HPP
+#define BOOST_ALGORITHM_COPY_N_HPP
+
+#include <algorithm> // for std::copy_n, if available
+
+namespace boost { namespace algorithm {
+
+#if __cplusplus >= 201103L
+// Use the C++11 versions of copy_n if it is available
+using std::copy_n; // Section 25.3.1
+#else
+/// \fn copy_n ( InputIterator first, Size n, OutputIterator result )
+/// \brief Copies exactly n (n > 0) elements from the range starting at first to
+/// the range starting at result.
+/// \return The updated output iterator
+///
+/// \param first The start of the input sequence
+/// \param n The number of elements to copy
+/// \param result An output iterator to write the results into
+/// \note This function is part of the C++2011 standard library.
+/// We will use the standard one if it is available,
+/// otherwise we have our own implementation.
+template <typename InputIterator, typename Size, typename OutputIterator>
+OutputIterator copy_n ( InputIterator first, Size n, OutputIterator result )
+{
+ for ( ; n > 0; --n, ++first, ++result )
+ *result = *first;
+ return result;
+}
+#endif
+}} // namespace boost and algorithm
+
+#endif // BOOST_ALGORITHM_COPY_IF_HPP

Added: branches/release/boost/algorithm/cxx11/find_if_not.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/cxx11/find_if_not.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,60 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+*/
+
+/// \file find_if_not.hpp
+/// \brief Find the first element in a sequence that does not satisfy a predicate.
+/// \author Marshall Clow
+
+#ifndef BOOST_ALGORITHM_FIND_IF_NOT_HPP
+#define BOOST_ALGORITHM_FIND_IF_NOT_HPP
+
+#include <algorithm> // for std::find_if_not, if it exists
+
+#include <boost/range/begin.hpp>
+#include <boost/range/end.hpp>
+
+namespace boost { namespace algorithm {
+
+#if __cplusplus >= 201103L
+// Use the C++11 versions of find_if_not if it is available
+using std::find_if_not; // Section 25.2.5
+#else
+/// \fn find_if_not(InputIterator first, InputIterator last, Predicate p)
+/// \brief Finds the first element in the sequence that does not satisfy the predicate.
+/// \return The iterator pointing to the desired element.
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param p A predicate for testing the elements of the range
+/// \note This function is part of the C++2011 standard library.
+/// We will use the standard one if it is available,
+/// otherwise we have our own implementation.
+template<typename InputIterator, typename Predicate>
+InputIterator find_if_not ( InputIterator first, InputIterator last, Predicate p )
+{
+ for ( ; first != last; ++first )
+ if ( !p(*first))
+ break;
+ return first;
+}
+#endif
+
+/// \fn find_if_not ( const Range &r, Predicate p )
+/// \brief Finds the first element in the sequence that does not satisfy the predicate.
+/// \return The iterator pointing to the desired element.
+///
+/// \param r The input range
+/// \param p A predicate for testing the elements of the range
+///
+template<typename Range, typename Predicate>
+typename boost::range_iterator<const Range>::type find_if_not ( const Range &r, Predicate p )
+{
+ return boost::algorithm::find_if_not (boost::begin (r), boost::end(r), p);
+}
+
+}}
+#endif // BOOST_ALGORITHM_FIND_IF_NOT_HPP

Added: branches/release/boost/algorithm/cxx11/iota.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/cxx11/iota.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,74 @@
+/*
+ Copyright (c) Marshall Clow 2008-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+*/
+
+/// \file iota.hpp
+/// \brief Generate an increasing series
+/// \author Marshall Clow
+
+#ifndef BOOST_ALGORITHM_IOTA_HPP
+#define BOOST_ALGORITHM_IOTA_HPP
+
+#include <numeric>
+
+#include <boost/range/begin.hpp>
+#include <boost/range/end.hpp>
+
+namespace boost { namespace algorithm {
+
+#if __cplusplus >= 201103L
+// Use the C++11 versions of iota if it is available
+using std::iota; // Section 26.7.6
+#else
+/// \fn iota ( ForwardIterator first, ForwardIterator last, T value )
+/// \brief Generates an increasing sequence of values, and stores them in [first, last)
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param value The initial value of the sequence to be generated
+/// \note This function is part of the C++2011 standard library.
+/// We will use the standard one if it is available,
+/// otherwise we have our own implementation.
+template <typename ForwardIterator, typename T>
+void iota ( ForwardIterator first, ForwardIterator last, T value )
+{
+ for ( ; first != last; ++first, ++value )
+ *first = value;
+}
+#endif
+
+/// \fn iota ( Range &r, T value )
+/// \brief Generates an increasing sequence of values, and stores them in the input Range.
+///
+/// \param r The input range
+/// \param value The initial value of the sequence to be generated
+///
+template <typename Range, typename T>
+void iota ( Range &r, T value )
+{
+ boost::algorithm::iota (boost::begin(r), boost::end(r), value);
+}
+
+
+/// \fn iota_n ( OutputIterator out, T value, std::size_t n )
+/// \brief Generates an increasing sequence of values, and stores them in the input Range.
+///
+/// \param out An output iterator to write the results into
+/// \param value The initial value of the sequence to be generated
+/// \param n The number of items to write
+///
+template <typename OutputIterator, typename T>
+OutputIterator iota_n ( OutputIterator out, T value, std::size_t n )
+{
+ while ( n-- > 0 )
+ *out++ = value++;
+
+ return out;
+}
+
+}}
+
+#endif // BOOST_ALGORITHM_IOTA_HPP
\ No newline at end of file

Added: branches/release/boost/algorithm/cxx11/is_partitioned.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/cxx11/is_partitioned.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,65 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+*/
+
+/// \file is_partitioned.hpp
+/// \brief Tell if a sequence is partitioned
+/// \author Marshall Clow
+
+#ifndef BOOST_ALGORITHM_IS_PARTITIONED_HPP
+#define BOOST_ALGORITHM_IS_PARTITIONED_HPP
+
+#include <algorithm> // for std::is_partitioned, if available
+
+#include <boost/range/begin.hpp>
+#include <boost/range/end.hpp>
+
+namespace boost { namespace algorithm {
+
+#if __cplusplus >= 201103L
+// Use the C++11 versions of iota if it is available
+using std::is_partitioned; // Section 25.3.13
+#else
+/// \fn is_partitioned ( InputIterator first, InputIterator last, UnaryPredicate p )
+/// \brief Tests to see if a sequence is partititioned according to a predicate
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param p The predicicate to test the values with
+/// \note This function is part of the C++2011 standard library.
+/// We will use the standard one if it is available,
+/// otherwise we have our own implementation.
+template <typename InputIterator, typename UnaryPredicate>
+bool is_partitioned ( InputIterator first, InputIterator last, UnaryPredicate p )
+{
+// Run through the part that satisfy the predicate
+ for ( ; first != last; ++first )
+ if ( !p (*first))
+ break;
+// Now the part that does not satisfy the predicate
+ for ( ; first != last; ++first )
+ if ( p (*first))
+ return false;
+ return true;
+}
+#endif
+
+/// \fn is_partitioned ( const Range &r, UnaryPredicate p )
+/// \brief Generates an increasing sequence of values, and stores them in the input Range.
+///
+/// \param r The input range
+/// \param p The predicicate to test the values with
+///
+template <typename Range, typename UnaryPredicate>
+bool is_partitioned ( const Range &r, UnaryPredicate p )
+{
+ return boost::algorithm::is_partitioned (boost::begin(r), boost::end(r), p);
+}
+
+
+}}
+
+#endif // BOOST_ALGORITHM_IS_PARTITIONED_HPP
\ No newline at end of file

Added: branches/release/boost/algorithm/cxx11/is_permutation.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/cxx11/is_permutation.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,139 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+*/
+
+/// \file is_permutation.hpp
+/// \brief Is a sequence a permutation of another sequence
+/// \author Marshall Clow
+
+#ifndef BOOST_ALGORITHM_IS_PERMUTATION_HPP
+#define BOOST_ALGORITHM_IS_PERMUTATION_HPP
+
+#include <algorithm> // for std::less, tie, mismatch and is_permutation (if available)
+#include <utility> // for std::make_pair
+#include <functional> // for std::equal_to
+#include <iterator>
+
+#include <boost/range/begin.hpp>
+#include <boost/range/end.hpp>
+#include <boost/utility/enable_if.hpp>
+#include <boost/type_traits/is_same.hpp>
+#include <boost/tr1/tr1/tuple> // for tie
+
+namespace boost { namespace algorithm {
+
+#if __cplusplus >= 201103L
+// Use the C++11 versions of is_permutation if it is available
+using std::is_permutation; // Section 25.2.12
+#else
+/// \cond DOXYGEN_HIDE
+namespace detail {
+ template <typename Predicate, typename Iterator>
+ struct value_predicate {
+ value_predicate ( Predicate p, Iterator it ) : p_ ( p ), it_ ( it ) {}
+
+ template <typename T1>
+ bool operator () ( const T1 &t1 ) const { return p_ ( *it_, t1 ); }
+ private:
+ Predicate &p_;
+ Iterator it_;
+ };
+}
+/// \endcond
+
+
+/// \fn is_permutation ( ForwardIterator1 first, ForwardIterator1 last, ForwardIterator2 first2, BinaryPredicate p )
+/// \brief Tests to see if a the sequence [first,last) is a permutation of the sequence starting at first2
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param first2 The start of the second sequence
+/// \param p The predicate to compare elements with
+///
+/// \note This function is part of the C++2011 standard library.
+/// We will use the standard one if it is available,
+/// otherwise we have our own implementation.
+template< class ForwardIterator1, class ForwardIterator2, class BinaryPredicate >
+bool is_permutation ( ForwardIterator1 first1, ForwardIterator1 last1,
+ ForwardIterator2 first2, BinaryPredicate p )
+{
+// Skip the common prefix (if any)
+// std::tie (first1, first2) = std::mismatch (first1, last1, first2, p);
+ std::pair<ForwardIterator1, ForwardIterator2> eq = std::mismatch (first1, last1, first2, p);
+ first1 = eq.first;
+ first2 = eq.second;
+ if ( first1 != last1 ) {
+ // Create last2
+ ForwardIterator2 last2 = first2;
+ std::advance ( last2, std::distance (first1, last1));
+
+ // for each unique value in the sequence [first1,last1), count how many times
+ // it occurs, and make sure it occurs the same number of times in [first2, last2)
+ for ( ForwardIterator1 iter = first1; iter != last1; ++iter ) {
+ detail::value_predicate<BinaryPredicate, ForwardIterator1> pred ( p, iter );
+
+ /* For each value we haven't seen yet... */
+ if ( std::find_if ( first1, iter, pred ) == iter ) {
+ std::size_t dest_count = std::count_if ( first2, last2, pred );
+ if ( dest_count == 0 || dest_count != (std::size_t) std::count_if ( iter, last1, pred ))
+ return false;
+ }
+ }
+ }
+
+ return true;
+}
+
+/// \fn is_permutation ( ForwardIterator1 first, ForwardIterator1 last, ForwardIterator2 first2 )
+/// \brief Tests to see if a the sequence [first,last) is a permutation of the sequence starting at first2
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param first2 The start of the second sequence
+/// \note This function is part of the C++2011 standard library.
+/// We will use the standard one if it is available,
+/// otherwise we have our own implementation.
+template< class ForwardIterator1, class ForwardIterator2 >
+bool is_permutation ( ForwardIterator1 first, ForwardIterator1 last, ForwardIterator2 first2 )
+{
+// How should I deal with the idea that ForwardIterator1::value_type
+// and ForwardIterator2::value_type could be different? Define my own comparison predicate?
+ return boost::algorithm::is_permutation ( first, last, first2,
+ std::equal_to<typename std::iterator_traits<ForwardIterator1>::value_type> ());
+}
+
+#endif
+
+/// \fn is_permutation ( const Range &r, ForwardIterator first2 )
+/// \brief Tests to see if a the sequence [first,last) is a permutation of the sequence starting at first2
+///
+/// \param r The input range
+/// \param first2 The start of the second sequence
+template <typename Range, typename ForwardIterator>
+bool is_permutation ( const Range &r, ForwardIterator first2 )
+{
+ return boost::algorithm::is_permutation (boost::begin (r), boost::end (r), first2 );
+}
+
+/// \fn is_permutation ( const Range &r, ForwardIterator first2, BinaryPredicate pred )
+/// \brief Tests to see if a the sequence [first,last) is a permutation of the sequence starting at first2
+///
+/// \param r The input range
+/// \param first2 The start of the second sequence
+/// \param pred The predicate to compare elements with
+///
+// Disable this template when the first two parameters are the same type
+// That way the non-range version will be chosen.
+template <typename Range, typename ForwardIterator, typename BinaryPredicate>
+typename boost::disable_if_c<boost::is_same<Range, ForwardIterator>::value, bool>::type
+is_permutation ( const Range &r, ForwardIterator first2, BinaryPredicate pred )
+{
+ return boost::algorithm::is_permutation (boost::begin (r), boost::end (r), first2, pred );
+}
+
+}}
+
+#endif // BOOST_ALGORITHM_IS_PERMUTATION_HPP
\ No newline at end of file

Added: branches/release/boost/algorithm/cxx11/is_sorted.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/cxx11/is_sorted.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,291 @@
+// Copyright (c) 2010 Nuovation System Designs, LLC
+// Grant Erickson <gerickson_at_[hidden]>
+//
+// Reworked somewhat by Marshall Clow; August 2010
+//
+// Distributed under the Boost Software License, Version 1.0. (See
+// accompanying file LICENSE_1_0.txt or copy at
+// http://www.boost.org/LICENSE_1_0.txt)
+//
+// See http://www.boost.org/ for latest version.
+//
+
+#ifndef BOOST_ALGORITHM_ORDERED_HPP
+#define BOOST_ALGORITHM_ORDERED_HPP
+
+#include <algorithm>
+#include <functional>
+#include <iterator>
+
+#include <boost/range/begin.hpp>
+#include <boost/range/end.hpp>
+
+#include <boost/utility/enable_if.hpp>
+#include <boost/type_traits/is_same.hpp>
+#include <boost/mpl/identity.hpp>
+
+namespace boost { namespace algorithm {
+
+#if __cplusplus >= 201103L
+// Use the C++11 versions of iota if it is available
+using std::is_sorted_until; // Section 25.4.1.5
+using std::is_sorted; // Section 25.4.1.5
+#else
+/// \fn is_sorted_until ( ForwardIterator first, ForwardIterator last, Pred p )
+/// \return the point in the sequence [first, last) where the elements are unordered
+/// (according to the comparison predicate 'p').
+///
+/// \param first The start of the sequence to be tested.
+/// \param last One past the end of the sequence
+/// \param p A binary predicate that returns true if two elements are ordered.
+///
+ template <typename ForwardIterator, typename Pred>
+ ForwardIterator is_sorted_until ( ForwardIterator first, ForwardIterator last, Pred p )
+ {
+ if ( first == last ) return last; // the empty sequence is ordered
+ ForwardIterator next = first;
+ while ( ++next != last )
+ {
+ if ( !p ( *first, *next ))
+ return next;
+ first = next;
+ }
+ return last;
+ }
+
+/// \fn is_sorted_until ( ForwardIterator first, ForwardIterator last )
+/// \return the point in the sequence [first, last) where the elements are unordered
+///
+/// \param first The start of the sequence to be tested.
+/// \param last One past the end of the sequence
+///
+ template <typename ForwardIterator>
+ ForwardIterator is_sorted_until ( ForwardIterator first, ForwardIterator last )
+ {
+ typedef typename std::iterator_traits<ForwardIterator>::value_type value_type;
+ return boost::algorithm::is_sorted_until ( first, last, std::less_equal<value_type>());
+ }
+
+
+/// \fn is_sorted ( ForwardIterator first, ForwardIterator last, Pred p )
+/// \return whether or not the entire sequence is sorted
+///
+/// \param first The start of the sequence to be tested.
+/// \param last One past the end of the sequence
+/// \param p A binary predicate that returns true if two elements are ordered.
+///
+ template <typename ForwardIterator, typename Pred>
+ bool is_sorted ( ForwardIterator first, ForwardIterator last, Pred p )
+ {
+ return boost::algorithm::is_sorted_until (first, last, p) == last;
+ }
+
+/// \fn is_sorted ( ForwardIterator first, ForwardIterator last )
+/// \return whether or not the entire sequence is sorted
+///
+/// \param first The start of the sequence to be tested.
+/// \param last One past the end of the sequence
+///
+ template <typename ForwardIterator>
+ bool is_sorted ( ForwardIterator first, ForwardIterator last )
+ {
+ return boost::algorithm::is_sorted_until (first, last) == last;
+ }
+#endif
+
+///
+/// -- Range based versions of the C++11 functions
+///
+
+/// \fn is_sorted_until ( const R &range, Pred p )
+/// \return the point in the range R where the elements are unordered
+/// (according to the comparison predicate 'p').
+///
+/// \param range The range to be tested.
+/// \param p A binary predicate that returns true if two elements are ordered.
+///
+ template <typename R, typename Pred>
+ typename boost::lazy_disable_if_c<
+ boost::is_same<R, Pred>::value,
+ typename boost::range_iterator<const R>
+ >::type is_sorted_until ( const R &range, Pred p )
+ {
+ return boost::algorithm::is_sorted_until ( boost::begin ( range ), boost::end ( range ), p );
+ }
+
+
+/// \fn is_sorted_until ( const R &range )
+/// \return the point in the range R where the elements are unordered
+///
+/// \param range The range to be tested.
+///
+ template <typename R>
+ typename boost::range_iterator<const R>::type is_sorted_until ( const R &range )
+ {
+ return boost::algorithm::is_sorted_until ( boost::begin ( range ), boost::end ( range ));
+ }
+
+namespace detail {
+ typedef struct { typedef bool type; } bool_;
+};
+
+/// \fn is_sorted ( const R &range, Pred p )
+/// \return whether or not the entire range R is sorted
+/// (according to the comparison predicate 'p').
+///
+/// \param range The range to be tested.
+/// \param p A binary predicate that returns true if two elements are ordered.
+///
+ template <typename R, typename Pred>
+ typename boost::lazy_disable_if_c< boost::is_same<R, Pred>::value, boost::mpl::identity<bool> >::type
+ is_sorted ( const R &range, Pred p )
+ {
+ return boost::algorithm::is_sorted ( boost::begin ( range ), boost::end ( range ), p );
+ }
+
+
+/// \fn is_sorted ( const R &range )
+/// \return whether or not the entire range R is sorted
+///
+/// \param range The range to be tested.
+///
+ template <typename R>
+ bool is_sorted ( const R &range )
+ {
+ return boost::algorithm::is_sorted ( boost::begin ( range ), boost::end ( range ));
+ }
+
+
+///
+/// -- Range based versions of the C++11 functions
+///
+
+/// \fn is_increasing ( ForwardIterator first, ForwardIterator last )
+/// \return true if the entire sequence is increasing; i.e, each item is greater than or
+/// equal to the previous one.
+///
+/// \param first The start of the sequence to be tested.
+/// \param last One past the end of the sequence
+///
+/// \note This function will return true for sequences that contain items that compare
+/// equal. If that is not what you intended, you should use is_strictly_increasing instead.
+ template <typename ForwardIterator>
+ bool is_increasing ( ForwardIterator first, ForwardIterator last )
+ {
+ typedef typename std::iterator_traits<ForwardIterator>::value_type value_type;
+ return boost::algorithm::is_sorted (first, last, std::less_equal<value_type>());
+ }
+
+
+/// \fn is_increasing ( const R &range )
+/// \return true if the entire sequence is increasing; i.e, each item is greater than or
+/// equal to the previous one.
+///
+/// \param range The range to be tested.
+///
+/// \note This function will return true for sequences that contain items that compare
+/// equal. If that is not what you intended, you should use is_strictly_increasing instead.
+ template <typename R>
+ bool is_increasing ( const R &range )
+ {
+ return is_increasing ( boost::begin ( range ), boost::end ( range ));
+ }
+
+
+
+/// \fn is_decreasing ( ForwardIterator first, ForwardIterator last )
+/// \return true if the entire sequence is decreasing; i.e, each item is less than
+/// or equal to the previous one.
+///
+/// \param first The start of the sequence to be tested.
+/// \param last One past the end of the sequence
+///
+/// \note This function will return true for sequences that contain items that compare
+/// equal. If that is not what you intended, you should use is_strictly_decreasing instead.
+ template <typename ForwardIterator>
+ bool is_decreasing ( ForwardIterator first, ForwardIterator last )
+ {
+ typedef typename std::iterator_traits<ForwardIterator>::value_type value_type;
+ return boost::algorithm::is_sorted (first, last, std::greater_equal<value_type>());
+ }
+
+/// \fn is_decreasing ( const R &range )
+/// \return true if the entire sequence is decreasing; i.e, each item is less than
+/// or equal to the previous one.
+///
+/// \param range The range to be tested.
+///
+/// \note This function will return true for sequences that contain items that compare
+/// equal. If that is not what you intended, you should use is_strictly_decreasing instead.
+ template <typename R>
+ bool is_decreasing ( const R &range )
+ {
+ return is_decreasing ( boost::begin ( range ), boost::end ( range ));
+ }
+
+
+
+/// \fn is_strictly_increasing ( ForwardIterator first, ForwardIterator last )
+/// \return true if the entire sequence is strictly increasing; i.e, each item is greater
+/// than the previous one
+///
+/// \param first The start of the sequence to be tested.
+/// \param last One past the end of the sequence
+///
+/// \note This function will return false for sequences that contain items that compare
+/// equal. If that is not what you intended, you should use is_increasing instead.
+ template <typename ForwardIterator>
+ bool is_strictly_increasing ( ForwardIterator first, ForwardIterator last )
+ {
+ typedef typename std::iterator_traits<ForwardIterator>::value_type value_type;
+ return boost::algorithm::is_sorted (first, last, std::less<value_type>());
+ }
+
+/// \fn is_strictly_increasing ( const R &range )
+/// \return true if the entire sequence is strictly increasing; i.e, each item is greater
+/// than the previous one
+///
+/// \param range The range to be tested.
+///
+/// \note This function will return false for sequences that contain items that compare
+/// equal. If that is not what you intended, you should use is_increasing instead.
+ template <typename R>
+ bool is_strictly_increasing ( const R &range )
+ {
+ return is_strictly_increasing ( boost::begin ( range ), boost::end ( range ));
+ }
+
+
+/// \fn is_strictly_decreasing ( ForwardIterator first, ForwardIterator last )
+/// \return true if the entire sequence is strictly decreasing; i.e, each item is less than
+/// the previous one
+///
+/// \param first The start of the sequence to be tested.
+/// \param last One past the end of the sequence
+///
+/// \note This function will return false for sequences that contain items that compare
+/// equal. If that is not what you intended, you should use is_decreasing instead.
+ template <typename ForwardIterator>
+ bool is_strictly_decreasing ( ForwardIterator first, ForwardIterator last )
+ {
+ typedef typename std::iterator_traits<ForwardIterator>::value_type value_type;
+ return boost::algorithm::is_sorted (first, last, std::greater<value_type>());
+ }
+
+/// \fn is_strictly_decreasing ( const R &range )
+/// \return true if the entire sequence is strictly decreasing; i.e, each item is less than
+/// the previous one
+///
+/// \param range The range to be tested.
+///
+/// \note This function will return false for sequences that contain items that compare
+/// equal. If that is not what you intended, you should use is_decreasing instead.
+ template <typename R>
+ bool is_strictly_decreasing ( const R &range )
+ {
+ return is_strictly_decreasing ( boost::begin ( range ), boost::end ( range ));
+ }
+
+}} // namespace boost
+
+#endif // BOOST_ALGORITHM_ORDERED_HPP

Added: branches/release/boost/algorithm/cxx11/none_of.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/cxx11/none_of.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,87 @@
+/*
+ Copyright (c) Marshall Clow 2008-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+*/
+
+/// \file none_of.hpp
+/// \brief Test ranges to see if no elements match a value or predicate.
+/// \author Marshall Clow
+
+#ifndef BOOST_ALGORITHM_NONE_OF_HPP
+#define BOOST_ALGORITHM_NONE_OF_HPP
+
+#include <boost/range/begin.hpp>
+#include <boost/range/end.hpp>
+
+namespace boost { namespace algorithm {
+
+// Use the C++11 versions of the none_of if it is available
+#if __cplusplus >= 201103L
+using std::none_of; // Section 25.2.3
+#else
+/// \fn none_of ( InputIterator first, InputIterator last, Predicate p )
+/// \return true if none of the elements in [first, last) satisfy the predicate 'p'
+/// \note returns true on an empty range
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param p A predicate for testing the elements of the sequence
+///
+template<typename InputIterator, typename Predicate>
+bool none_of ( InputIterator first, InputIterator last, Predicate p )
+{
+for ( ; first != last; ++first )
+ if ( p(*first))
+ return false;
+ return true;
+}
+#endif
+
+/// \fn none_of ( const Range &r, Predicate p )
+/// \return true if none of the elements in the range satisfy the predicate 'p'
+/// \note returns true on an empty range
+///
+/// \param r The input range
+/// \param p A predicate for testing the elements of the range
+///
+template<typename Range, typename Predicate>
+bool none_of ( const Range &r, Predicate p )
+{
+ return boost::algorithm::none_of (boost::begin (r), boost::end (r), p );
+}
+
+/// \fn none_of_equal ( InputIterator first, InputIterator last, const V &val )
+/// \return true if none of the elements in [first, last) are equal to 'val'
+/// \note returns true on an empty range
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param val A value to compare against
+///
+template<typename InputIterator, typename V>
+bool none_of_equal ( InputIterator first, InputIterator last, const V &val )
+{
+ for ( ; first != last; ++first )
+ if ( val == *first )
+ return false;
+ return true;
+}
+
+/// \fn none_of_equal ( const Range &r, const V &val )
+/// \return true if none of the elements in the range are equal to 'val'
+/// \note returns true on an empty range
+///
+/// \param r The input range
+/// \param val A value to compare against
+///
+template<typename Range, typename V>
+bool none_of_equal ( const Range &r, const V & val )
+{
+ return boost::algorithm::none_of_equal (boost::begin (r), boost::end (r), val);
+}
+
+}} // namespace boost and algorithm
+
+#endif // BOOST_ALGORITHM_NONE_OF_HPP

Added: branches/release/boost/algorithm/cxx11/one_of.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/cxx11/one_of.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,82 @@
+/*
+ Copyright (c) Marshall Clow 2008-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+*/
+
+/// \file one_of.hpp
+/// \brief Test ranges to see if only one element matches a value or predicate.
+/// \author Marshall Clow
+
+#ifndef BOOST_ALGORITHM_ONE_OF_HPP
+#define BOOST_ALGORITHM_ONE_OF_HPP
+
+#include <algorithm> // for std::find and std::find_if
+#include <boost/algorithm/cxx11/none_of.hpp>
+
+#include <boost/range/begin.hpp>
+#include <boost/range/end.hpp>
+
+namespace boost { namespace algorithm {
+
+/// \fn one_of ( InputIterator first, InputIterator last, Predicate p )
+/// \return true if the predicate 'p' is true for exactly one item in [first, last).
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param p A predicate for testing the elements of the sequence
+///
+template<typename InputIterator, typename Predicate>
+bool one_of ( InputIterator first, InputIterator last, Predicate p )
+{
+ InputIterator i = std::find_if (first, last, p);
+ if (i == last)
+ return false; // Didn't occur at all
+ return boost::algorithm::none_of (++i, last, p);
+}
+
+/// \fn one_of ( const Range &r, Predicate p )
+/// \return true if the predicate 'p' is true for exactly one item in the range.
+///
+/// \param r The input range
+/// \param p A predicate for testing the elements of the range
+///
+template<typename Range, typename Predicate>
+bool one_of ( const Range &r, Predicate p )
+{
+ return boost::algorithm::one_of ( boost::begin (r), boost::end (r), p );
+}
+
+
+/// \fn one_of_equal ( InputIterator first, InputIterator last, const V &val )
+/// \return true if the value 'val' exists only once in [first, last).
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param val A value to compare against
+///
+template<typename InputIterator, typename V>
+bool one_of_equal ( InputIterator first, InputIterator last, const V &val )
+{
+ InputIterator i = std::find (first, last, val); // find first occurrence of 'val'
+ if (i == last)
+ return false; // Didn't occur at all
+ return boost::algorithm::none_of_equal (++i, last, val);
+}
+
+/// \fn one_of_equal ( const Range &r, const V &val )
+/// \return true if the value 'val' exists only once in the range.
+///
+/// \param r The input range
+/// \param val A value to compare against
+///
+template<typename Range, typename V>
+bool one_of_equal ( const Range &r, const V &val )
+{
+ return boost::algorithm::one_of_equal ( boost::begin (r), boost::end (r), val );
+}
+
+}} // namespace boost and algorithm
+
+#endif // BOOST_ALGORITHM_ALL_HPP

Added: branches/release/boost/algorithm/cxx11/partition_copy.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/cxx11/partition_copy.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,77 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+*/
+
+/// \file partition_copy.hpp
+/// \brief Copy a subset of a sequence to a new sequence
+/// \author Marshall Clow
+
+#ifndef BOOST_ALGORITHM_PARTITION_COPY_HPP
+#define BOOST_ALGORITHM_PARTITION_COPY_HPP
+
+#include <utility> // for make_pair
+
+#include <boost/range/begin.hpp>
+#include <boost/range/end.hpp>
+
+namespace boost { namespace algorithm {
+
+#if __cplusplus >= 201103L
+// Use the C++11 versions of partition_copy if it is available
+using std::partition_copy; // Section 25.3.13
+#else
+/// \fn partition_copy ( InputIterator first, InputIterator last,
+/// OutputIterator1 out_true, OutputIterator2 out_false, UnaryPredicate p )
+/// \brief Copies the elements that satisfy the predicate p from the range [first, last)
+/// to the range beginning at d_first_true, and
+/// copies the elements that do not satisfy p to the range beginning at d_first_false.
+///
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param out_true An output iterator to write the elements that satisfy the predicate into
+/// \param out_false An output iterator to write the elements that do not satisfy the predicate into
+/// \param p A predicate for dividing the elements of the input sequence.
+///
+/// \note This function is part of the C++2011 standard library.
+/// We will use the standard one if it is available,
+/// otherwise we have our own implementation.
+template <typename InputIterator,
+ typename OutputIterator1, typename OutputIterator2, typename UnaryPredicate>
+std::pair<OutputIterator1, OutputIterator2>
+partition_copy ( InputIterator first, InputIterator last,
+ OutputIterator1 out_true, OutputIterator2 out_false, UnaryPredicate p )
+{
+ for ( ; first != last; ++first )
+ if ( p (*first))
+ *out_true++ = *first;
+ else
+ *out_false++ = *first;
+ return std::pair<OutputIterator1, OutputIterator2> ( out_true, out_false );
+}
+#endif
+
+/// \fn partition_copy ( const Range &r,
+/// OutputIterator1 out_true, OutputIterator2 out_false, UnaryPredicate p )
+///
+/// \param r The input range
+/// \param out_true An output iterator to write the elements that satisfy the predicate into
+/// \param out_false An output iterator to write the elements that do not satisfy the predicate into
+/// \param p A predicate for dividing the elements of the input sequence.
+///
+template <typename Range, typename OutputIterator1, typename OutputIterator2,
+ typename UnaryPredicate>
+std::pair<OutputIterator1, OutputIterator2>
+partition_copy ( const Range &r, OutputIterator1 out_true, OutputIterator2 out_false,
+ UnaryPredicate p )
+{
+ return boost::algorithm::partition_copy
+ (boost::begin(r), boost::end(r), out_true, out_false, p );
+}
+
+}} // namespace boost and algorithm
+
+#endif // BOOST_ALGORITHM_PARTITION_COPY_HPP

Added: branches/release/boost/algorithm/cxx11/partition_point.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/cxx11/partition_point.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,72 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+*/
+
+/// \file partition_point.hpp
+/// \brief Find the partition point in a sequence
+/// \author Marshall Clow
+
+#ifndef BOOST_ALGORITHM_PARTITION_POINT_HPP
+#define BOOST_ALGORITHM_PARTITION_POINT_HPP
+
+#include <algorithm> // for std::partition_point, if available
+
+#include <boost/range/begin.hpp>
+#include <boost/range/end.hpp>
+
+namespace boost { namespace algorithm {
+
+#if __cplusplus >= 201103L
+// Use the C++11 versions of iota if it is available
+using std::partition_point; // Section 25.3.13
+#else
+/// \fn partition_point ( ForwardIterator first, ForwardIterator last, Predicate p )
+/// \brief Given a partitioned range, returns the partition point, i.e, the first element
+/// that does not satisfy p
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param p The predicate to test the values with
+/// \note This function is part of the C++2011 standard library.
+/// We will use the standard one if it is available,
+/// otherwise we have our own implementation.
+template <typename ForwardIterator, typename Predicate>
+ForwardIterator partition_point ( ForwardIterator first, ForwardIterator last, Predicate p )
+{
+ std::size_t dist = std::distance ( first, last );
+ while ( first != last ) {
+ std::size_t d2 = dist / 2;
+ ForwardIterator ret_val = first;
+ std::advance (ret_val, d2);
+ if (p (*ret_val)) {
+ first = ++ret_val;
+ dist -= d2 + 1;
+ }
+ else {
+ last = ret_val;
+ dist = d2;
+ }
+ }
+ return first;
+}
+#endif
+
+/// \fn partition_point ( Range &r, Predicate p )
+/// \brief Given a partitioned range, returns the partition point
+///
+/// \param r The input range
+/// \param p The predicate to test the values with
+///
+template <typename Range, typename Predicate>
+typename boost::range_iterator<Range> partition_point ( Range &r, Predicate p )
+{
+ return boost::algorithm::partition_point (boost::begin(r), boost::end(r), p);
+}
+
+
+}}
+
+#endif // BOOST_ALGORITHM_PARTITION_POINT_HPP
\ No newline at end of file

Added: branches/release/boost/algorithm/hex.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/hex.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,279 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ Thanks to Nevin for his comments/help.
+*/
+
+/*
+ General problem - turn a sequence of integral types into a sequence of hexadecimal characters.
+ - and back.
+
+TO DO:
+ 1. these should really only work on integral types. (see the >> and << operations)
+ -- this is done, I think.
+ 2. The 'value_type_or_char' struct is really a hack.
+ -- but it's a better hack now that it works with back_insert_iterators
+*/
+
+/// \file hex.hpp
+/// \brief Convert sequence of integral types into a sequence of hexadecimal
+/// characters and back. Based on the MySQL functions HEX and UNHEX
+/// \author Marshall Clow
+
+#ifndef BOOST_ALGORITHM_HEXHPP
+#define BOOST_ALGORITHM_HEXHPP
+
+#include <iterator> // for std::iterator_traits
+#include <stdexcept>
+
+#include <boost/range/begin.hpp>
+#include <boost/range/end.hpp>
+#include <boost/exception/all.hpp>
+
+#include <boost/utility/enable_if.hpp>
+#include <boost/type_traits/is_integral.hpp>
+
+
+namespace boost { namespace algorithm {
+
+/*!
+ \struct hex_decode_error
+ \brief Base exception class for all hex decoding errors
+
+ \struct non_hex_input
+ \brief Thrown when a non-hex value (0-9, A-F) encountered when decoding.
+ Contains the offending character
+
+ \struct not_enough_input
+ \brief Thrown when the input sequence unexpectedly ends
+
+*/
+struct hex_decode_error: virtual boost::exception, virtual std::exception {};
+struct not_enough_input : public hex_decode_error {};
+struct non_hex_input : public hex_decode_error {
+ non_hex_input ( char ch ) : bad_char ( ch ) {}
+ char bad_char;
+private:
+ non_hex_input (); // don't allow creation w/o a char
+ };
+
+namespace detail {
+/// \cond DOXYGEN_HIDE
+
+ template <typename T, typename OutputIterator>
+ OutputIterator encode_one ( T val, OutputIterator out ) {
+ const std::size_t num_hex_digits = 2 * sizeof ( T );
+ char res [ num_hex_digits ];
+ char *p = res + num_hex_digits;
+ for ( std::size_t i = 0; i < num_hex_digits; ++i, val >>= 4 )
+ *--p = "0123456789ABCDEF" [ val & 0x0F ];
+ return std::copy ( res, res + num_hex_digits, out );
+ }
+
+ unsigned hex_char_to_int ( char c ) {
+ if ( c >= '0' && c <= '9' ) return c - '0';
+ if ( c >= 'A' && c <= 'F' ) return c - 'A' + 10;
+ if ( c >= 'a' && c <= 'f' ) return c - 'a' + 10;
+ BOOST_THROW_EXCEPTION (non_hex_input (c));
+ return 0; // keep dumb compilers happy
+ }
+
+
+// My own iterator_traits class.
+// It is here so that I can "reach inside" some kinds of output iterators
+// and get the type to write.
+ template <typename Iterator>
+ struct hex_iterator_traits {
+ typedef typename std::iterator_traits<Iterator>::value_type value_type;
+ };
+
+ template<typename Container>
+ struct hex_iterator_traits< std::back_insert_iterator<Container> > {
+ typedef typename Container::value_type value_type;
+ };
+
+ template<typename Container>
+ struct hex_iterator_traits< std::front_insert_iterator<Container> > {
+ typedef typename Container::value_type value_type;
+ };
+
+ template<typename Container>
+ struct hex_iterator_traits< std::insert_iterator<Container> > {
+ typedef typename Container::value_type value_type;
+ };
+
+// ostream_iterators have three template parameters.
+// The first one is the output type, the second one is the character type of
+// the underlying stream, the third is the character traits.
+// We only care about the first one.
+ template<typename T, typename charType, typename traits>
+ struct hex_iterator_traits< std::ostream_iterator<T, charType, traits> > {
+ typedef T value_type;
+ };
+
+// Output Iterators have a value type of 'void'. Kinda sucks.
+// We special case some output iterators, but we can't enumerate them all.
+// If we can't figure it out, we assume that you want to output chars.
+// If you don't, pass in an iterator with a real value_type.
+ template <typename T> struct value_type_or_char { typedef T value_type; };
+ template <> struct value_type_or_char<void> { typedef char value_type; };
+
+// All in one step
+ template <typename Iterator>
+ struct iterator_value_type {
+// typedef typename value_type_or_char<typename hex_iterator_traits<Iterator>::value_type>::value_type value_type;
+ typedef typename hex_iterator_traits<Iterator>::value_type value_type;
+ };
+
+// What can we assume here about the inputs?
+// is std::iterator_traits<InputIterator>::value_type always 'char' ?
+// Could it be wchar_t, say? Does it matter?
+// We are assuming ASCII for the values - but what about the storage?
+ template <typename InputIterator, typename OutputIterator>
+ typename boost::enable_if<boost::is_integral<typename iterator_value_type<OutputIterator>::value_type>, OutputIterator>::type
+ decode_one ( InputIterator &first, InputIterator last, OutputIterator out ) {
+ typedef typename iterator_value_type<OutputIterator>::value_type T;
+ T res (0);
+
+ // Need to make sure that we get can read that many chars here.
+ for ( std::size_t i = 0; i < 2 * sizeof ( T ); ++i, ++first ) {
+ if ( first == last )
+ BOOST_THROW_EXCEPTION (not_enough_input ());
+ res = ( 16 * res ) + hex_char_to_int (static_cast<char> (*first));
+ }
+
+ *out = res;
+ return ++out;
+ }
+/// \endcond
+ }
+
+
+/// \fn hex ( InputIterator first, InputIterator last, OutputIterator out )
+/// \brief Converts a sequence of integral types into a hexadecimal sequence of characters.
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param out An output iterator to the results into
+/// \return The updated output iterator
+/// \note Based on the MySQL function of the same name
+template <typename InputIterator, typename OutputIterator>
+typename boost::enable_if<boost::is_integral<typename detail::hex_iterator_traits<InputIterator>::value_type>, OutputIterator>::type
+hex ( InputIterator first, InputIterator last, OutputIterator out ) {
+ for ( ; first != last; ++first )
+ out = detail::encode_one ( *first, out );
+ return out;
+ }
+
+
+/// \fn hex ( const T *ptr, OutputIterator out )
+/// \brief Converts a sequence of integral types into a hexadecimal sequence of characters.
+///
+/// \param ptr A pointer to a 0-terminated sequence of data.
+/// \param out An output iterator to the results into
+/// \return The updated output iterator
+/// \note Based on the MySQL function of the same name
+template <typename T, typename OutputIterator>
+typename boost::enable_if<boost::is_integral<T>, OutputIterator>::type
+hex ( const T *ptr, OutputIterator out ) {
+ while ( *ptr )
+ out = detail::encode_one ( *ptr++, out );
+ return out;
+ }
+
+/// \fn hex ( const Range &r, OutputIterator out )
+/// \brief Converts a sequence of integral types into a hexadecimal sequence of characters.
+///
+/// \param r The input range
+/// \param out An output iterator to the results into
+/// \return The updated output iterator
+/// \note Based on the MySQL function of the same name
+template <typename Range, typename OutputIterator>
+typename boost::enable_if<boost::is_integral<typename detail::hex_iterator_traits<typename Range::iterator>::value_type>, OutputIterator>::type
+hex ( const Range &r, OutputIterator out ) {
+ return hex (boost::begin(r), boost::end(r), out);
+}
+
+
+/// \fn unhex ( InputIterator first, InputIterator last, OutputIterator out )
+/// \brief Converts a sequence of hexadecimal characters into a sequence of integers.
+///
+/// \param first The start of the input sequence
+/// \param last One past the end of the input sequence
+/// \param out An output iterator to the results into
+/// \return The updated output iterator
+/// \note Based on the MySQL function of the same name
+template <typename InputIterator, typename OutputIterator>
+OutputIterator unhex ( InputIterator first, InputIterator last, OutputIterator out ) {
+ while ( first != last )
+ out = detail::decode_one ( first, last, out );
+ return out;
+ }
+
+
+/// \fn unhex ( const T *ptr, OutputIterator out )
+/// \brief Converts a sequence of hexadecimal characters into a sequence of integers.
+///
+/// \param ptr A pointer to a null-terminated input sequence.
+/// \param out An output iterator to the results into
+/// \return The updated output iterator
+/// \note Based on the MySQL function of the same name
+template <typename T, typename OutputIterator>
+OutputIterator unhex ( const T *ptr, OutputIterator out ) {
+ typedef typename detail::iterator_value_type<OutputIterator>::value_type OutputType;
+// If we run into the terminator while decoding, we will throw a
+// malformed input exception. It would be nicer to throw a 'Not enough input'
+// exception - but how much extra work would that require?
+// I just make up an "end iterator" which we will never get to -
+// two Ts per byte of the output type.
+ while ( *ptr )
+ out = detail::decode_one ( ptr, ptr + 2 * sizeof(OutputType), out );
+ return out;
+ }
+
+
+/// \fn OutputIterator unhex ( const Range &r, OutputIterator out )
+/// \brief Converts a sequence of hexadecimal characters into a sequence of integers.
+///
+/// \param r The input range
+/// \param out An output iterator to the results into
+/// \return The updated output iterator
+/// \note Based on the MySQL function of the same name
+template <typename Range, typename OutputIterator>
+OutputIterator unhex ( const Range &r, OutputIterator out ) {
+ return unhex (boost::begin(r), boost::end(r), out);
+ }
+
+
+/// \fn String hex ( const String &input )
+/// \brief Converts a sequence of integral types into a hexadecimal sequence of characters.
+///
+/// \param input A container to be converted
+/// \return A container with the encoded text
+template<typename String>
+String hex ( const String &input ) {
+ String output;
+ output.reserve (input.size () * (2 * sizeof (typename String::value_type)));
+ (void) hex (input, std::back_inserter (output));
+ return output;
+ }
+
+/// \fn String unhex ( const String &input )
+/// \brief Converts a sequence of hexadecimal characters into a sequence of characters.
+///
+/// \param input A container to be converted
+/// \return A container with the decoded text
+template<typename String>
+String unhex ( const String &input ) {
+ String output;
+ output.reserve (input.size () / (2 * sizeof (typename String::value_type)));
+ (void) unhex (input, std::back_inserter (output));
+ return output;
+ }
+
+}}
+
+#endif // BOOST_ALGORITHM_HEXHPP

Added: branches/release/boost/algorithm/searching/boyer_moore.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/searching/boyer_moore.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,268 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#ifndef BOOST_ALGORITHM_BOYER_MOORE_SEARCH_HPP
+#define BOOST_ALGORITHM_BOYER_MOORE_SEARCH_HPP
+
+#include <iterator> // for std::iterator_traits
+
+#include <boost/assert.hpp>
+#include <boost/static_assert.hpp>
+
+#include <boost/range/begin.hpp>
+#include <boost/range/end.hpp>
+
+#include <boost/utility/enable_if.hpp>
+#include <boost/type_traits/is_same.hpp>
+
+#include <boost/algorithm/searching/detail/bm_traits.hpp>
+#include <boost/algorithm/searching/detail/debugging.hpp>
+
+namespace boost { namespace algorithm {
+
+/*
+ A templated version of the boyer-moore searching algorithm.
+
+References:
+ http://www.cs.utexas.edu/users/moore/best-ideas/string-searching/
+ http://www.cs.utexas.edu/~moore/publications/fstrpos.pdf
+
+Explanations: boostinspect:noascii (test tool complains)
+ http://en.wikipedia.org/wiki/Boyer%e2%80%93Moore_string_search_algorithm
+ http://www.movsd.com/bm.htm
+ http://www.cs.ucdavis.edu/~gusfield/cs224f09/bnotes.pdf
+
+The Boyer-Moore search algorithm uses two tables, a "bad character" table
+to tell how far to skip ahead when it hits a character that is not in the pattern,
+and a "good character" table to tell how far to skip ahead when it hits a
+mismatch on a character that _is_ in the pattern.
+
+Requirements:
+ * Random access iterators
+ * The two iterator types (patIter and corpusIter) must
+ "point to" the same underlying type and be comparable.
+ * Additional requirements may be imposed but the skip table, such as:
+ ** Numeric type (array-based skip table)
+ ** Hashable type (map-based skip table)
+*/
+
+ template <typename patIter, typename traits = detail::BM_traits<patIter> >
+ class boyer_moore {
+ typedef typename std::iterator_traits<patIter>::difference_type difference_type;
+ public:
+ boyer_moore ( patIter first, patIter last )
+ : pat_first ( first ), pat_last ( last ),
+ k_pattern_length ( std::distance ( pat_first, pat_last )),
+ skip_ ( k_pattern_length, -1 ),
+ suffix_ ( k_pattern_length + 1 )
+ {
+ this->build_skip_table ( first, last );
+ this->build_suffix_table ( first, last );
+ }
+
+ ~boyer_moore () {}
+
+ /// \fn operator ( corpusIter corpus_first, corpusIter corpus_last )
+ /// \brief Searches the corpus for the pattern that was passed into the constructor
+ ///
+ /// \param corpus_first The start of the data to search (Random Access Iterator)
+ /// \param corpus_last One past the end of the data to search
+ ///
+ template <typename corpusIter>
+ corpusIter operator () ( corpusIter corpus_first, corpusIter corpus_last ) const {
+ BOOST_STATIC_ASSERT (( boost::is_same<
+ typename std::iterator_traits<patIter>::value_type,
+ typename std::iterator_traits<corpusIter>::value_type>::value ));
+
+ if ( corpus_first == corpus_last ) return corpus_last; // if nothing to search, we didn't find it!
+ if ( pat_first == pat_last ) return corpus_first; // empty pattern matches at start
+
+ const difference_type k_corpus_length = std::distance ( corpus_first, corpus_last );
+ // If the pattern is larger than the corpus, we can't find it!
+ if ( k_corpus_length < k_pattern_length )
+ return corpus_last;
+
+ // Do the search
+ return this->do_search ( corpus_first, corpus_last );
+ }
+
+ template <typename Range>
+ typename boost::range_iterator<Range>::type operator () ( Range &r ) const {
+ return (*this) (boost::begin(r), boost::end(r));
+ }
+
+ private:
+/// \cond DOXYGEN_HIDE
+ patIter pat_first, pat_last;
+ const difference_type k_pattern_length;
+ typename traits::skip_table_t skip_;
+ std::vector <difference_type> suffix_;
+
+ /// \fn operator ( corpusIter corpus_first, corpusIter corpus_last, Pred p )
+ /// \brief Searches the corpus for the pattern that was passed into the constructor
+ ///
+ /// \param corpus_first The start of the data to search (Random Access Iterator)
+ /// \param corpus_last One past the end of the data to search
+ /// \param p A predicate used for the search comparisons.
+ ///
+ template <typename corpusIter>
+ corpusIter do_search ( corpusIter corpus_first, corpusIter corpus_last ) const {
+ /* ---- Do the matching ---- */
+ corpusIter curPos = corpus_first;
+ const corpusIter lastPos = corpus_last - k_pattern_length;
+ difference_type j, k, m;
+
+ while ( curPos <= lastPos ) {
+ /* while ( std::distance ( curPos, corpus_last ) >= k_pattern_length ) { */
+ // Do we match right where we are?
+ j = k_pattern_length;
+ while ( pat_first [j-1] == curPos [j-1] ) {
+ j--;
+ // We matched - we're done!
+ if ( j == 0 )
+ return curPos;
+ }
+
+ // Since we didn't match, figure out how far to skip forward
+ k = skip_ [ curPos [ j - 1 ]];
+ m = j - k - 1;
+ if ( k < j && m > suffix_ [ j ] )
+ curPos += m;
+ else
+ curPos += suffix_ [ j ];
+ }
+
+ return corpus_last; // We didn't find anything
+ }
+
+
+ void build_skip_table ( patIter first, patIter last ) {
+ for ( std::size_t i = 0; first != last; ++first, ++i )
+ skip_.insert ( *first, i );
+ }
+
+
+ template<typename Iter, typename Container>
+ void compute_bm_prefix ( Iter pat_first, Iter pat_last, Container &prefix ) {
+ const std::size_t count = std::distance ( pat_first, pat_last );
+ BOOST_ASSERT ( count > 0 );
+ BOOST_ASSERT ( prefix.size () == count );
+
+ prefix[0] = 0;
+ std::size_t k = 0;
+ for ( std::size_t i = 1; i < count; ++i ) {
+ BOOST_ASSERT ( k < count );
+ while ( k > 0 && ( pat_first[k] != pat_first[i] )) {
+ BOOST_ASSERT ( k < count );
+ k = prefix [ k - 1 ];
+ }
+
+ if ( pat_first[k] == pat_first[i] )
+ k++;
+ prefix [ i ] = k;
+ }
+ }
+
+ void build_suffix_table ( patIter pat_first, patIter pat_last ) {
+ const std::size_t count = (std::size_t) std::distance ( pat_first, pat_last );
+
+ if ( count > 0 ) { // empty pattern
+ std::vector<typename std::iterator_traits<patIter>::value_type> reversed(count);
+ (void) std::reverse_copy ( pat_first, pat_last, reversed.begin ());
+
+ std::vector<difference_type> prefix (count);
+ compute_bm_prefix ( pat_first, pat_last, prefix );
+
+ std::vector<difference_type> prefix_reversed (count);
+ compute_bm_prefix ( reversed.begin (), reversed.end (), prefix_reversed );
+
+ for ( std::size_t i = 0; i <= count; i++ )
+ suffix_[i] = count - prefix [count-1];
+
+ for ( std::size_t i = 0; i < count; i++ ) {
+ const std::size_t j = count - prefix_reversed[i];
+ const difference_type k = i - prefix_reversed[i] + 1;
+
+ if (suffix_[j] > k)
+ suffix_[j] = k;
+ }
+ }
+ }
+/// \endcond
+ };
+
+
+/* Two ranges as inputs gives us four possibilities; with 2,3,3,4 parameters
+ Use a bit of TMP to disambiguate the 3-argument templates */
+
+/// \fn boyer_moore_search ( corpusIter corpus_first, corpusIter corpus_last,
+/// patIter pat_first, patIter pat_last )
+/// \brief Searches the corpus for the pattern.
+///
+/// \param corpus_first The start of the data to search (Random Access Iterator)
+/// \param corpus_last One past the end of the data to search
+/// \param pat_first The start of the pattern to search for (Random Access Iterator)
+/// \param pat_last One past the end of the data to search for
+///
+ template <typename patIter, typename corpusIter>
+ corpusIter boyer_moore_search (
+ corpusIter corpus_first, corpusIter corpus_last,
+ patIter pat_first, patIter pat_last )
+ {
+ boyer_moore<patIter> bm ( pat_first, pat_last );
+ return bm ( corpus_first, corpus_last );
+ }
+
+ template <typename PatternRange, typename corpusIter>
+ corpusIter boyer_moore_search (
+ corpusIter corpus_first, corpusIter corpus_last, const PatternRange &pattern )
+ {
+ typedef typename boost::range_iterator<PatternRange> pattern_iterator;
+ boyer_moore<pattern_iterator> bm ( boost::begin(pattern), boost::end (pattern));
+ return bm ( corpus_first, corpus_last );
+ }
+
+ template <typename patIter, typename CorpusRange>
+ typename boost::lazy_disable_if_c<
+ boost::is_same<CorpusRange, patIter>::value, typename boost::range_iterator<CorpusRange> >
+ ::type
+ boyer_moore_search ( CorpusRange &corpus, patIter pat_first, patIter pat_last )
+ {
+ boyer_moore<patIter> bm ( pat_first, pat_last );
+ return bm (boost::begin (corpus), boost::end (corpus));
+ }
+
+ template <typename PatternRange, typename CorpusRange>
+ typename boost::range_iterator<CorpusRange>::type
+ boyer_moore_search ( CorpusRange &corpus, const PatternRange &pattern )
+ {
+ typedef typename boost::range_iterator<PatternRange> pattern_iterator;
+ boyer_moore<pattern_iterator> bm ( boost::begin(pattern), boost::end (pattern));
+ return bm (boost::begin (corpus), boost::end (corpus));
+ }
+
+
+ // Creator functions -- take a pattern range, return an object
+ template <typename Range>
+ boost::algorithm::boyer_moore<typename boost::range_iterator<const Range>::type>
+ make_boyer_moore ( const Range &r ) {
+ return boost::algorithm::boyer_moore
+ <typename boost::range_iterator<const Range>::type> (boost::begin(r), boost::end(r));
+ }
+
+ template <typename Range>
+ boost::algorithm::boyer_moore<typename boost::range_iterator<Range>::type>
+ make_boyer_moore ( Range &r ) {
+ return boost::algorithm::boyer_moore
+ <typename boost::range_iterator<Range>::type> (boost::begin(r), boost::end(r));
+ }
+
+}}
+
+#endif // BOOST_ALGORITHM_BOYER_MOORE_SEARCH_HPP

Added: branches/release/boost/algorithm/searching/boyer_moore_horspool.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/searching/boyer_moore_horspool.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,141 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#ifndef BOOST_ALGORITHM_BOYER_MOORE_HORSPOOOL_SEARCH_HPP
+#define BOOST_ALGORITHM_BOYER_MOORE_HORSPOOOL_SEARCH_HPP
+
+#include <iterator> // for std::iterator_traits
+
+#include <boost/assert.hpp>
+#include <boost/static_assert.hpp>
+#include <boost/type_traits/is_same.hpp>
+
+#include <boost/algorithm/searching/detail/bm_traits.hpp>
+#include <boost/algorithm/searching/detail/debugging.hpp>
+
+// #define BOOST_ALGORITHM_BOYER_MOORE_HORSPOOL_DEBUG_HPP
+
+namespace boost { namespace algorithm {
+
+/*
+ A templated version of the boyer-moore-horspool searching algorithm.
+
+ Requirements:
+ * Random access iterators
+ * The two iterator types (patIter and corpusIter) must
+ "point to" the same underlying type.
+ * Additional requirements may be imposed buy the skip table, such as:
+ ** Numeric type (array-based skip table)
+ ** Hashable type (map-based skip table)
+
+http://www-igm.univ-mlv.fr/%7Elecroq/string/node18.html
+
+*/
+
+ template <typename patIter, typename traits = detail::BM_traits<patIter> >
+ class boyer_moore_horspool {
+ typedef typename std::iterator_traits<patIter>::difference_type difference_type;
+ public:
+ boyer_moore_horspool ( patIter first, patIter last )
+ : pat_first ( first ), pat_last ( last ),
+ k_pattern_length ( std::distance ( pat_first, pat_last )),
+ skip_ ( k_pattern_length, k_pattern_length ) {
+
+ // Build the skip table
+ std::size_t i = 0;
+ if ( first != last ) // empty pattern?
+ for ( patIter iter = first; iter != last-1; ++iter, ++i )
+ skip_.insert ( *iter, k_pattern_length - 1 - i );
+#ifdef BOOST_ALGORITHM_BOYER_MOORE_HORSPOOL_DEBUG_HPP
+ skip_.PrintSkipTable ();
+#endif
+ }
+
+ ~boyer_moore_horspool () {}
+
+ /// \fn operator ( corpusIter corpus_first, corpusIter corpus_last, Pred p )
+ /// \brief Searches the corpus for the pattern that was passed into the constructor
+ ///
+ /// \param corpus_first The start of the data to search (Random Access Iterator)
+ /// \param corpus_last One past the end of the data to search
+ /// \param p A predicate used for the search comparisons.
+ ///
+ template <typename corpusIter>
+ corpusIter operator () ( corpusIter corpus_first, corpusIter corpus_last ) const {
+ BOOST_STATIC_ASSERT (( boost::is_same<
+ typename std::iterator_traits<patIter>::value_type,
+ typename std::iterator_traits<corpusIter>::value_type>::value ));
+
+ if ( corpus_first == corpus_last ) return corpus_last; // if nothing to search, we didn't find it!
+ if ( pat_first == pat_last ) return corpus_first; // empty pattern matches at start
+
+ const difference_type k_corpus_length = std::distance ( corpus_first, corpus_last );
+ // If the pattern is larger than the corpus, we can't find it!
+ if ( k_corpus_length < k_pattern_length )
+ return corpus_last;
+
+ // Do the search
+ return this->do_search ( corpus_first, corpus_last );
+ }
+
+ private:
+/// \cond DOXYGEN_HIDE
+ patIter pat_first, pat_last;
+ const difference_type k_pattern_length;
+ typename traits::skip_table_t skip_;
+
+ /// \fn do_search ( corpusIter corpus_first, corpusIter corpus_last )
+ /// \brief Searches the corpus for the pattern that was passed into the constructor
+ ///
+ /// \param corpus_first The start of the data to search (Random Access Iterator)
+ /// \param corpus_last One past the end of the data to search
+ /// \param k_corpus_length The length of the corpus to search
+ ///
+ template <typename corpusIter>
+ corpusIter do_search ( corpusIter corpus_first, corpusIter corpus_last ) const {
+ corpusIter curPos = corpus_first;
+ const corpusIter lastPos = corpus_last - k_pattern_length;
+ while ( curPos <= lastPos ) {
+ // Do we match right where we are?
+ std::size_t j = k_pattern_length - 1;
+ while ( pat_first [j] == curPos [j] ) {
+ // We matched - we're done!
+ if ( j == 0 )
+ return curPos;
+ j--;
+ }
+
+ curPos += skip_ [ curPos [ k_pattern_length - 1 ]];
+ }
+
+ return corpus_last;
+ }
+// \endcond
+ };
+
+/// \fn boyer_moore_horspool_search ( corpusIter corpus_first, corpusIter corpus_last,
+/// patIter pat_first, patIter pat_last )
+/// \brief Searches the corpus for the pattern.
+///
+/// \param corpus_first The start of the data to search (Random Access Iterator)
+/// \param corpus_last One past the end of the data to search
+/// \param pat_first The start of the pattern to search for (Random Access Iterator)
+/// \param pat_last One past the end of the data to search for
+///
+ template <typename patIter, typename corpusIter>
+ corpusIter boyer_moore_horspool_search (
+ corpusIter corpus_first, corpusIter corpus_last,
+ patIter pat_first, patIter pat_last ) {
+ boyer_moore_horspool<patIter> bmh ( pat_first, pat_last );
+ return bmh ( corpus_first, corpus_last );
+ }
+
+}}
+
+#endif // BOOST_ALGORITHM_BOYER_MOORE_HORSPOOOL_SEARCH_HPP

Added: branches/release/boost/algorithm/searching/detail/bm_traits.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/searching/detail/bm_traits.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,105 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#ifndef BOOST_ALGORITHM_SEARCH_DETAIL_BM_TRAITS_HPP
+#define BOOST_ALGORITHM_SEARCH_DETAIL_BM_TRAITS_HPP
+
+#include <climits> // for CHAR_BIT
+#include <vector>
+#include <iterator> // for std::iterator_traits
+
+#include <boost/type_traits/make_unsigned.hpp>
+#include <boost/type_traits/is_integral.hpp>
+#include <boost/type_traits/remove_pointer.hpp>
+#include <boost/type_traits/remove_const.hpp>
+
+#include <boost/array.hpp>
+#include <boost/tr1/tr1/unordered_map>
+
+#include <boost/algorithm/searching/detail/debugging.hpp>
+
+namespace boost { namespace algorithm { namespace detail {
+
+//
+// Default implementations of the skip tables for B-M and B-M-H
+//
+ template<typename key_type, typename value_type, bool /*useArray*/> class skip_table;
+
+// General case for data searching other than bytes; use a map
+ template<typename key_type, typename value_type>
+ class skip_table<key_type, value_type, false> {
+ private:
+ typedef std::tr1::unordered_map<key_type, value_type> skip_map;
+ const value_type k_default_value;
+ skip_map skip_;
+
+ public:
+ skip_table ( std::size_t patSize, value_type default_value )
+ : k_default_value ( default_value ), skip_ ( patSize ) {}
+
+ void insert ( key_type key, value_type val ) {
+ skip_ [ key ] = val; // Would skip_.insert (val) be better here?
+ }
+
+ value_type operator [] ( key_type key ) const {
+ typename skip_map::const_iterator it = skip_.find ( key );
+ return it == skip_.end () ? k_default_value : it->second;
+ }
+
+ void PrintSkipTable () const {
+ std::cout << "BM(H) Skip Table <unordered_map>:" << std::endl;
+ for ( typename skip_map::const_iterator it = skip_.begin (); it != skip_.end (); ++it )
+ if ( it->second != k_default_value )
+ std::cout << " " << it->first << ": " << it->second << std::endl;
+ std::cout << std::endl;
+ }
+ };
+
+
+// Special case small numeric values; use an array
+ template<typename key_type, typename value_type>
+ class skip_table<key_type, value_type, true> {
+ private:
+ typedef typename boost::make_unsigned<key_type>::type unsigned_key_type;
+ typedef boost::array<value_type, 1U << (CHAR_BIT * sizeof(key_type))> skip_map;
+ skip_map skip_;
+ const value_type k_default_value;
+ public:
+ skip_table ( std::size_t patSize, value_type default_value ) : k_default_value ( default_value ) {
+ std::fill_n ( skip_.begin(), skip_.size(), default_value );
+ }
+
+ void insert ( key_type key, value_type val ) {
+ skip_ [ static_cast<unsigned_key_type> ( key ) ] = val;
+ }
+
+ value_type operator [] ( key_type key ) const {
+ return skip_ [ static_cast<unsigned_key_type> ( key ) ];
+ }
+
+ void PrintSkipTable () const {
+ std::cout << "BM(H) Skip Table <boost:array>:" << std::endl;
+ for ( typename skip_map::const_iterator it = skip_.begin (); it != skip_.end (); ++it )
+ if ( *it != k_default_value )
+ std::cout << " " << std::distance (skip_.begin (), it) << ": " << *it << std::endl;
+ std::cout << std::endl;
+ }
+ };
+
+ template<typename Iterator>
+ struct BM_traits {
+ typedef typename std::iterator_traits<Iterator>::difference_type value_type;
+ typedef typename std::iterator_traits<Iterator>::value_type key_type;
+ typedef boost::algorithm::detail::skip_table<key_type, value_type,
+ boost::is_integral<key_type>::value && (sizeof(key_type)==1)> skip_table_t;
+ };
+
+}}} // namespaces
+
+#endif // BOOST_ALGORITHM_SEARCH_DETAIL_BM_TRAITS_HPP

Added: branches/release/boost/algorithm/searching/detail/debugging.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/searching/detail/debugging.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,30 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#ifndef BOOST_ALGORITHM_SEARCH_DETAIL_DEBUG_HPP
+#define BOOST_ALGORITHM_SEARCH_DETAIL_DEBUG_HPP
+
+#include <iostream>
+/// \cond DOXYGEN_HIDE
+
+namespace boost { namespace algorithm { namespace detail {
+
+// Debugging support
+ template <typename Iter>
+ void PrintTable ( Iter first, Iter last ) {
+ std::cout << std::distance ( first, last ) << ": { ";
+ for ( Iter iter = first; iter != last; ++iter )
+ std::cout << *iter << " ";
+ std::cout << "}" << std::endl;
+ }
+
+}}}
+/// \endcond
+
+#endif // BOOST_ALGORITHM_SEARCH_DETAIL_DEBUG_HPP

Added: branches/release/boost/algorithm/searching/knuth_morris_pratt.hpp
==============================================================================
--- (empty file)
+++ branches/release/boost/algorithm/searching/knuth_morris_pratt.hpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,200 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#ifndef BOOST_ALGORITHM_KNUTH_MORRIS_PRATT_SEARCH_HPP
+#define BOOST_ALGORITHM_KNUTH_MORRIS_PRATT_SEARCH_HPP
+
+#include <vector>
+#include <iterator> // for std::iterator_traits
+
+#include <boost/assert.hpp>
+#include <boost/static_assert.hpp>
+#include <boost/type_traits/is_same.hpp>
+
+#include <boost/algorithm/searching/detail/debugging.hpp>
+
+// #define BOOST_ALGORITHM_KNUTH_MORRIS_PRATT_DEBUG
+
+namespace boost { namespace algorithm {
+
+// #define NEW_KMP
+
+/*
+ A templated version of the Knuth-Morris-Pratt searching algorithm.
+
+ Requirements:
+ * Random-access iterators
+ * The two iterator types (I1 and I2) must "point to" the same underlying type.
+
+ http://en.wikipedia.org/wiki/Knuth%e2%80%93Morris%e2%80%93Pratt_algorithm
+ http://www.inf.fh-flensburg.de/lang/algorithmen/pattern/kmpen.htm
+*/
+
+ template <typename patIter>
+ class knuth_morris_pratt {
+ typedef typename std::iterator_traits<patIter>::difference_type difference_type;
+ public:
+ knuth_morris_pratt ( patIter first, patIter last )
+ : pat_first ( first ), pat_last ( last ),
+ k_pattern_length ( std::distance ( pat_first, pat_last )),
+ skip_ ( k_pattern_length + 1 ) {
+#ifdef NEW_KMP
+ preKmp ( pat_first, pat_last );
+#else
+ init_skip_table ( pat_first, pat_last );
+#endif
+#ifdef BOOST_ALGORITHM_KNUTH_MORRIS_PRATT_DEBUG
+ detail::PrintTable ( skip_.begin (), skip_.end ());
+#endif
+ }
+
+ ~knuth_morris_pratt () {}
+
+ /// \fn operator ( corpusIter corpus_first, corpusIter corpus_last, Pred p )
+ /// \brief Searches the corpus for the pattern that was passed into the constructor
+ ///
+ /// \param corpus_first The start of the data to search (Random Access Iterator)
+ /// \param corpus_last One past the end of the data to search
+ /// \param p A predicate used for the search comparisons.
+ ///
+ template <typename corpusIter>
+ corpusIter operator () ( corpusIter corpus_first, corpusIter corpus_last ) const {
+ BOOST_STATIC_ASSERT (( boost::is_same<
+ typename std::iterator_traits<patIter>::value_type,
+ typename std::iterator_traits<corpusIter>::value_type>::value ));
+ if ( corpus_first == corpus_last ) return corpus_last; // if nothing to search, we didn't find it!
+ if ( pat_first == pat_last ) return corpus_first; // empty pattern matches at start
+
+ const difference_type k_corpus_length = std::distance ( corpus_first, corpus_last );
+ // If the pattern is larger than the corpus, we can't find it!
+ if ( k_corpus_length < k_pattern_length )
+ return corpus_last;
+
+ return do_search ( corpus_first, corpus_last, k_corpus_length );
+ }
+
+ private:
+/// \cond DOXYGEN_HIDE
+ patIter pat_first, pat_last;
+ const difference_type k_pattern_length;
+ std::vector <difference_type> skip_;
+
+ /// \fn operator ( corpusIter corpus_first, corpusIter corpus_last, Pred p )
+ /// \brief Searches the corpus for the pattern that was passed into the constructor
+ ///
+ /// \param corpus_first The start of the data to search (Random Access Iterator)
+ /// \param corpus_last One past the end of the data to search
+ /// \param p A predicate used for the search comparisons.
+ ///
+ template <typename corpusIter>
+ corpusIter do_search ( corpusIter corpus_first, corpusIter corpus_last,
+ difference_type k_corpus_length ) const {
+ difference_type match_start = 0; // position in the corpus that we're matching
+
+#ifdef NEW_KMP
+ int patternIdx = 0;
+ while ( match_start < k_corpus_length ) {
+ while ( patternIdx > -1 && pat_first[patternIdx] != corpus_first [match_start] )
+ patternIdx = skip_ [patternIdx]; //<--- Shifting the pattern on mismatch
+
+ patternIdx++;
+ match_start++; //<--- corpus is always increased by 1
+
+ if ( patternIdx >= (int) k_pattern_length )
+ return corpus_first + match_start - patternIdx;
+ }
+
+#else
+// At this point, we know:
+// k_pattern_length <= k_corpus_length
+// for all elements of skip, it holds -1 .. k_pattern_length
+//
+// In the loop, we have the following invariants
+// idx is in the range 0 .. k_pattern_length
+// match_start is in the range 0 .. k_corpus_length - k_pattern_length + 1
+
+ const difference_type last_match = k_corpus_length - k_pattern_length;
+ difference_type idx = 0; // position in the pattern we're comparing
+
+ while ( match_start <= last_match ) {
+ while ( pat_first [ idx ] == corpus_first [ match_start + idx ] ) {
+ if ( ++idx == k_pattern_length )
+ return corpus_first + match_start;
+ }
+ // Figure out where to start searching again
+ // assert ( idx - skip_ [ idx ] > 0 ); // we're always moving forward
+ match_start += idx - skip_ [ idx ];
+ idx = skip_ [ idx ] >= 0 ? skip_ [ idx ] : 0;
+ // assert ( idx >= 0 && idx < k_pattern_length );
+ }
+#endif
+
+ // We didn't find anything
+ return corpus_last;
+ }
+
+
+ void preKmp ( patIter first, patIter last ) {
+ const /*std::size_t*/ int count = std::distance ( first, last );
+
+ int i, j;
+
+ i = 0;
+ j = skip_[0] = -1;
+ while (i < count) {
+ while (j > -1 && first[i] != first[j])
+ j = skip_[j];
+ i++;
+ j++;
+ if (first[i] == first[j])
+ skip_[i] = skip_[j];
+ else
+ skip_[i] = j;
+ }
+ }
+
+
+ void init_skip_table ( patIter first, patIter last ) {
+ const difference_type count = std::distance ( first, last );
+
+ int j;
+ skip_ [ 0 ] = -1;
+ for ( int i = 1; i <= count; ++i ) {
+ j = skip_ [ i - 1 ];
+ while ( j >= 0 ) {
+ if ( first [ j ] == first [ i - 1 ] )
+ break;
+ j = skip_ [ j ];
+ }
+ skip_ [ i ] = j + 1;
+ }
+ }
+// \endcond
+ };
+
+
+/// \fn knuth_morris_pratt_search ( corpusIter corpus_first, corpusIter corpus_last,
+/// patIter pat_first, patIter pat_last )
+/// \brief Searches the corpus for the pattern.
+///
+/// \param corpus_first The start of the data to search (Random Access Iterator)
+/// \param corpus_last One past the end of the data to search
+/// \param pat_first The start of the pattern to search for (Random Access Iterator)
+/// \param pat_last One past the end of the data to search for
+///
+ template <typename patIter, typename corpusIter>
+ corpusIter knuth_morris_pratt_search (
+ corpusIter corpus_first, corpusIter corpus_last,
+ patIter pat_first, patIter pat_last ) {
+ knuth_morris_pratt<patIter> kmp ( pat_first, pat_last );
+ return kmp ( corpus_first, corpus_last );
+ }
+}}
+
+#endif // BOOST_ALGORITHM_KNUTH_MORRIS_PRATT_SEARCH_HPP

Added: branches/release/libs/algorithm/doc/Jamfile.v2
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/doc/Jamfile.v2 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,42 @@
+# Boost.Algorithm
+#
+# Copyright (c) 2010-2012 Marshall Clow
+#
+# Distributed under the Boost Software License, Version 1.0.
+# (See accompanying file LICENSE_1_0.txt or copy at
+# http://www.boost.org/LICENSE_1_0.txt)
+
+
+# Quickbook
+# -----------------------------------------------------------------------------
+
+import os ;
+
+using quickbook ;
+using doxygen ;
+using boostbook ;
+
+doxygen autodoc
+ :
+ [ glob ../../../boost/algorithm/*.hpp ../../../boost/algorithm/searching/*.hpp ]
+ :
+ <doxygen:param>"PREDEFINED=\"BOOST_ALGORITHM_DOXYGEN=1\""
+ <doxygen:param>WARNINGS=YES # Default NO, but useful to see warnings, especially in a logfile.
+ ;
+
+
+xml algorithm : algorithm.qbk ;
+
+boostbook standalone
+ :
+ algorithm
+ :
+ <dependency>autodoc
+ <xsl:param>boost.root=../../../..
+ <xsl:param>"boost.doxygen.reftitle=Boost.Algorithms C++ Reference"
+ <xsl:param>chapter.autolabel=0
+ <xsl:param>chunk.section.depth=8
+ <xsl:param>toc.section.depth=2
+ <xsl:param>toc.max.depth=2
+ <xsl:param>generate.section.toc.level=1
+ ;

Added: branches/release/libs/algorithm/doc/algorithm.qbk
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/doc/algorithm.qbk 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,68 @@
+[library The Boost Algorithm Library
+ [quickbook 1.5]
+ [id algorithm]
+ [dirname algorithm]
+ [purpose Library of useful algorithms]
+ [category algorithms]
+ [authors [Clow, Marshall]]
+ [copyright 2010-2012 Marshall Clow]
+ [source-mode c++]
+ [license
+ Distributed under the Boost Software License, Version 1.0.
+ (See accompanying file LICENSE_1_0.txt or copy at
+ [@http://www.boost.org/LICENSE_1_0.txt])
+ ]
+]
+
+[section Description and Rationale]
+
+Boost.Algorithm is a collection of general purpose algorithms. While Boost contains many libraries of data structures, there is no single library for general purpose algorithms. Even though the algorithms are generally useful, many tend to be thought of as "too small" for Boost.
+
+An implementation of Boyer-Moore searching, for example, might take a developer a week or so to implement, including test cases and documentation. However, scheduling a review to include that code into Boost might take several months, and run into resistance because "it is too small". Nevertheless, a library of tested, reviewed, documented algorithms can make the developer's life much easier, and that is the purpose of this library.
+
+[heading Future plans]
+
+I will be soliciting submissions from other developers, as well as looking through the literature for existing algorithms to include. The Adobe Source Library, for example, contains many useful algorithms that already have documentation and test cases. Knuth's _The Art of Computer Programming_ is chock-full of algorithm descriptions, too.
+
+My goal is to run regular algorithm reviews, similar to the Boost library review process, but with smaller chunks of code.
+
+[heading Dependencies]
+
+Boost.Algorithm uses Boost.Range, Boost.Assert, Boost.Array, Boost.TypeTraits, and Boost.StaticAssert.
+
+
+[heading Acknowledgements]
+
+Thanks to all the people who have reviewed this library and made suggestions for improvements. Steven Watanabe and Sean Parent, in particular, have provided a great deal of help.
+
+[endsect]
+
+[/ include toc.qbk]
+
+
+[section:Searching Searching Algorithms]
+[include boyer_moore.qbk]
+[include boyer_moore_horspool.qbk]
+[include knuth_morris_pratt.qbk]
+[endsect]
+
+[section:CXX11 C++11 Algorithms]
+[include all_of.qbk]
+[include any_of.qbk]
+[include none_of.qbk]
+[include one_of.qbk]
+[include ordered-hpp.qbk]
+[include is_partitioned.qbk]
+[include partition_point.qbk]
+[endsect]
+
+[section:Misc Other Algorithms]
+[include clamp-hpp.qbk]
+[include hex.qbk]
+[endsect]
+
+
+
+[xinclude autodoc.xml]
+
+

Added: branches/release/libs/algorithm/doc/all_of.qbk
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/doc/all_of.qbk 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,89 @@
+[/ File all_of.qbk]
+
+[section:all_of all_of]
+
+[/license
+Copyright (c) 2010-2012 Marshall Clow
+
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+]
+
+The header file 'boost/algorithm/cxx11/all_of.hpp' contains four variants of a single algorithm, `all_of`. The algorithm tests all the elements of a sequence and returns true if they all share a property.
+
+The routine `all_of` takes a sequence and a predicate. It will return true if the predicate returns true when applied to every element in the sequence.
+
+The routine `all_of_equal` takes a sequence and a value. It will return true if every element in the sequence compares equal to the passed in value.
+
+Both routines come in two forms; the first one takes two iterators to define the range. The second form takes a single range parameter, and uses Boost.Range to traverse it.
+
+
+[heading interface]
+
+The function `all_of` returns true if the predicate returns true for every item in the sequence. There are two versions; one takes two iterators, and the other takes a range.
+
+``
+namespace boost { namespace algorithm {
+template<typename InputIterator, typename Predicate>
+ bool all_of ( InputIterator first, InputIterator last, Predicate p );
+template<typename Range, typename Predicate>
+ bool all_of ( const Range &r, Predicate p );
+}}
+``
+
+The function `all_of_equal` is similar to `all_of`, but instead of taking a predicate to test the elements of the sequence, it takes a value to compare against.
+
+``
+namespace boost { namespace algorithm {
+template<typename InputIterator, typename V>
+ bool all_of_equal ( InputIterator first, InputIterator last, V const &val );
+template<typename Range, typename V>
+ bool all_of_equal ( const Range &r, V const &val );
+}}
+``
+
+[heading Examples]
+
+Given the container `c` containing `{ 0, 1, 2, 3, 14, 15 }`, then
+``
+bool isOdd ( int i ) { return i % 2 == 1; }
+bool lessThan10 ( int i ) { return i < 10; }
+
+using boost::algorithm;
+all_of ( c, isOdd ) --> false
+all_of ( c.begin (), c.end (), lessThan10 ) --> false
+all_of ( c.begin (), c.begin () + 3, lessThan10 ) --> true
+all_of ( c.end (), c.end (), isOdd ) --> true // empty range
+all_of_equal ( c, 3 ) --> false
+all_of_equal ( c.begin () + 3, c.begin () + 4, 3 ) --> true
+all_of_equal ( c.begin (), c.begin (), 99 ) --> true // empty range
+``
+
+[heading Iterator Requirements]
+
+`all_of` and `all_of_equal` work on all iterators except output iterators.
+
+[heading Complexity]
+
+All of the variants of `all_of` and `all_of_equal` run in ['O(N)] (linear) time; that is, they compare against each element in the list once. If any of the comparisons fail, the algorithm will terminate immediately, without examining the remaining members of the sequence.
+
+[heading Exception Safety]
+
+All of the variants of `all_of` and `all_of_equal` take their parameters by value or const reference, and do not depend upon any global state. Therefore, all the routines in this file provide the strong exception guarantee.
+
+[heading Notes]
+
+* The routine `all_of` is part of the C++11 standard. When compiled using a C++11 implementation, the implementation from the standard library will be used.
+
+* `all_of` and `all_of_equal` both return true for empty ranges, no matter what is passed to test against. When there are no items in the sequence to test, they all satisfy the condition to be tested against.
+
+* The second parameter to `all_of_value` is a template parameter, rather than deduced from the first parameter (`std::iterator_traits<InputIterator>::value_type`) because that allows more flexibility for callers, and takes advantage of built-in comparisons for the type that is pointed to by the iterator. The function is defined to return true if, for all elements in the sequence, the expression `*iter == val` evaluates to true (where `iter` is an iterator to each element in the sequence)
+
+[endsect]
+
+[/ File all_of.qbk
+Copyright 2011 Marshall Clow
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt).
+]
+

Added: branches/release/libs/algorithm/doc/any_of.qbk
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/doc/any_of.qbk 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,89 @@
+[/ File any_of.qbk]
+
+[section:any_of any_of]
+
+[/license
+Copyright (c) 2010-2012 Marshall Clow
+
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+]
+
+The header file 'boost/algorithm/cxx11/any_of.hpp' contains four variants of a single algorithm, `any_of`. The algorithm tests the elements of a sequence and returns true if any of the elements has a particular property.
+
+The routine `any_of` takes a sequence and a predicate. It will return true if the predicate returns true for any element in the sequence.
+
+The routine `any_of_equal` takes a sequence and a value. It will return true if any element in the sequence compares equal to the passed in value.
+
+Both routines come in two forms; the first one takes two iterators to define the range. The second form takes a single range parameter, and uses Boost.Range to traverse it.
+
+
+[heading interface]
+
+The function `any_of` returns true if the predicate returns true any item in the sequence. There are two versions; one takes two iterators, and the other takes a range.
+
+``
+namespace boost { namespace algorithm {
+template<typename InputIterator, typename Predicate>
+ bool any_of ( InputIterator first, InputIterator last, Predicate p );
+template<typename Range, typename Predicate>
+ bool any_of ( const Range &r, Predicate p );
+}}
+``
+
+The function `any_of_equal` is similar to `any_of`, but instead of taking a predicate to test the elements of the sequence, it takes a value to compare against.
+
+``
+namespace boost { namespace algorithm {
+template<typename InputIterator, typename V>
+ bool any_of_equal ( InputIterator first, InputIterator last, V const &val );
+template<typename Range, typename V>
+ bool any_of_equal ( const Range &r, V const &val );
+}}
+``
+
+[heading Examples]
+
+Given the container `c` containing `{ 0, 1, 2, 3, 14, 15 }`, then
+``
+bool isOdd ( int i ) { return i % 2 == 1; }
+bool lessThan10 ( int i ) { return i < 10; }
+
+using boost::algorithm;
+any_of ( c, isOdd ) --> true
+any_of ( c.begin (), c.end (), lessThan10 ) --> true
+any_of ( c.begin () + 4, c.end (), lessThan10 ) --> false
+any_of ( c.end (), c.end (), isOdd ) --> false // empty range
+any_of_equal ( c, 3 ) --> true
+any_of_equal ( c.begin (), c.begin () + 3, 3 ) --> false
+any_of_equal ( c.begin (), c.begin (), 99 ) --> false // empty range
+``
+
+[heading Iterator Requirements]
+
+`any_of` and `any_of_equal` work on all iterators except output iterators.
+
+[heading Complexity]
+
+All of the variants of `any_of` and `any_of_equal` run in ['O(N)] (linear) time; that is, they compare against each element in the list once. If any of the comparisons succeed, the algorithm will terminate immediately, without examining the remaining members of the sequence.
+
+[heading Exception Safety]
+
+All of the variants of `any_of` and `any_of_equal` take their parameters by value or const reference, and do not depend upon any global state. Therefore, all the routines in this file provide the strong exception guarantee.
+
+[heading Notes]
+
+* The routine `any_of` is part of the C++11 standard. When compiled using a C++11 implementation, the implementation from the standard library will be used.
+
+* `any_of` and `any_of_equal` both return false for empty ranges, no matter what is passed to test against.
+
+* The second parameter to `any_of_value` is a template parameter, rather than deduced from the first parameter (`std::iterator_traits<InputIterator>::value_type`) because that allows more flexibility for callers, and takes advantage of built-in comparisons for the type that is pointed to by the iterator. The function is defined to return true if, for any element in the sequence, the expression `*iter == val` evaluates to true (where `iter` is an iterator to each element in the sequence)
+
+[endsect]
+
+[/ File any_of.qbk
+Copyright 2011 Marshall Clow
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt).
+]
+

Added: branches/release/libs/algorithm/doc/boyer_moore.qbk
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/doc/boyer_moore.qbk 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,95 @@
+[/ QuickBook Document version 1.5 ]
+
+[section:BoyerMoore Boyer-Moore Search]
+
+[/license
+
+Copyright (c) 2010-2012 Marshall Clow
+
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at
+http://www.boost.org/LICENSE_1_0.txt)
+]
+
+
+[heading Overview]
+
+The header file 'boyer_moore.hpp' contains an an implementation of the Boyer-Moore algorithm for searching sequences of values.
+
+The Boyer–Moore string search algorithm is a particularly efficient string searching algorithm, and it has been the standard benchmark for the practical string search literature. The Boyer-Moore algorithm was invented by Bob Boyer and J. Strother Moore, and published in the October 1977 issue of the Communications of the ACM , and a copy of that article is available at [@http://www.cs.utexas.edu/~moore/publications/fstrpos.pdf].
+
+The Boyer-Moore algorithm uses two precomputed tables to give better performance than a naive search. These tables depend on the pattern being searched for, and give the Boyer-Moore algorithm larger a memory footprint and startup costs than a simpler algorithm, but these costs are recovered quickly during the searching process, especially if the pattern is longer than a few elements.
+
+However, the Boyer-Moore algorithm cannot be used with comparison predicates like `std::search`.
+
+Nomenclature: I refer to the sequence being searched for as the "pattern", and the sequence being searched in as the "corpus".
+
+[heading Interface]
+
+For flexibility, the Boyer-Moore algorithm has has two interfaces; an object-based interface and a procedural one. The object-based interface builds the tables in the constructor, and uses operator () to perform the search. The procedural interface builds the table and does the search all in one step. If you are going to be searching for the same pattern in multiple corpora, then you should use the object interface, and only build the tables once.
+
+Here is the object interface:
+``
+template <typename patIter>
+class boyer_moore {
+public:
+ boyer_moore ( patIter first, patIter last );
+ ~boyer_moore ();
+
+ template <typename corpusIter>
+ corpusIter operator () ( corpusIter corpus_first, corpusIter corpus_last );
+ };
+``
+
+and here is the corresponding procedural interface:
+
+``
+template <typename patIter, typename corpusIter>
+corpusIter boyer_moore_search (
+ corpusIter corpus_first, corpusIter corpus_last,
+ patIter pat_first, patIter pat_last );
+``
+
+Each of the functions is passed two pairs of iterators. The first two define the corpus and the second two define the pattern. Note that the two pairs need not be of the same type, but they do need to "point" at the same type. In other words, `patIter::value_type` and `curpusIter::value_type` need to be the same type.
+
+The return value of the function is an iterator pointing to the start of the pattern in the corpus. If the pattern is not found, it returns the end of the corpus (`corpus_last`).
+
+[heading Performance]
+
+The execution time of the Boyer-Moore algorithm, while still linear in the size of the string being searched, can have a significantly lower constant factor than many other search algorithms: it doesn't need to check every character of the string to be searched, but rather skips over some of them. Generally the algorithm gets faster as the pattern being searched for becomes longer. Its efficiency derives from the fact that with each unsuccessful attempt to find a match between the search string and the text it is searching, it uses the information gained from that attempt to rule out as many positions of the text as possible where the string cannot match.
+
+[heading Memory Use]
+
+The algorithm allocates two internal tables. The first one is proportional to the length of the pattern; the second one has one entry for each member of the "alphabet" in the pattern. For (8-bit) character types, this table contains 256 entries.
+
+[heading Complexity]
+
+The worst-case performance to find a pattern in the corpus is ['O(N)] (linear) time; that is, proportional to the length of the corpus being searched. In general, the search is sub-linear; not every entry in the corpus need be checked.
+
+[heading Exception Safety]
+
+Both the object-oriented and procedural versions of the Boyer-Moore algorithm take their parameters by value and do not use any information other than what is passed in. Therefore, both interfaces provide the strong exception guarantee.
+
+[heading Notes]
+
+* When using the object-based interface, the pattern must remain unchanged for during the searches; i.e, from the time the object is constructed until the final call to operator () returns.
+
+* The Boyer-Moore algorithm requires random-access iterators for both the pattern and the corpus.
+
+[heading Customization points]
+
+The Boyer-Moore object takes a traits template parameter which enables the caller to customize how one of the precomputed tables is stored. This table, called the skip table, contains (logically) one entry for every possible value that the pattern can contain. When searching 8-bit character data, this table contains 256 elements. The traits class defines the table to be used.
+
+The default traits class uses a `boost::array` for small 'alphabets' and a `tr1::unordered_map` for larger ones. The array-based skip table gives excellent performance, but could be prohibitively large when the 'alphabet' of elements to be searched grows. The unordered_map based version only grows as the number of unique elements in the pattern, but makes many more heap allocations, and gives slower lookup performance.
+
+To use a different skip table, you should define your own skip table object and your own traits class, and use them to instantiate the Boyer-Moore object. The interface to these objects is described TBD.
+
+
+[endsect]
+
+[/ File boyer_moore.qbk
+Copyright 2011 Marshall Clow
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt).
+]
+

Added: branches/release/libs/algorithm/doc/boyer_moore_horspool.qbk
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/doc/boyer_moore_horspool.qbk 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,93 @@
+[/ QuickBook Document version 1.5 ]
+
+[section:BoyerMooreHorspool Boyer-Moore-Horspool Search]
+
+[/license
+
+Copyright (c) 2010-2012 Marshall Clow
+
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at
+http://www.boost.org/LICENSE_1_0.txt)
+]
+
+
+[heading Overview]
+
+The header file 'boyer_moore_horspool.hpp' contains an an implementation of the Boyer-Moore-Horspool algorithm for searching sequences of values.
+
+The Boyer-Moore-Horspool search algorithm was published by Nigel Horspool in 1980. It is a refinement of the Boyer-Moore algorithm that trades space for time. It uses less space for internal tables than Boyer-Moore, and has poorer worst-case performance.
+
+The Boyer-Moore-Horspool algorithm cannot be used with comparison predicates like `std::search`.
+
+[heading Interface]
+
+Nomenclature: I refer to the sequence being searched for as the "pattern", and the sequence being searched in as the "corpus".
+
+For flexibility, the Boyer-Moore-Horspool algorithm has has two interfaces; an object-based interface and a procedural one. The object-based interface builds the tables in the constructor, and uses operator () to perform the search. The procedural interface builds the table and does the search all in one step. If you are going to be searching for the same pattern in multiple corpora, then you should use the object interface, and only build the tables once.
+
+Here is the object interface:
+``
+template <typename patIter>
+class boyer_moore_horspool {
+public:
+ boyer_moore_horspool ( patIter first, patIter last );
+ ~boyer_moore_horspool ();
+
+ template <typename corpusIter>
+ corpusIter operator () ( corpusIter corpus_first, corpusIter corpus_last );
+ };
+``
+
+and here is the corresponding procedural interface:
+
+``
+template <typename patIter, typename corpusIter>
+corpusIter boyer_moore_horspool_search (
+ corpusIter corpus_first, corpusIter corpus_last,
+ patIter pat_first, patIter pat_last );
+``
+
+Each of the functions is passed two pairs of iterators. The first two define the corpus and the second two define the pattern. Note that the two pairs need not be of the same type, but they do need to "point" at the same type. In other words, `patIter::value_type` and `curpusIter::value_type` need to be the same type.
+
+The return value of the function is an iterator pointing to the start of the pattern in the corpus. If the pattern is not found, it returns the end of the corpus (`corpus_last`).
+
+[heading Performance]
+
+The execution time of the Boyer-Moore-Horspool algorithm is linear in the size of the string being searched; it can have a significantly lower constant factor than many other search algorithms: it doesn't need to check every character of the string to be searched, but rather skips over some of them. Generally the algorithm gets faster as the pattern being searched for becomes longer. Its efficiency derives from the fact that with each unsuccessful attempt to find a match between the search string and the text it is searching, it uses the information gained from that attempt to rule out as many positions of the text as possible where the string cannot match.
+
+[heading Memory Use]
+
+The algorithm an internal table that has one entry for each member of the "alphabet" in the pattern. For (8-bit) character types, this table contains 256 entries.
+
+[heading Complexity]
+
+The worst-case performance is ['O(m x n)], where ['m] is the length of the pattern and ['n] is the length of the corpus. The average time is ['O(n)]. The best case performance is sub-linear, and is, in fact, identical to Boyer-Moore, but the initialization is quicker and the internal loop is simpler than Boyer-Moore.
+
+[heading Exception Safety]
+
+Both the object-oriented and procedural versions of the Boyer-Moore-Horspool algorithm take their parameters by value and do not use any information other than what is passed in. Therefore, both interfaces provide the strong exception guarantee.
+
+[heading Notes]
+
+* When using the object-based interface, the pattern must remain unchanged for during the searches; i.e, from the time the object is constructed until the final call to operator () returns.
+
+* The Boyer-Moore-Horspool algorithm requires random-access iterators for both the pattern and the corpus.
+
+[heading Customization points]
+
+The Boyer-Moore-Horspool object takes a traits template parameter which enables the caller to customize how the precomputed table is stored. This table, called the skip table, contains (logically) one entry for every possible value that the pattern can contain. When searching 8-bit character data, this table contains 256 elements. The traits class defines the table to be used.
+
+The default traits class uses a `boost::array` for small 'alphabets' and a `tr1::unordered_map` for larger ones. The array-based skip table gives excellent performance, but could be prohibitively large when the 'alphabet' of elements to be searched grows. The unordered_map based version only grows as the number of unique elements in the pattern, but makes many more heap allocations, and gives slower lookup performance.
+
+To use a different skip table, you should define your own skip table object and your own traits class, and use them to instantiate the Boyer-Moore-Horspool object. The interface to these objects is described TBD.
+
+
+[endsect]
+
+[/ File boyer_moore_horspool.qbk
+Copyright 2011 Marshall Clow
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt).
+]
+

Added: branches/release/libs/algorithm/doc/clamp-hpp.qbk
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/doc/clamp-hpp.qbk 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,73 @@
+[/ QuickBook Document version 1.5 ]
+[section:clamp clamp]
+
+[/license
+
+Copyright (c) 2010-2012 Marshall Clow
+
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at
+http://www.boost.org/LICENSE_1_0.txt)
+
+]
+
+
+The header file clamp.hpp contains two functions for "clamping" a value between a pair of boundary values.
+
+[heading clamp]
+
+The function `clamp (v, lo, hi)` returns:
+
+* lo if v < lo
+* hi if hi < v
+* otherwise, v
+
+Note: using `clamp` with floating point numbers may give unexpected results if one of the values is `NaN`.
+
+There is also a version that allows the caller to specify a comparison predicate to use instead of `operator <`.
+
+``
+template<typename V>
+V clamp ( V val, V lo, V hi );
+
+template<typename V, typename Pred>
+V clamp ( V val, V lo, V hi, Pred p );
+``
+
+The following code: ``
+ int foo = 23;
+ foo = clamp ( foo, 1, 10 );
+``
+will leave `foo` with a value of 10
+
+Complexity:
+ `clamp` will make either one or two calls to the comparison predicate before returning one of the three parameters.
+
+[heading clamp_range]
+There are also four range-based versions of clamp, that apply clamping to a series of values. You could write them yourself with std::transform and bind, like this: `std::transform ( first, last, out, bind ( clamp ( _1, lo, hi )))`, but they are provided here for your convenience.
+
+``
+template<typename InputIterator, typename OutputIterator>
+OutputIterator clamp_range ( InputIterator first, InputIterator last, OutputIterator out,
+ typename std::iterator_traits<InputIterator>::value_type lo,
+ typename std::iterator_traits<InputIterator>::value_type hi );
+
+template<typename Range, typename OutputIterator>
+OutputIterator clamp_range ( const Range &r, OutputIterator out,
+ typename std::iterator_traits<typename boost::range_iterator<const Range>::type>::value_type lo,
+ typename std::iterator_traits<typename boost::range_iterator<const Range>::type>::value_type hi );
+
+template<typename InputIterator, typename OutputIterator, typename Pred>
+OutputIterator clamp_range ( InputIterator first, InputIterator last, OutputIterator out,
+ typename std::iterator_traits<InputIterator>::value_type lo,
+ typename std::iterator_traits<InputIterator>::value_type hi, Pred p );
+
+template<typename Range, typename OutputIterator, typename Pred>
+OutputIterator clamp_range ( const Range &r, OutputIterator out,
+ typename std::iterator_traits<typename boost::range_iterator<const Range>::type>::value_type lo,
+ typename std::iterator_traits<typename boost::range_iterator<const Range>::type>::value_type hi,
+ Pred p );
+``
+
+
+[endsect]

Added: branches/release/libs/algorithm/doc/hex.qbk
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/doc/hex.qbk 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,109 @@
+[/ File hex.qbk]
+
+[section:hex hex]
+
+[/license
+Copyright (c) 2011-2012 Marshall Clow
+
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+]
+
+The header file `'boost/algorithm/hex.hpp'` contains three variants each of two algorithms, `hex` and `unhex`. They are inverse algorithms; that is, one undoes the effort of the other. `hex` takes a sequence of values, and turns them into hexadecimal characters. `unhex` takes a sequence of hexadecimal characters, and outputs a sequence of values.
+
+`hex` and `unhex` come from MySQL, where they are used in database queries and stored procedures.
+
+[heading interface]
+
+The function `hex` takes a sequence of values and writes hexadecimal characters. There are three different interfaces, differing only in how the input sequence is specified.
+
+The first one takes an iterator pair. The second one takes a pointer to the start of a zero-terminated sequence, such as a c string, and the third takes a range as defined by the Boost.Range library.
+
+``
+template <typename InputIterator, typename OutputIterator>
+OutputIterator hex ( InputIterator first, InputIterator last, OutputIterator out );
+
+template <typename T, typename OutputIterator>
+OutputIterator hex ( const T *ptr, OutputIterator out );
+
+template <typename Range, typename OutputIterator>
+OutputIterator hex ( const Range &r, OutputIterator out );
+``
+
+`hex` writes only values in the range '0'..'9' and 'A'..'F', but is not limited to character output. The output iterator could refer to a wstring, or a vector of integers, or any other integral type.
+
+The function `unhex` takes the output of `hex` and turns it back into a sequence of values.
+
+The input parameters for the different variations of `unhex` are the same as `hex`.
+
+``
+template <typename InputIterator, typename OutputIterator>
+OutputIterator unhex ( InputIterator first, InputIterator last, OutputIterator out );
+
+template <typename T, typename OutputIterator>
+OutputIterator unhex ( const T *ptr, OutputIterator out );
+
+template <typename Range, typename OutputIterator>
+OutputIterator unhex ( const Range &r, OutputIterator out );
+``
+
+[heading Error Handling]
+The header 'hex.hpp' defines three exception classes:
+``
+struct hex_decode_error: virtual boost::exception, virtual std::exception {};
+struct not_enough_input : public hex_decode_error;
+struct non_hex_input : public hex_decode_error;
+``
+
+If the input to `unhex` does not contain an "even number" of hex digits, then an exception of type `boost::algorithm::not_enough_input` is thrown.
+
+If the input to `unhex` contains any non-hexadecimal characters, then an exception of type `boost::algorithm::non_hex_input` is thrown.
+
+If you want to catch all the decoding errors, you can catch exceptions of type `boost::algorithm::hex_decode_error`.
+
+[heading Examples]
+
+Assuming that `out` is an iterator that accepts `char` values, and `wout` accepts `wchar_t` values (and that sizeof ( wchar_t ) == 2)
+
+``
+hex ( "abcde", out ) --> "616263646566"
+hex ( "32", out ) --> "3332"
+hex ( "abcde", wout ) --> "006100620063006400650066"
+hex ( "32", wout ) --> "00330032"
+
+unhex ( "616263646566", out ) --> "abcde"
+unhex ( "3332", out ) --> "32"
+unhex ( "616263646566", wout ) --> "\6162\6364\6566" ( i.e, a 3 character string )
+unhex ( "3332", wout ) --> "\3233" ( U+3332, SQUARE HUARADDO )
+
+unhex ( "3", out ) --> Error - not enough input
+unhex ( "32", wout ) --> Error - not enough input
+
+unhex ( "ACEG", out ) --> Error - non-hex input
+
+``
+
+[heading Iterator Requirements]
+
+`hex` and `unhex` work on all iterator types.
+
+[heading Complexity]
+
+All of the variants of `hex` and `unhex` run in ['O(N)] (linear) time; that is, that is, they process each element in the input sequence once.
+
+[heading Exception Safety]
+
+All of the variants of `hex` and `unhex` take their parameters by value or const reference, and do not depend upon any global state. Therefore, all the routines in this file provide the strong exception guarantee. However, when working on input iterators, if an exception is thrown, the input iterators will not be reset to their original values (i.e, the characters read from the iterator cannot be un-read)
+
+[heading Notes]
+
+* `hex` and `unhex` both do nothing when passed empty ranges.
+
+[endsect]
+
+[/ File hex.qbk
+Copyright 2011 Marshall Clow
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt).
+]
+

Added: branches/release/libs/algorithm/doc/is_partitioned.qbk
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/doc/is_partitioned.qbk 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,69 @@
+[/ File is_partitioned.qbk]
+
+[section:is_partitioned is_partitioned ]
+
+[/license
+Copyright (c) 2010-2012 Marshall Clow
+
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+]
+
+The header file 'is_partitioned.hpp' contains two variants of a single algorithm, `is_partitioned`. The algorithm tests to see if a sequence is partitioned according to a predicate; in other words, all the items in the sequence that satisfy the predicate are at the beginning of the sequence.
+
+The routine `is_partitioned` takes a sequence and a predicate. It returns true if the sequence is partitioned according to the predicate.
+
+`is_partitioned` come in two forms; the first one takes two iterators to define the range. The second form takes a single range parameter, and uses Boost.Range to traverse it.
+
+
+[heading interface]
+
+The function `is_partitioned` returns true the items in the sequence are separated according to their ability to satisfy the predicate. There are two versions; one takes two iterators, and the other takes a range.
+
+``
+template<typename InputIterator, typename Predicate>
+ bool is_partitioned ( InputIterator first, InputIterator last, Predicate p );
+template<typename Range, typename Predicate>
+ bool is_partitioned ( const Range &r, Predicate p );
+``
+
+[heading Examples]
+
+Given the container `c` containing `{ 0, 1, 2, 3, 14, 15 }`, then
+``
+bool isOdd ( int i ) { return i % 2 == 1; }
+bool lessThan10 ( int i ) { return i < 10; }
+
+is_partitioned ( c, isOdd ) --> false
+is_partitioned ( c, lessThan10 ) --> true
+is_partitioned ( c.begin (), c.end (), lessThan10 ) --> true
+is_partitioned ( c.begin (), c.begin () + 3, lessThan10 ) --> true
+is_partitioned ( c.end (), c.end (), isOdd ) --> true // empty range
+``
+
+[heading Iterator Requirements]
+
+`is_partitioned` works on all iterators except output iterators.
+
+[heading Complexity]
+
+Both of the variants of `is_partitioned` run in ['O(N)] (linear) time; that is, they compare against each element in the list once. If the sequence is found to be not partitioned at any point, the routine will terminate immediately, without examining the rest of the elements.
+
+[heading Exception Safety]
+
+Both of the variants of `is_partitioned` take their parameters by value or const reference, and do not depend upon any global state. Therefore, all the routines in this file provide the strong exception guarantee.
+
+[heading Notes]
+
+* The iterator-based version of the routine `is_partitioned` is part of the C++11 standard. When compiled using a C++11 implementation, the implementation from the standard library will be used.
+
+* `is_partitioned` returns true for empty ranges, no matter what predicate is passed to test against.
+
+[endsect]
+
+[/ File is_partitioned.qbk
+Copyright 2011 Marshall Clow
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt).
+]
+

Added: branches/release/libs/algorithm/doc/knuth_morris_pratt.qbk
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/doc/knuth_morris_pratt.qbk 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,27 @@
+[/ QuickBook Document version 1.5 ]
+
+[section:KnuthMorrisPratt Knuth-Morris-Pratt Search]
+
+[/license
+
+Copyright (c) 2010-2012 Marshall Clow
+
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at
+http://www.boost.org/LICENSE_1_0.txt)
+]
+
+
+[heading Overview]
+
+The header file 'knuth_morris_pratt.hpp' contains an an implementation of the Knuth-Morris-Pratt algorithm for searching sequences of values.
+
+
+[endsect]
+
+[/ File knuth_morris_pratt.qbk
+Copyright 2011 Marshall Clow
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt).
+]
+

Added: branches/release/libs/algorithm/doc/none_of.qbk
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/doc/none_of.qbk 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,90 @@
+[/ File none_of.qbk]
+
+[section:none_of none_of]
+
+[/license
+Copyright (c) 2010-2012 Marshall Clow
+
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+]
+
+The header file 'boost/algorithm/cxx11/none_of.hpp' contains four variants of a single algorithm, `none_of`. The algorithm tests all the elements of a sequence and returns true if they none of them share a property.
+
+The routine `none_of` takes a sequence and a predicate. It will return true if the predicate returns false when applied to every element in the sequence.
+
+The routine `none_of_equal` takes a sequence and a value. It will return true if none of the elements in the sequence compare equal to the passed in value.
+
+Both routines come in two forms; the first one takes two iterators to define the range. The second form takes a single range parameter, and uses Boost.Range to traverse it.
+
+
+[heading interface]
+
+The function `none_of` returns true if the predicate returns false for every item in the sequence. There are two versions; one takes two iterators, and the other takes a range.
+
+``
+namespace boost { namespace algorithm {
+template<typename InputIterator, typename Predicate>
+ bool none_of ( InputIterator first, InputIterator last, Predicate p );
+template<typename Range, typename Predicate>
+ bool none_of ( const Range &r, Predicate p );
+}}
+``
+
+The function `none_of_equal` is similar to `none_of`, but instead of taking a predicate to test the elements of the sequence, it takes a value to compare against.
+
+``
+namespace boost { namespace algorithm {
+template<typename InputIterator, typename V>
+ bool none_of_equal ( InputIterator first, InputIterator last, V const &val );
+template<typename Range, typename V>
+ bool none_of_equal ( const Range &r, V const &val );
+}}
+``
+
+[heading Examples]
+
+Given the container `c` containing `{ 0, 1, 2, 3, 14, 15 }`, then
+``
+bool isOdd ( int i ) { return i % 2 == 1; }
+bool lessThan10 ( int i ) { return i < 10; }
+
+using boost::algorithm;
+
+none_of ( c, isOdd ) --> false
+none_of ( c.begin (), c.end (), lessThan10 ) --> false
+none_of ( c.begin () + 4, c.end (), lessThan10 ) --> true
+none_of ( c.end (), c.end (), isOdd ) --> true // empty range
+none_of_equal ( c, 3 ) --> false
+none_of_equal ( c.begin (), c.begin () + 3, 3 ) --> true
+none_of_equal ( c.begin (), c.begin (), 99 ) --> true // empty range
+``
+
+[heading Iterator Requirements]
+
+`none_of` and `none_of_equal` work on all iterators except output iterators.
+
+[heading Complexity]
+
+All of the variants of `none_of` and `none_of_equal` run in ['O(N)] (linear) time; that is, they compare against each element in the list once. If any of the comparisons succeed, the algorithm will terminate immediately, without examining the remaining members of the sequence.
+
+[heading Exception Safety]
+
+All of the variants of `none_of` and `none_of_equal` take their parameters by value or const reference, and do not depend upon any global state. Therefore, all the routines in this file provide the strong exception guarantee.
+
+[heading Notes]
+
+* The routine `none_of` is part of the C++11 standard. When compiled using a C++11 implementation, the implementation from the standard library will be used.
+
+* `none_of` and `none_of_equal` both return true for empty ranges, no matter what is passed to test against.
+
+* The second parameter to `none_of_value` is a template parameter, rather than deduced from the first parameter (`std::iterator_traits<InputIterator>::value_type`) because that allows more flexibility for callers, and takes advantage of built-in comparisons for the type that is pointed to by the iterator. The function is defined to return true if, for all elements in the sequence, the expression `*iter == val` evaluates to false (where `iter` is an iterator to each element in the sequence)
+
+[endsect]
+
+[/ File none_of.qbk
+Copyright 2011 Marshall Clow
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt).
+]
+

Added: branches/release/libs/algorithm/doc/one_of.qbk
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/doc/one_of.qbk 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,87 @@
+[/ File one_of.qbk]
+
+[section:one_of one_of]
+
+[/license
+Copyright (c) 2010-2012 Marshall Clow
+
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+]
+
+The header file 'boost/algorithm/cxx11/one_of.hpp' contains four variants of a single algorithm, `one_of`. The algorithm tests the elements of a sequence and returns true if exactly one of the elements in the sequence has a particular property.
+
+The routine `one_of` takes a sequence and a predicate. It will return true if the predicate returns true for one element in the sequence.
+
+The routine `one_of_equal` takes a sequence and a value. It will return true if one element in the sequence compares equal to the passed in value.
+
+Both routines come in two forms; the first one takes two iterators to define the range. The second form takes a single range parameter, and uses Boost.Range to traverse it.
+
+
+[heading interface]
+
+The function `one_of` returns true if the predicate returns true for one item in the sequence. There are two versions; one takes two iterators, and the other takes a range.
+
+``
+namespace boost { namespace algorithm {
+template<typename InputIterator, typename Predicate>
+ bool one_of ( InputIterator first, InputIterator last, Predicate p );
+template<typename Range, typename Predicate>
+ bool one_of ( const Range &r, Predicate p );
+}}
+``
+
+The function `one_of_equal` is similar to `one_of`, but instead of taking a predicate to test the elements of the sequence, it takes a value to compare against.
+
+``
+namespace boost { namespace algorithm {
+template<typename InputIterator, typename V>
+ bool one_of_equal ( InputIterator first, InputIterator last, V const &val );
+template<typename Range, typename V>
+ bool one_of_equal ( const Range &r, V const &val );
+}}
+``
+
+[heading Examples]
+
+Given the container `c` containing `{ 0, 1, 2, 3, 14, 15 }`, then
+``
+bool isOdd ( int i ) { return i % 2 == 1; }
+bool lessThan10 ( int i ) { return i < 10; }
+
+using boost::algorithm;
+one_of ( c, isOdd ) --> false
+one_of ( c.begin (), c.end (), lessThan10 ) --> false
+one_of ( c.begin () + 3, c.end (), lessThan10 ) --> true
+one_of ( c.end (), c.end (), isOdd ) --> false // empty range
+one_of_equal ( c, 3 ) --> true
+one_of_equal ( c.begin (), c.begin () + 3, 3 ) --> false
+one_of_equal ( c.begin (), c.begin (), 99 ) --> false // empty range
+``
+
+[heading Iterator Requirements]
+
+`one_of` and `one_of_equal` work on all iterators except output iterators.
+
+[heading Complexity]
+
+All of the variants of `one_of` and `one_of_equal` run in ['O(N)] (linear) time; that is, they compare against each element in the list once. If more than one of the elements in the sequence satisfy the condition, then algorithm will return false immediately, without examining the remaining members of the sequence.
+
+[heading Exception Safety]
+
+All of the variants of `one_of` and `one_of_equal` take their parameters by value or const reference, and do not depend upon any global state. Therefore, all the routines in this file provide the strong exception guarantee.
+
+[heading Notes]
+
+* `one_of` and `one_of_equal` both return false for empty ranges, no matter what is passed to test against.
+
+* The second parameter to `one_of_value` is a template parameter, rather than deduced from the first parameter (`std::iterator_traits<InputIterator>::value_type`) because that allows more flexibility for callers, and takes advantage of built-in comparisons for the type that is pointed to by the iterator. The function is defined to return true if, for one element in the sequence, the expression `*iter == val` evaluates to true (where `iter` is an iterator to each element in the sequence)
+
+[endsect]
+
+[/ File one_of.qbk
+Copyright 2011 Marshall Clow
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt).
+]
+

Added: branches/release/libs/algorithm/doc/ordered-hpp.qbk
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/doc/ordered-hpp.qbk 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,128 @@
+[/ QuickBook Document version 1.5 ]
+[section:is_sorted is_sorted ]
+
+[/license
+
+Copyright (c) 2010-2012 Marshall Clow
+
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at
+http://www.boost.org/LICENSE_1_0.txt)
+
+]
+
+
+The header file `<boost/algorithm/cxx11/is_sorted.hpp>` contains functions for determining if a sequence is ordered.
+
+[heading is_sorted]
+The function `is_sorted(sequence)` determines whether or not a sequence is completely sorted according so some criteria. If no comparison predicate is specified, then std::less_equal is used (i.e, the test is to see if the sequence is non-decreasing)
+
+``
+namespace boost { namespace algorithm {
+ template <typename Iterator, typename Pred>
+ bool is_sorted ( Iterator first, Iterator last, Pred p );
+
+ template <typename Iterator>
+ bool is_sorted ( Iterator first, Iterator last );
+
+
+ template <typename Range, typename Pred>
+ bool is_sorted ( const Range &r, Pred p );
+
+ template <typename Range>
+ bool is_sorted ( const Range &r );
+}}
+``
+
+Iterator requirements: The `is_sorted` functions will work on all kinds of iterators (except output iterators).
+
+[heading is_sorted_until]
+
+The function `is_sorted_until(sequence, predicate)` compares each sequential pair of elements in the sequence, checking if they satisfy the predicate. it returns the first element of the sequence that does not satisfy the predicate with its' predecessor. In short, it returns the element in the sequence that is "out of order". If all adjacent pairs satisfy the predicate, then it will return one past the last element of the sequence.
+
+``
+namespace boost { namespace algorithm {
+ template <typename ForwardIterator, typename Pred>
+ FI is_sorted_until ( ForwardIterator first, ForwardIterator last, Pred p );
+
+ template <typename ForwardIterator>
+ ForwardIterator is_sorted_until ( ForwardIterator first, ForwardIterator last );
+
+
+ template <typename Range, typename Pred>
+ typename boost::range_iterator<const R>::type is_sorted_until ( const Range &r, Pred p );
+
+ template <typename Range>
+ typename boost::range_iterator<const R>::type is_sorted_until ( const Range &r );
+}}
+``
+
+Iterator requirements: The `is_sorted_until` functions will work on forward iterators or better. Since they have to return a place in the input sequence, input iterators will not suffice.
+
+Complexity:
+ `is_sorted_until` will make at most ['N-1] calls to the predicate (given a sequence of length ['N]).
+
+Examples:
+
+Given the sequence `{ 1, 2, 3, 4, 5, 3 }`, `is_sorted_until ( beg, end, std::less<int>())` would return an iterator pointing at the second `3`.
+
+Given the sequence `{ 1, 2, 3, 4, 5, 9 }`, `is_sorted_until ( beg, end, std::less<int>())` would return `end`.
+
+
+There are also a set of "wrapper functions" for is_ordered which make it easy to see if an entire sequence is ordered. These functions return a boolean indicating success or failure rather than an iterator to where the out of order items were found.
+
+To test if a sequence is increasing (each element at least as large as the preceeding one):
+``
+namespace boost { namespace algorithm {
+ template <typename Iterator>
+ bool is_increasing ( Iterator first, Iterator last );
+
+ template <typename R>
+ bool is_increasing ( const R &range );
+}}
+``
+
+To test if a sequence is decreasing (each element no larger than the preceeding one):
+
+``
+namespace boost { namespace algorithm {
+ template <typename Iterator>
+ bool is_decreasing ( Iterator first, Iterator last );
+
+ template <typename R>
+ bool is_decreasing ( const R &range );
+}}
+``
+
+To test if a sequence is strictly increasing (each element larger than the preceeding one):
+``
+namespace boost { namespace algorithm {
+ template <typename Iterator>
+ bool is_strictly_increasing ( Iterator first, Iterator last );
+
+ template <typename R>
+ bool is_strictly_increasing ( const R &range );
+}}
+``
+
+To test if a sequence is strictly decreasing (each element smaller than the preceeding one):
+``
+namespace boost { namespace algorithm {
+ template <typename Iterator>
+ bool is_strictly_decreasing ( Iterator first, Iterator last );
+
+ template <typename R>
+ bool is_strictly_decreasing ( const R &range );
+}}
+``
+
+Complexity:
+ Each of these calls is just a thin wrapper over `is_sorted`, so they have the same complexity as `is_sorted`.
+
+[heading Notes]
+
+* The routines `is_sorted` and `is_sorted_until` are part of the C++11 standard. When compiled using a C++11 implementation, the implementation from the standard library will be used.
+
+* `is_sorted` and `is_sorted_until` both return true for empty ranges and ranges of length one.
+
+[endsect]

Added: branches/release/libs/algorithm/doc/partition_point.qbk
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/doc/partition_point.qbk 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,68 @@
+[/ File partition_point.qbk]
+
+[section:partition_point partition_point ]
+
+[/license
+Copyright (c) 2010-2012 Marshall Clow
+
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+]
+
+The header file 'partition_point.hpp' contains two variants of a single algorithm, `partition_point`. Given a partitioned sequence and a predicate, the algorithm finds the partition point; i.e, the first element in the sequence that does not satisfy the predicate.
+
+The routine `partition_point` takes a partitioned sequence and a predicate. It returns an iterator which 'points to' the first element in the sequence that does not satisfy the predicate. If all the items in the sequence satisfy the predicate, then it returns one past the final element in the sequence.
+
+`partition_point` come in two forms; the first one takes two iterators to define the range. The second form takes a single range parameter, and uses Boost.Range to traverse it.
+
+
+[heading interface]
+
+There are two versions; one takes two iterators, and the other takes a range.
+
+``
+template<typename ForwardIterator, typename Predicate>
+ ForwardIterator partition_point ( ForwardIterator first, ForwardIterator last, Predicate p );
+template<typename Range, typename Predicate>
+ boost::range_iterator<Range> partition_point ( const Range &r, Predicate p );
+``
+
+[heading Examples]
+
+Given the container `c` containing `{ 0, 1, 2, 3, 14, 15 }`, then
+``
+bool lessThan10 ( int i ) { return i < 10; }
+bool isOdd ( int i ) { return i % 2 == 1; }
+
+partition_point ( c, lessThan10 ) --> c.begin () + 4 (pointing at 14)
+partition_point ( c.begin (), c.end (), lessThan10 ) --> c.begin () + 4 (pointing at 14)
+partition_point ( c.begin (), c.begin () + 3, lessThan10 ) -> c.begin () + 3 (end)
+partition_point ( c.end (), c.end (), isOdd ) --> c.end () // empty range
+``
+
+[heading Iterator Requirements]
+
+`partition_point` requires forward iterators or better; it will not work on input iterators or output iterators.
+
+[heading Complexity]
+
+Both of the variants of `partition_point` run in ['O( log (N))] (logarithmic) time; that is, the predicate will be will be applied approximately ['log(N)] times. To do this, however, the algorithm needs to know the size of the sequence. For forward and bidirectional iterators, calculating the size of the sequence is an ['O(N)] operation.
+
+[heading Exception Safety]
+
+Both of the variants of `partition_point` take their parameters by value or const reference, and do not depend upon any global state. Therefore, all the routines in this file provide the strong exception guarantee.
+
+[heading Notes]
+
+* The iterator-based version of the routine `partition_point` is part of the C++11 standard. When compiled using a C++11 implementation, the implementation from the standard library will be used.
+
+* For empty ranges, the partition point is the end of the range.
+
+[endsect]
+
+[/ File partition_point.qbk
+Copyright 2011 Marshall Clow
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt).
+]
+

Added: branches/release/libs/algorithm/example/Jamfile.v2
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/example/Jamfile.v2 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,22 @@
+# Boost algorithm library example programs Jamfile
+#
+# Copyright Marshall Clow 2010-2012. Use, modification and
+# distribution is subject to the Boost Software License, Version
+# 1.0. (See accompanying file LICENSE_1_0.txt or copy at
+# http://www.boost.org/LICENSE_1_0.txt)
+#
+# See http://www.boost.org for updates, documentation, and revision history.
+
+
+project /boost/algorithm/example
+ : requirements
+ <include>../../../
+ <optimization>speed
+ <toolset>msvc:<define>_SCL_SECURE_NO_WARNINGS
+ <toolset>msvc:<define>NOMINMAX
+ <link>static
+ :
+ ;
+
+exe clamp_example : clamp_example.cpp ;
+exe search_example : search_example.cpp ;

Added: branches/release/libs/algorithm/example/clamp_example.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/example/clamp_example.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,54 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <string>
+#include <iostream> // for cout, etc
+
+#include <boost/algorithm/clamp.hpp>
+
+namespace ba = boost::algorithm;
+
+bool compare_string_lengths ( const std::string &one, const std::string &two )
+{
+ return one.length () < two.length ();
+}
+
+int main ( int /*argc*/, char * /*argv*/ [] ) {
+// Clamp takes a value and two "fenceposts", and brings the value "between" the fenceposts.
+
+// If the input value is "between" the fenceposts, then it is returned unchanged.
+ std::cout << "Clamping 5 to between [1, 10] -> " << ba::clamp ( 5, 1, 10 ) << std::endl;
+
+// If the input value is out side the range of the fenceposts, it "brought into" range.
+ std::cout << "Clamping 15 to between [1, 10] -> " << ba::clamp ( 15, 1, 10 ) << std::endl;
+ std::cout << "Clamping -15 to between [1, 10] -> " << ba::clamp ( -15, 1, 10 ) << std::endl;
+
+// It doesn't just work for ints
+ std::cout << "Clamping 5.1 to between [1, 10] -> " << ba::clamp ( 5.1, 1.0, 10.0 ) << std::endl;
+
+ {
+ std::string one ( "Lower Bound" ), two ( "upper bound!" ), test1 ( "test#" ), test2 ( "#test" );
+ std::cout << "Clamping '" << test1 << "' between ['" << one << "' and '" << two << "'] -> '" <<
+ ba::clamp ( test1, one, two ) << "'" << std::endl;
+ std::cout << "Clamping '" << test2 << "' between ['" << one << "' and '" << two << "'] -> '" <<
+ ba::clamp ( test2, one, two ) << "'" << std::endl;
+ // There is also a predicate based version, if you want to compare objects in your own way
+ std::cout << "Clamping '" << test1 << "' between ['" << one << "' and '" << two << "'] (comparing lengths) -> '" <<
+ ba::clamp ( test1, one, two, compare_string_lengths ) << "'" << std::endl;
+ std::cout << "Clamping '" << test2 << "' between ['" << one << "' and '" << two << "'] (comparing lengths) -> '" <<
+ ba::clamp ( test2, one, two, compare_string_lengths ) << "'" << std::endl;
+
+ }
+
+// Sometimes, though, you don't get quite what you expect
+// This is because the two double arguments get converted to int
+ std::cout << "Somewhat unexpected: clamp ( 12, 14.7, 15.9 ) --> " << ba::clamp ( 12, 14.7, 15.9 ) << std::endl;
+ std::cout << "Expected: clamp ((double)12, 14.7, 15.9 ) --> " << ba::clamp ((double) 12, 14.7, 15.9 ) << std::endl;
+ return 0;
+ }

Added: branches/release/libs/algorithm/example/search_example.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/example/search_example.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,57 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <string>
+#include <iostream> // for cout, etc.
+
+#include <boost/algorithm/searching/boyer_moore.hpp>
+#include <boost/algorithm/searching/boyer_moore_horspool.hpp>
+#include <boost/algorithm/searching/knuth_morris_pratt.hpp>
+
+namespace ba = boost::algorithm;
+
+const std::string haystack ( "ABACAB is it everywhere!" );
+const std::string needle1 ( "ACAB" );
+const std::string needle2 ( "not ABA" );
+
+
+
+int main ( int /*argc*/, char * /*argv*/ [] ) {
+// In search.hpp, there are generic implementations of three classic sequence search
+// algorithms. They all have the same (dual) interface.
+
+// There is a procedural interface, based on std::search:
+ if ( ba::boyer_moore_search ( haystack.begin (), haystack.end (), needle1.begin (), needle1.end ()) != haystack.end ())
+ std::cout << "Found '" << needle1 << "' in '" << haystack << "' (boyer-moore 1)" << std::endl;
+ else
+ std::cout << "Did NOT find '" << needle1 << "' in '" << haystack << "' (boyer-moore 1)" << std::endl;
+
+// If you plan on searching for the same pattern in several different data sets,
+// you can create a search object and use that over and over again - amortizing the setup
+// costs across several searches
+ ba::boyer_moore<std::string::const_iterator> search1 ( needle1.begin (), needle1.end ());
+ if ( search1 ( haystack.begin (), haystack.end ()) != haystack.end ())
+ std::cout << "Found '" << needle1 << "' in '" << haystack << "' (boyer-moore 2)" << std::endl;
+ else
+ std::cout << "Did NOT find '" << needle1 << "' in '" << haystack << "' (boyer-moore 2)" << std::endl;
+
+// There is also an implementation of boyer-moore-horspool searching
+ if ( ba::boyer_moore_horspool_search ( haystack.begin (), haystack.end (), needle1.begin (), needle1.end ()) != haystack.end ())
+ std::cout << "Found '" << needle1 << "' in '" << haystack << "' (boyer-moore-horspool)" << std::endl;
+ else
+ std::cout << "Did NOT find '" << needle1 << "' in '" << haystack << "' (boyer-moore-horspool)" << std::endl;
+
+// And also the knuth-pratt-morris search algorithm
+ if ( ba::knuth_morris_pratt_search ( haystack.begin (), haystack.end (), needle1.begin (), needle1.end ()) != haystack.end ())
+ std::cout << "Found '" << needle1 << "' in '" << haystack << "' (knuth_morris_pratt)" << std::endl;
+ else
+ std::cout << "Did NOT find '" << needle1 << "' in '" << haystack << "' (knuth_morris_pratt)" << std::endl;
+
+ return 0;
+ }

Added: branches/release/libs/algorithm/test/Jamfile.v2
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/Jamfile.v2 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,49 @@
+# Boost algorithm library test suite Jamfile ----------------------------
+#
+# Copyright Marshall Clow 2010-2012. Use, modification and
+# distribution is subject to the Boost Software License, Version
+# 1.0. (See accompanying file LICENSE_1_0.txt or copy at
+# http://www.boost.org/LICENSE_1_0.txt)
+#
+# See http://www.boost.org for updates, documentation, and revision history.
+
+import testing ;
+
+{
+ test-suite algorithm:
+# Search tests
+ : [ run empty_search_test.cpp : : : : empty_search_test ]
+ [ run search_test1.cpp : : : : search_test1 ]
+ [ run search_test2.cpp : : : : search_test2 ]
+ [ run search_test3.cpp : : : : search_test3 ]
+ [ compile-fail search_fail1.cpp : : : : ]
+ [ compile-fail search_fail2.cpp : : : : ]
+ [ compile-fail search_fail3.cpp : : : : ]
+
+# Clamp tests
+ [ run clamp_test.cpp : : : : clamp_test ]
+
+# Cxx11 tests
+ [ run all_of_test.cpp : : : : all_of_test ]
+ [ run any_of_test.cpp : : : : any_of_test ]
+ [ run none_of_test.cpp : : : : none_of_test ]
+ [ run one_of_test.cpp : : : : one_of_test ]
+
+ [ run ordered_test.cpp : : : : ordered_test ]
+ [ run find_if_not_test1.cpp : : : : find_if_not_test1 ]
+ [ run copy_n_test1.cpp : : : : copy_n_test1 ]
+ [ run iota_test1.cpp : : : : iota_test1 ]
+
+ [ run is_permutation_test1.cpp : : : : is_permutation_test1 ]
+ [ run partition_point_test1.cpp : : : : partition_point_test1 ]
+ [ run is_partitioned_test1.cpp : : : : is_partitioned_test1 ]
+ [ run partition_copy_test1.cpp : : : : partition_copy_test1 ]
+
+# Hex tests
+ [ run hex_test1.cpp : : : : hex_test1 ]
+ [ run hex_test2.cpp : : : : hex_test2 ]
+ [ run hex_test3.cpp : : : : hex_test3 ]
+ [ compile-fail hex_fail1.cpp ]
+ ;
+}
+

Added: branches/release/libs/algorithm/test/all_of_test.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/all_of_test.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,86 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <boost/config.hpp>
+#include <boost/algorithm/cxx11/all_of.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <functional>
+#include <vector>
+#include <list>
+
+template<typename T>
+struct is_ : public std::unary_function<T, bool> {
+ is_ ( T v ) : val_ ( v ) {}
+ ~is_ () {}
+ bool operator () ( T comp ) const { return val_ == comp; }
+private:
+ is_ (); // need a value
+
+ T val_;
+ };
+
+namespace ba = boost::algorithm;
+
+void test_all ()
+{
+// Note: The literal values here are tested against directly, careful if you change them:
+ int some_numbers[] = { 1, 1, 1, 18, 10 };
+ std::vector<int> vi(some_numbers, some_numbers + 5);
+ std::list<int> li(vi.begin(), vi.end ());
+
+ int some_letters[] = { 'a', 'q', 'n', 'y', 'n' };
+ std::vector<char> vc(some_letters, some_letters + 5);
+
+
+ BOOST_CHECK (!ba::all_of_equal ( vi, 1 ));
+ BOOST_CHECK (!ba::all_of ( vi, is_<int> ( 1 )));
+ BOOST_CHECK (!ba::all_of_equal ( vi.begin(), vi.end(), 1 ));
+ BOOST_CHECK (!ba::all_of ( vi.begin(), vi.end(), is_<int> ( 1 )));
+
+ BOOST_CHECK (!ba::all_of_equal ( vi, 0 ));
+ BOOST_CHECK (!ba::all_of ( vi, is_<int> ( 0 )));
+ BOOST_CHECK (!ba::all_of_equal ( vi.begin(), vi.end(), 0 ));
+ BOOST_CHECK (!ba::all_of ( vi.begin(), vi.end(), is_<int> ( 0 )));
+
+ BOOST_CHECK ( ba::all_of_equal ( vi.end(), vi.end(), 0 ));
+ BOOST_CHECK ( ba::all_of ( vi.end(), vi.end(), is_<int> ( 0 )));
+
+ BOOST_CHECK ( ba::all_of_equal ( vi.begin(), vi.begin () + 3, 1 ));
+ BOOST_CHECK ( ba::all_of ( vi.begin(), vi.begin () + 3, is_<int> ( 1 )));
+
+ BOOST_CHECK ( ba::all_of_equal ( vc.begin() + 1, vc.begin() + 2, 'q' ));
+ BOOST_CHECK ( ba::all_of ( vc.begin() + 1, vc.begin() + 2, is_<char> ( 'q' )));
+
+ BOOST_CHECK (!ba::all_of_equal ( vc, '!' ));
+ BOOST_CHECK (!ba::all_of ( vc, is_<char> ( '!' )));
+
+ BOOST_CHECK ( ba::all_of_equal ( vi.begin(), vi.begin(), 1 ));
+ BOOST_CHECK ( ba::all_of_equal ( vc.begin(), vc.begin(), 'a' ));
+ BOOST_CHECK ( ba::all_of ( vi.begin(), vi.begin(), is_<int> ( 1 )));
+ BOOST_CHECK ( ba::all_of ( vc.begin(), vc.begin(), is_<char> ( 'a' )));
+
+ BOOST_CHECK (!ba::all_of_equal ( li, 1 ));
+ BOOST_CHECK (!ba::all_of ( li, is_<int> ( 1 )));
+ BOOST_CHECK (!ba::all_of_equal ( li.begin(), li.end(), 1 ));
+ BOOST_CHECK (!ba::all_of ( li.begin(), li.end(), is_<int> ( 1 )));
+
+ std::list<int>::iterator l_iter = li.begin ();
+ l_iter++; l_iter++; l_iter++;
+ BOOST_CHECK ( ba::all_of_equal ( li.begin(), l_iter, 1 ));
+ BOOST_CHECK ( ba::all_of ( li.begin(), l_iter, is_<int> ( 1 )));
+
+}
+
+
+int test_main( int , char* [] )
+{
+ test_all ();
+ return 0;
+}

Added: branches/release/libs/algorithm/test/any_of_test.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/any_of_test.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,105 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <boost/config.hpp>
+#include <boost/algorithm/cxx11/any_of.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <functional>
+#include <vector>
+#include <list>
+
+template<typename T>
+struct is_ : public std::unary_function<T, bool> {
+ is_ ( T v ) : val_ ( v ) {}
+ ~is_ () {}
+ bool operator () ( T comp ) const { return val_ == comp; }
+private:
+ is_ (); // need a value
+
+ T val_;
+ };
+
+namespace ba = boost::algorithm;
+
+void test_any ()
+{
+// Note: The literal values here are tested against directly, careful if you change them:
+ int some_numbers[] = { 1, 5, 0, 18, 10 };
+ std::vector<int> vi(some_numbers, some_numbers + 5);
+ std::list<int> li(vi.begin(), vi.end ());
+
+ int some_letters[] = { 'a', 'q', 'n', 'y', 'n' };
+ std::vector<char> vc(some_letters, some_letters + 5);
+
+ BOOST_CHECK ( ba::any_of_equal ( vi, 1 ));
+ BOOST_CHECK ( ba::any_of ( vi, is_<int> ( 1 )));
+ BOOST_CHECK ( ba::any_of_equal ( vi.begin(), vi.end(), 1 ));
+ BOOST_CHECK ( ba::any_of ( vi.begin(), vi.end(), is_<int> ( 1 )));
+
+ BOOST_CHECK (!ba::any_of_equal ( vi, 9 ));
+ BOOST_CHECK (!ba::any_of ( vi, is_<int> ( 9 )));
+ BOOST_CHECK (!ba::any_of_equal ( vi.begin(), vi.end(), 9 ));
+ BOOST_CHECK (!ba::any_of ( vi.begin(), vi.end(), is_<int> ( 9 )));
+
+ BOOST_CHECK ( ba::any_of_equal ( vi, 10 ));
+ BOOST_CHECK ( ba::any_of ( vi, is_<int> ( 10 )));
+ BOOST_CHECK (!ba::any_of_equal ( vi, 4 ));
+ BOOST_CHECK (!ba::any_of ( vi, is_<int> ( 4 )));
+
+ BOOST_CHECK (!ba::any_of_equal ( vi.end(), vi.end(), 0 ));
+ BOOST_CHECK (!ba::any_of ( vi.end(), vi.end(), is_<int> ( 0 )));
+
+// 5 is not in { 0, 18, 10 }, but 10 is
+ BOOST_CHECK ( ba::any_of_equal ( vi.begin() + 2, vi.end(), 10 ));
+ BOOST_CHECK ( ba::any_of ( vi.begin() + 2, vi.end(), is_<int> ( 10 )));
+
+ BOOST_CHECK (!ba::any_of_equal ( vi.begin() + 2, vi.end(), 5 ));
+ BOOST_CHECK (!ba::any_of ( vi.begin() + 2, vi.end(), is_<int> ( 5 )));
+
+// 18 is not in { 1, 5, 0 }, but 5 is
+ BOOST_CHECK ( ba::any_of_equal ( vi.begin(), vi.begin() + 3, 5 ));
+ BOOST_CHECK ( ba::any_of ( vi.begin(), vi.begin() + 3, is_<int> ( 5 )));
+
+ BOOST_CHECK (!ba::any_of_equal ( vi.begin(), vi.begin() + 3, 18 ));
+ BOOST_CHECK (!ba::any_of ( vi.begin(), vi.begin() + 3, is_<int> ( 18 )));
+
+ BOOST_CHECK ( ba::any_of_equal ( vc, 'q' ));
+ BOOST_CHECK ( ba::any_of ( vc, is_<char> ( 'q' )));
+
+ BOOST_CHECK (!ba::any_of_equal ( vc, '!' ));
+ BOOST_CHECK (!ba::any_of ( vc, is_<char> ( '!' )));
+
+ BOOST_CHECK ( ba::any_of_equal ( vc, 'n' ));
+ BOOST_CHECK ( ba::any_of ( vc, is_<char> ( 'n' )));
+
+ BOOST_CHECK (!ba::any_of_equal ( vi.begin(), vi.begin(), 1 ));
+ BOOST_CHECK (!ba::any_of_equal ( vc.begin(), vc.begin(), 'a' ));
+ BOOST_CHECK (!ba::any_of ( vi.begin(), vi.begin(), is_<int> ( 1 )));
+ BOOST_CHECK (!ba::any_of ( vc.begin(), vc.begin(), is_<char> ( 'a' )));
+
+ BOOST_CHECK ( ba::any_of_equal ( li, 1 ));
+ BOOST_CHECK ( ba::any_of ( li, is_<int> ( 1 )));
+ BOOST_CHECK ( ba::any_of_equal ( li.begin(), li.end(), 1 ));
+ BOOST_CHECK ( ba::any_of ( li.begin(), li.end(), is_<int> ( 1 )));
+
+ std::list<int>::iterator l_iter = li.begin ();
+ l_iter++; l_iter++; l_iter++;
+ BOOST_CHECK ( ba::any_of_equal ( li.begin(), l_iter, 5 ));
+ BOOST_CHECK ( ba::any_of ( li.begin(), l_iter, is_<int> ( 5 )));
+ BOOST_CHECK (!ba::any_of_equal ( li.begin(), l_iter, 18 ));
+ BOOST_CHECK (!ba::any_of ( li.begin(), l_iter, is_<int> ( 18 )));
+}
+
+
+int test_main( int , char* [] )
+{
+ test_any ();
+ return 0;
+}

Added: branches/release/libs/algorithm/test/clamp_test.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/clamp_test.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,218 @@
+// (C) Copyright Jesse Williamson 2009
+// Use, modification and distribution are subject to the
+// Boost Software License, Version 1.0. (See accompanying file
+// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+#include <iostream>
+#include <vector>
+
+#include <boost/config.hpp>
+#include <boost/algorithm/clamp.hpp>
+
+#include <boost/test/included/test_exec_monitor.hpp>
+
+namespace ba = boost::algorithm;
+
+bool intGreater ( int lhs, int rhs ) { return lhs > rhs; }
+bool doubleGreater ( double lhs, double rhs ) { return lhs > rhs; }
+
+class custom {
+public:
+ custom ( int x ) : v(x) {}
+ custom ( const custom &rhs ) : v(rhs.v) {}
+ ~custom () {}
+ custom & operator = ( const custom &rhs ) { v = rhs.v; return *this; }
+
+ bool operator < ( const custom &rhs ) const { return v < rhs.v; }
+ bool operator == ( const custom &rhs ) const { return v == rhs.v; } // need this for the test
+
+ std::ostream & print ( std::ostream &os ) const { return os << v; }
+
+ int v;
+ };
+
+std::ostream & operator << ( std::ostream & os, const custom &x ) { return x.print ( os ); }
+
+bool customLess ( const custom &lhs, const custom &rhs ) { return lhs.v < rhs.v; }
+
+void test_ints()
+{
+
+// Inside the range, equal to the endpoints, and outside the endpoints.
+ BOOST_CHECK_EQUAL ( 3, ba::clamp ( 3, 1, 10 ));
+ BOOST_CHECK_EQUAL ( 1, ba::clamp ( 1, 1, 10 ));
+ BOOST_CHECK_EQUAL ( 1, ba::clamp ( 0, 1, 10 ));
+ BOOST_CHECK_EQUAL ( 10, ba::clamp ( 10, 1, 10 ));
+ BOOST_CHECK_EQUAL ( 10, ba::clamp ( 11, 1, 10 ));
+
+ BOOST_CHECK_EQUAL ( 3, ba::clamp ( 3, 10, 1, intGreater ));
+ BOOST_CHECK_EQUAL ( 1, ba::clamp ( 1, 10, 1, intGreater ));
+ BOOST_CHECK_EQUAL ( 1, ba::clamp ( 0, 10, 1, intGreater ));
+ BOOST_CHECK_EQUAL ( 10, ba::clamp ( 10, 10, 1, intGreater ));
+ BOOST_CHECK_EQUAL ( 10, ba::clamp ( 11, 10, 1, intGreater ));
+
+// Negative numbers
+ BOOST_CHECK_EQUAL ( -3, ba::clamp ( -3, -10, -1 ));
+ BOOST_CHECK_EQUAL ( -1, ba::clamp ( -1, -10, -1 ));
+ BOOST_CHECK_EQUAL ( -1, ba::clamp ( 0, -10, -1 ));
+ BOOST_CHECK_EQUAL ( -10, ba::clamp ( -10, -10, -1 ));
+ BOOST_CHECK_EQUAL ( -10, ba::clamp ( -11, -10, -1 ));
+
+// Mixed positive and negative numbers
+ BOOST_CHECK_EQUAL ( 5, ba::clamp ( 5, -10, 10 ));
+ BOOST_CHECK_EQUAL ( -10, ba::clamp ( -10, -10, 10 ));
+ BOOST_CHECK_EQUAL ( -10, ba::clamp ( -15, -10, 10 ));
+ BOOST_CHECK_EQUAL ( 10, ba::clamp ( 10, -10, 10 ));
+ BOOST_CHECK_EQUAL ( 10, ba::clamp ( 15, -10, 10 ));
+
+// Unsigned
+ BOOST_CHECK_EQUAL ( 5U, ba::clamp ( 5U, 1U, 10U ));
+ BOOST_CHECK_EQUAL ( 1U, ba::clamp ( 1U, 1U, 10U ));
+ BOOST_CHECK_EQUAL ( 1U, ba::clamp ( 0U, 1U, 10U ));
+ BOOST_CHECK_EQUAL ( 10U, ba::clamp ( 10U, 1U, 10U ));
+ BOOST_CHECK_EQUAL ( 10U, ba::clamp ( 15U, 1U, 10U ));
+
+// Mixed (1)
+ BOOST_CHECK_EQUAL ( 5U, ba::clamp ( 5U, 1, 10 ));
+ BOOST_CHECK_EQUAL ( 1U, ba::clamp ( 1U, 1, 10 ));
+ BOOST_CHECK_EQUAL ( 1U, ba::clamp ( 0U, 1, 10 ));
+ BOOST_CHECK_EQUAL ( 10U, ba::clamp ( 10U, 1, 10 ));
+ BOOST_CHECK_EQUAL ( 10U, ba::clamp ( 15U, 1, 10 ));
+
+// Mixed (3)
+ BOOST_CHECK_EQUAL ( 5U, ba::clamp ( 5U, 1, 10. ));
+ BOOST_CHECK_EQUAL ( 1U, ba::clamp ( 1U, 1, 10. ));
+ BOOST_CHECK_EQUAL ( 1U, ba::clamp ( 0U, 1, 10. ));
+ BOOST_CHECK_EQUAL ( 10U, ba::clamp ( 10U, 1, 10. ));
+ BOOST_CHECK_EQUAL ( 10U, ba::clamp ( 15U, 1, 10. ));
+
+ short foo = 50;
+ BOOST_CHECK_EQUAL ( 56, ba::clamp ( foo, 56.9, 129 ));
+ BOOST_CHECK_EQUAL ( 24910, ba::clamp ( foo, 12345678, 123456999 ));
+ }
+
+
+void test_floats()
+{
+
+// Inside the range, equal to the endpoints, and outside the endpoints.
+ BOOST_CHECK_EQUAL ( 3.0, ba::clamp ( 3.0, 1.0, 10.0 ));
+ BOOST_CHECK_EQUAL ( 1.0, ba::clamp ( 1.0, 1.0, 10.0 ));
+ BOOST_CHECK_EQUAL ( 1.0, ba::clamp ( 0.0, 1.0, 10.0 ));
+ BOOST_CHECK_EQUAL ( 10.0, ba::clamp ( 10.0, 1.0, 10.0 ));
+ BOOST_CHECK_EQUAL ( 10.0, ba::clamp ( 11.0, 1.0, 10.0 ));
+
+ BOOST_CHECK_EQUAL ( 3.0, ba::clamp ( 3.0, 10.0, 1.0, doubleGreater ));
+ BOOST_CHECK_EQUAL ( 1.0, ba::clamp ( 1.0, 10.0, 1.0, doubleGreater ));
+ BOOST_CHECK_EQUAL ( 1.0, ba::clamp ( 0.0, 10.0, 1.0, doubleGreater ));
+ BOOST_CHECK_EQUAL ( 10.0, ba::clamp ( 10.0, 10.0, 1.0, doubleGreater ));
+ BOOST_CHECK_EQUAL ( 10.0, ba::clamp ( 11.0, 10.0, 1.0, doubleGreater ));
+
+// Negative numbers
+ BOOST_CHECK_EQUAL ( -3.f, ba::clamp ( -3.f, -10.f, -1.f ));
+ BOOST_CHECK_EQUAL ( -1.f, ba::clamp ( -1.f, -10.f, -1.f ));
+ BOOST_CHECK_EQUAL ( -1.f, ba::clamp ( 0.f, -10.f, -1.f ));
+ BOOST_CHECK_EQUAL ( -10.f, ba::clamp ( -10.f, -10.f, -1.f ));
+ BOOST_CHECK_EQUAL ( -10.f, ba::clamp ( -11.f, -10.f, -1.f ));
+
+// Mixed positive and negative numbers
+ BOOST_CHECK_EQUAL ( 5.f, ba::clamp ( 5.f, -10.f, 10.f ));
+ BOOST_CHECK_EQUAL ( -10.f, ba::clamp ( -10.f, -10.f, 10.f ));
+ BOOST_CHECK_EQUAL ( -10.f, ba::clamp ( -15.f, -10.f, 10.f ));
+ BOOST_CHECK_EQUAL ( 10.f, ba::clamp ( 10.f, -10.f, 10.f ));
+ BOOST_CHECK_EQUAL ( 10.f, ba::clamp ( 15.f, -10.f, 10.f ));
+
+// Mixed (1)
+ BOOST_CHECK_EQUAL ( 5.f, ba::clamp ( 5.f, -10., 10. ));
+ BOOST_CHECK_EQUAL ( -10.f, ba::clamp ( -10.f, -10., 10. ));
+ BOOST_CHECK_EQUAL ( -10.f, ba::clamp ( -15.f, -10., 10. ));
+ BOOST_CHECK_EQUAL ( 10.f, ba::clamp ( 10.f, -10., 10. ));
+ BOOST_CHECK_EQUAL ( 10.f, ba::clamp ( 15.f, -10., 10. ));
+
+// Mixed (2)
+ BOOST_CHECK_EQUAL ( 5.f, ba::clamp ( 5.f, -10, 10 ));
+ BOOST_CHECK_EQUAL ( -10.f, ba::clamp ( -10.f, -10, 10 ));
+ BOOST_CHECK_EQUAL ( -10.f, ba::clamp ( -15.f, -10, 10 ));
+ BOOST_CHECK_EQUAL ( 10.f, ba::clamp ( 10.f, -10, 10 ));
+ BOOST_CHECK_EQUAL ( 10.f, ba::clamp ( 15.f, -10, 10 ));
+}
+
+void test_custom()
+{
+
+// Inside the range, equal to the endpoints, and outside the endpoints.
+ BOOST_CHECK_EQUAL ( custom( 3), ba::clamp ( custom( 3), custom(1), custom(10)));
+ BOOST_CHECK_EQUAL ( custom( 1), ba::clamp ( custom( 1), custom(1), custom(10)));
+ BOOST_CHECK_EQUAL ( custom( 1), ba::clamp ( custom( 0), custom(1), custom(10)));
+ BOOST_CHECK_EQUAL ( custom(10), ba::clamp ( custom(10), custom(1), custom(10)));
+ BOOST_CHECK_EQUAL ( custom(10), ba::clamp ( custom(11), custom(1), custom(10)));
+
+ BOOST_CHECK_EQUAL ( custom( 3), ba::clamp ( custom( 3), custom(1), custom(10), customLess ));
+ BOOST_CHECK_EQUAL ( custom( 1), ba::clamp ( custom( 1), custom(1), custom(10), customLess ));
+ BOOST_CHECK_EQUAL ( custom( 1), ba::clamp ( custom( 0), custom(1), custom(10), customLess ));
+ BOOST_CHECK_EQUAL ( custom(10), ba::clamp ( custom(10), custom(1), custom(10), customLess ));
+ BOOST_CHECK_EQUAL ( custom(10), ba::clamp ( custom(11), custom(1), custom(10), customLess ));
+
+// Fail!!
+// BOOST_CHECK_EQUAL ( custom(1), ba::clamp ( custom(11), custom(1), custom(10)));
+}
+
+#define elementsof(v) (sizeof (v) / sizeof (v[0]))
+#define a_begin(v) (&v[0])
+#define a_end(v) (v + elementsof (v))
+#define a_range(v) v
+#define b_e(v) a_begin(v),a_end(v)
+
+void test_int_range ()
+{
+ int inputs [] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 19, 99, 999, -1, -3, -99, 234234 };
+ int outputs [] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 10, 10, -1, -1, -1, 10 };
+ std::vector<int> results;
+ std::vector<int> in_v;
+
+ std::copy ( a_begin(inputs), a_end(inputs), std::back_inserter ( in_v ));
+
+ ba::clamp_range ( a_begin(inputs), a_end(inputs), std::back_inserter ( results ), -1, 10 );
+ BOOST_CHECK ( std::equal ( results.begin(), results.end (), outputs ));
+ results.clear ();
+ ba::clamp_range ( in_v.begin (), in_v.end (), std::back_inserter ( results ), -1, 10 );
+ BOOST_CHECK ( std::equal ( results.begin(), results.end (), outputs ));
+ results.clear ();
+
+ ba::clamp_range ( a_begin(inputs), a_end(inputs), std::back_inserter ( results ), 10, -1, intGreater );
+ BOOST_CHECK ( std::equal ( results.begin(), results.end (), outputs ));
+ results.clear ();
+ ba::clamp_range ( in_v.begin (), in_v.end (), std::back_inserter ( results ), 10, -1, intGreater );
+ BOOST_CHECK ( std::equal ( results.begin(), results.end (), outputs ));
+ results.clear ();
+
+ ba::clamp_range ( a_range(inputs), std::back_inserter ( results ), -1, 10 );
+ BOOST_CHECK ( std::equal ( results.begin(), results.end (), outputs ));
+ results.clear ();
+ ba::clamp_range ( in_v, std::back_inserter ( results ), -1, 10 );
+ BOOST_CHECK ( std::equal ( results.begin(), results.end (), outputs ));
+ results.clear ();
+
+ ba::clamp_range ( a_range(inputs), std::back_inserter ( results ), 10, -1, intGreater );
+ BOOST_CHECK ( std::equal ( results.begin(), results.end (), outputs ));
+ results.clear ();
+ ba::clamp_range ( in_v, std::back_inserter ( results ), 10, -1, intGreater );
+ BOOST_CHECK ( std::equal ( results.begin(), results.end (), outputs ));
+ results.clear ();
+
+ int junk[elementsof(inputs)];
+ ba::clamp_range ( inputs, junk, 10, -1, intGreater );
+ BOOST_CHECK ( std::equal ( b_e(junk), outputs ));
+}
+
+int test_main( int , char* [] )
+{
+ test_ints ();
+ test_floats ();
+ test_custom ();
+
+ test_int_range ();
+// test_float_range ();
+// test_custom_range ();
+ return 0;
+}

Added: branches/release/libs/algorithm/test/copy_n_test1.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/copy_n_test1.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,85 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <boost/config.hpp>
+#include <boost/algorithm/cxx11/copy_n.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <string>
+#include <iostream>
+#include <vector>
+#include <list>
+
+namespace ba = boost::algorithm;
+// namespace ba = boost;
+
+template <typename Container>
+void test_sequence ( Container const &c ) {
+
+ typedef typename Container::value_type value_type;
+ std::vector<value_type> v;
+
+// Copy zero elements
+ v.clear ();
+ ba::copy_n ( c.begin (), 0, back_inserter ( v ));
+ BOOST_CHECK ( v.size () == 0 );
+ ba::copy_n ( c.begin (), 0U, back_inserter ( v ));
+ BOOST_CHECK ( v.size () == 0 );
+
+ if ( c.size () > 0 ) {
+ // Just one element
+ v.clear ();
+ ba::copy_n ( c.begin (), 1, back_inserter ( v ));
+ BOOST_CHECK ( v.size () == 1 );
+ BOOST_CHECK ( v[0] == *c.begin ());
+
+ v.clear ();
+ ba::copy_n ( c.begin (), 1U, back_inserter ( v ));
+ BOOST_CHECK ( v.size () == 1 );
+ BOOST_CHECK ( v[0] == *c.begin ());
+
+ // Half the elements
+ v.clear ();
+ ba::copy_n ( c.begin (), c.size () / 2, back_inserter ( v ));
+ BOOST_CHECK ( v.size () == c.size () / 2);
+ BOOST_CHECK ( std::equal ( v.begin (), v.end (), c.begin ()));
+
+ // Half the elements + 1
+ v.clear ();
+ ba::copy_n ( c.begin (), c.size () / 2 + 1, back_inserter ( v ));
+ BOOST_CHECK ( v.size () == c.size () / 2 + 1 );
+ BOOST_CHECK ( std::equal ( v.begin (), v.end (), c.begin ()));
+
+ // All the elements
+ v.clear ();
+ ba::copy_n ( c.begin (), c.size (), back_inserter ( v ));
+ BOOST_CHECK ( v.size () == c.size ());
+ BOOST_CHECK ( std::equal ( v.begin (), v.end (), c.begin ()));
+ }
+ }
+
+
+void test_sequence1 () {
+ std::vector<int> v;
+ for ( int i = 5; i < 15; ++i )
+ v.push_back ( i );
+ test_sequence ( v );
+
+ std::list<int> l;
+ for ( int i = 25; i > 15; --i )
+ l.push_back ( i );
+ test_sequence ( l );
+ }
+
+
+int test_main( int , char* [] )
+{
+ test_sequence1 ();
+ return 0;
+}

Added: branches/release/libs/algorithm/test/empty_search_test.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/empty_search_test.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,83 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <string>
+
+#include <boost/algorithm/searching/boyer_moore.hpp>
+#include <boost/algorithm/searching/boyer_moore_horspool.hpp>
+#include <boost/algorithm/searching/knuth_morris_pratt.hpp>
+
+#include <boost/test/included/test_exec_monitor.hpp>
+
+int test_main( int argc, char *argv [] )
+{
+ const std::string cs;
+ std::string estr;
+ std::string str ( "abc" );
+
+// empty corpus, empty pattern
+ BOOST_CHECK (
+ boost::algorithm::boyer_moore_search (
+ cs.begin (), cs.end (), estr.begin (), estr.end ())
+ == cs.begin ()
+ );
+
+ BOOST_CHECK (
+ boost::algorithm::boyer_moore_horspool_search (
+ cs.begin (), cs.end (), estr.begin (), estr.end ())
+ == cs.begin ()
+ );
+
+ BOOST_CHECK (
+ boost::algorithm::knuth_morris_pratt_search (
+ cs.begin (), cs.end (), estr.begin (), estr.end ())
+ == cs.begin ()
+ );
+
+// empty corpus, non-empty pattern
+ BOOST_CHECK (
+ boost::algorithm::boyer_moore_search (
+ estr.begin (), estr.end (), str.begin (), str.end ())
+ == estr.end ()
+ );
+
+ BOOST_CHECK (
+ boost::algorithm::boyer_moore_horspool_search (
+ estr.begin (), estr.end (), str.begin (), str.end ())
+ == estr.end ()
+ );
+
+ BOOST_CHECK (
+ boost::algorithm::knuth_morris_pratt_search (
+ estr.begin (), estr.end (), str.begin (), str.end ())
+ == estr.end ()
+ );
+
+// non-empty corpus, empty pattern
+ BOOST_CHECK (
+ boost::algorithm::boyer_moore_search (
+ str.begin (), str.end (), estr.begin (), estr.end ())
+ == str.begin ()
+ );
+
+ BOOST_CHECK (
+ boost::algorithm::boyer_moore_horspool_search (
+ str.begin (), str.end (), estr.begin (), estr.end ())
+ == str.begin ()
+ );
+
+ BOOST_CHECK (
+ boost::algorithm::knuth_morris_pratt_search (
+ str.begin (), str.end (), estr.begin (), estr.end ())
+ == str.begin ()
+ );
+
+ (void) argv; (void) argc;
+ return 0;
+}

Added: branches/release/libs/algorithm/test/find_if_not_test1.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/find_if_not_test1.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,90 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <iostream>
+
+#include <boost/config.hpp>
+#include <boost/algorithm/cxx11/find_if_not.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <string>
+#include <vector>
+#include <list>
+
+namespace ba = boost::algorithm;
+// namespace ba = boost;
+
+template <typename Container>
+typename Container::iterator offset_to_iter ( Container &v, int offset ) {
+ typename Container::iterator retval;
+
+ if ( offset >= 0 ) {
+ retval = v.begin ();
+ std::advance ( retval, offset );
+ }
+ else {
+ retval = v.end ();
+ std::advance ( retval, offset + 1 );
+ }
+ return retval;
+ }
+
+template <typename Container, typename Predicate>
+void test_sequence ( Container &v, Predicate comp, int expected ) {
+ typename Container::iterator res, exp;
+
+ res = ba::find_if_not ( v.begin (), v.end (), comp );
+ exp = offset_to_iter ( v, expected );
+ std::cout << "Expected(1): " << std::distance ( v.begin (), exp )
+ << ", got: " << std::distance ( v.begin (), res ) << std::endl;
+ BOOST_CHECK ( exp == res );
+ }
+
+template <typename T>
+struct less_than {
+public:
+ less_than ( T foo ) : val ( foo ) {}
+ less_than ( const less_than &rhs ) : val ( rhs.val ) {}
+
+ bool operator () ( const T &v ) const { return v < val; }
+private:
+ less_than ();
+ less_than operator = ( const less_than &rhs );
+ T val;
+ };
+
+
+void test_sequence1 () {
+ std::vector<int> v;
+
+ v.clear ();
+ for ( int i = 5; i < 15; ++i )
+ v.push_back ( i );
+ test_sequence ( v, less_than<int>(3), 0 ); // no elements
+ test_sequence ( v, less_than<int>(6), 1 ); // only the first element
+ test_sequence ( v, less_than<int>(10), 5 );
+ test_sequence ( v, less_than<int>(99), -1 ); // all elements satisfy
+
+// With bidirectional iterators.
+ std::list<int> l;
+ for ( int i = 5; i < 15; ++i )
+ l.push_back ( i );
+ test_sequence ( l, less_than<int>(3), 0 ); // no elements
+ test_sequence ( l, less_than<int>(6), 1 ); // only the first element
+ test_sequence ( l, less_than<int>(10), 5 );
+ test_sequence ( l, less_than<int>(99), -1 ); // all elements satisfy
+
+ }
+
+
+int test_main( int , char* [] )
+{
+ test_sequence1 ();
+ return 0;
+}

Added: branches/release/libs/algorithm/test/hex_fail1.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/hex_fail1.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,25 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <boost/config.hpp>
+#include <boost/algorithm/hex.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <string>
+#include <iostream>
+#include <vector>
+
+// should not compile: vector is not an integral type
+int test_main( int , char* [] )
+{
+ std::vector<float> v;
+ std::string out;
+ boost::algorithm::unhex ( out, std::back_inserter(v));
+ return 0;
+}

Added: branches/release/libs/algorithm/test/hex_test1.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/hex_test1.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,154 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <boost/config.hpp>
+#include <boost/algorithm/hex.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <string>
+#include <iostream>
+
+
+template<typename String>
+void test_to_hex ( const typename String::value_type ** tests ) {
+ for ( const typename String::value_type **p = tests; *p; p++ ) {
+ String arg, argh, one, two, three, four;
+ arg.assign ( *p );
+ boost::algorithm::hex ( *p, std::back_inserter ( one ));
+ boost::algorithm::hex ( arg, std::back_inserter ( two ));
+ boost::algorithm::hex ( arg.begin (), arg.end (), std::back_inserter ( three ));
+ four = boost::algorithm::hex ( arg );
+ BOOST_CHECK ( one == two );
+ BOOST_CHECK ( one == three );
+ BOOST_CHECK ( one == four );
+ argh = one;
+ one.clear (); two.clear (); three.clear (); four.clear ();
+ boost::algorithm::unhex ( argh.c_str (), std::back_inserter ( one ));
+ boost::algorithm::unhex ( argh, std::back_inserter ( two ));
+ boost::algorithm::unhex ( argh.begin (), argh.end (), std::back_inserter ( three ));
+ four = boost::algorithm::unhex ( argh );
+ BOOST_CHECK ( one == two );
+ BOOST_CHECK ( one == three );
+ BOOST_CHECK ( one == four );
+ BOOST_CHECK ( one == arg );
+ }
+ }
+
+
+template<typename String>
+void test_from_hex_success ( const typename String::value_type ** tests ) {
+ for ( const typename String::value_type **p = tests; *p; p++ ) {
+ String arg, argh, one, two, three, four;
+ arg.assign ( *p );
+ boost::algorithm::unhex ( *p, std::back_inserter ( one ));
+ boost::algorithm::unhex ( arg, std::back_inserter ( two ));
+ boost::algorithm::unhex ( arg.begin (), arg.end (), std::back_inserter ( three ));
+ four = boost::algorithm::unhex ( arg );
+ BOOST_CHECK ( one == two );
+ BOOST_CHECK ( one == three );
+ BOOST_CHECK ( one == four );
+ argh = one;
+ one.clear (); two.clear (); three.clear (); four.clear ();
+ boost::algorithm::hex ( argh.c_str (), std::back_inserter ( one ));
+ boost::algorithm::hex ( argh, std::back_inserter ( two ));
+ boost::algorithm::hex ( argh.begin (), argh.end (), std::back_inserter ( three ));
+ four = boost::algorithm::hex ( argh );
+ BOOST_CHECK ( one == two );
+ BOOST_CHECK ( one == three );
+ BOOST_CHECK ( one == four );
+ BOOST_CHECK ( one == arg );
+ }
+ }
+
+template<typename String>
+void test_from_hex_failure ( const typename String::value_type ** tests ) {
+ int num_catches;
+ for ( const typename String::value_type **p = tests; *p; p++ ) {
+ String arg, one;
+ arg.assign ( *p );
+ num_catches = 0;
+
+ try { boost::algorithm::unhex ( *p, std::back_inserter ( one )); }
+ catch ( const boost::algorithm::hex_decode_error & /*ex*/ ) { num_catches++; }
+ try { boost::algorithm::unhex ( arg, std::back_inserter ( one )); }
+ catch ( const boost::algorithm::hex_decode_error & /*ex*/ ) { num_catches++; }
+ try { boost::algorithm::unhex ( arg.begin (), arg.end (), std::back_inserter ( one )); }
+ catch ( const boost::algorithm::hex_decode_error & /*ex*/ ) { num_catches++; }
+ BOOST_CHECK ( num_catches == 3 );
+ }
+ }
+
+
+
+const char *tohex [] = {
+ "",
+ "a",
+ "\001",
+ "12",
+ "asdfadsfsad",
+ "01234567890ABCDEF",
+ NULL // End of the list
+ };
+
+
+const wchar_t *tohex_w [] = {
+ L"",
+ L"a",
+ L"\001",
+ L"12",
+ L"asdfadsfsad",
+ L"01234567890ABCDEF",
+ NULL // End of the list
+ };
+
+
+const char *fromhex [] = {
+ "20",
+ "2122234556FF",
+ NULL // End of the list
+ };
+
+
+const wchar_t *fromhex_w [] = {
+ L"00101020",
+ L"2122234556FF3456",
+ NULL // End of the list
+ };
+
+
+const char *fromhex_fail [] = {
+ "2",
+ "H",
+ "234",
+ "21222G4556FF",
+ NULL // End of the list
+ };
+
+
+const wchar_t *fromhex_fail_w [] = {
+ L"2",
+ L"12",
+ L"H",
+ L"234",
+ L"21222G4556FF",
+ NULL // End of the list
+ };
+
+
+int test_main( int , char* [] )
+{
+ test_to_hex<std::string> ( tohex );
+ test_from_hex_success<std::string> ( fromhex );
+ test_from_hex_failure<std::string> ( fromhex_fail );
+
+ test_to_hex<std::wstring> ( tohex_w );
+ test_from_hex_success<std::wstring> ( fromhex_w );
+ test_from_hex_failure<std::wstring> ( fromhex_fail_w );
+ return 0;
+}

Added: branches/release/libs/algorithm/test/hex_test2.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/hex_test2.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,137 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+
+Test non-string cases; vector and list
+*/
+
+#include <boost/config.hpp>
+#include <boost/algorithm/hex.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <string>
+#include <iostream>
+#include <deque>
+#include <list>
+
+
+const char *tohex [] = {
+ "",
+ "a",
+ "\001",
+ "12",
+ "asdfadsfsad",
+ "01234567890ABCDEF",
+ NULL // End of the list
+ };
+
+void test_to_hex () {
+ for ( const char **p = tohex; *p; p++ ) {
+ std::deque<char> arg, argh;
+ std::list<char> one, two, three;
+ arg.assign ( *p, *p + strlen (*p));
+ boost::algorithm::hex ( *p, std::back_inserter ( one ));
+ boost::algorithm::hex ( arg, std::back_inserter ( two ));
+ boost::algorithm::hex ( arg.begin (), arg.end (), std::back_inserter ( three ));
+ BOOST_CHECK ( std::equal ( one.begin (), one.end (), two.begin ()));
+ BOOST_CHECK ( std::equal ( two.begin (), two.end (), three.begin ()));
+
+ std::copy ( one.begin (), one.end (), std::back_inserter ( argh ));
+ one.clear (); two.clear (); three.clear ();
+
+// boost::algorithm::unhex ( argh.c_str (), std::back_inserter ( one ));
+ boost::algorithm::unhex ( argh, std::back_inserter ( two ));
+ boost::algorithm::unhex ( argh.begin (), argh.end (), std::back_inserter ( three ));
+// BOOST_CHECK ( std::equal ( one.begin (), one.end (), two.begin ()));
+ BOOST_CHECK ( std::equal ( two.begin (), two.end (), three.begin ()));
+ BOOST_CHECK ( std::equal ( two.begin (), two.end (), arg.begin ()));
+ }
+
+// Again, with a front_inserter
+ for ( const char **p = tohex; *p; p++ ) {
+ std::deque<char> arg, argh;
+ std::list<char> one, two, three;
+ arg.assign ( *p, *p + strlen (*p));
+ boost::algorithm::hex ( *p, std::front_inserter ( one ));
+ boost::algorithm::hex ( arg, std::front_inserter ( two ));
+ boost::algorithm::hex ( arg.begin (), arg.end (), std::front_inserter ( three ));
+ BOOST_CHECK ( std::equal ( one.begin (), one.end (), two.begin ()));
+ BOOST_CHECK ( std::equal ( two.begin (), two.end (), three.begin ()));
+
+ // Copy, reversing
+ std::copy ( one.begin (), one.end (), std::front_inserter ( argh ));
+ one.clear (); two.clear (); three.clear ();
+
+// boost::algorithm::unhex ( argh.c_str (), std::front_inserter ( one ));
+ boost::algorithm::unhex ( argh, std::front_inserter ( two ));
+ boost::algorithm::unhex ( argh.begin (), argh.end (), std::front_inserter ( three ));
+// BOOST_CHECK ( std::equal ( one.begin (), one.end (), two.begin ()));
+ BOOST_CHECK ( std::equal ( two.begin (), two.end (), three.begin ()));
+ BOOST_CHECK ( std::equal ( two.begin (), two.end (), arg.rbegin ())); // reverse
+ }
+ }
+
+const char *fromhex [] = {
+ "20",
+ "2122234556FF",
+ NULL // End of the list
+ };
+
+
+void test_from_hex_success () {
+ for ( const char **p = fromhex; *p; p++ ) {
+ std::deque<char> arg, argh;
+ std::list<char> one, two, three;
+ arg.assign ( *p, *p + strlen (*p));
+ boost::algorithm::unhex ( *p, std::back_inserter ( one ));
+ boost::algorithm::unhex ( arg, std::back_inserter ( two ));
+ boost::algorithm::unhex ( arg.begin (), arg.end (), std::back_inserter ( three ));
+ BOOST_CHECK ( std::equal ( one.begin (), one.end (), two.begin ()));
+ BOOST_CHECK ( std::equal ( two.begin (), two.end (), three.begin ()));
+
+ std::copy ( one.begin (), one.end (), std::back_inserter ( argh ));
+ one.clear (); two.clear (); three.clear ();
+
+// boost::algorithm::hex ( argh.c_str (), std::back_inserter ( one ));
+ boost::algorithm::hex ( argh, std::back_inserter ( two ));
+ boost::algorithm::hex ( argh.begin (), argh.end (), std::back_inserter ( three ));
+// BOOST_CHECK ( std::equal ( one.begin (), one.end (), two.begin ()));
+ BOOST_CHECK ( std::equal ( two.begin (), two.end (), three.begin ()));
+ BOOST_CHECK ( std::equal ( two.begin (), two.end (), arg.begin ()));
+ }
+
+// Again, with a front_inserter
+ for ( const char **p = fromhex; *p; p++ ) {
+ std::deque<char> arg, argh;
+ std::list<char> one, two, three;
+ arg.assign ( *p, *p + strlen (*p));
+ boost::algorithm::unhex ( *p, std::front_inserter ( one ));
+ boost::algorithm::unhex ( arg, std::front_inserter ( two ));
+ boost::algorithm::unhex ( arg.begin (), arg.end (), std::front_inserter ( three ));
+ BOOST_CHECK ( std::equal ( one.begin (), one.end (), two.begin ()));
+ BOOST_CHECK ( std::equal ( two.begin (), two.end (), three.begin ()));
+
+ // Copy, reversing
+ std::copy ( one.begin (), one.end (), std::front_inserter ( argh ));
+ one.clear (); two.clear (); three.clear ();
+
+// boost::algorithm::hex ( argh.c_str (), std::front_inserter ( one ));
+ boost::algorithm::hex ( argh, std::front_inserter ( two ));
+ boost::algorithm::hex ( argh.begin (), argh.end (), std::front_inserter ( three ));
+// BOOST_CHECK ( std::equal ( one.begin (), one.end (), two.begin ()));
+ BOOST_CHECK ( std::equal ( two.begin (), two.end (), three.begin ()));
+ BOOST_CHECK ( std::equal ( two.begin (), two.end (), arg.rbegin ())); // reversed
+ }
+ }
+
+
+int test_main( int , char* [] )
+{
+ test_to_hex ();
+ test_from_hex_success ();
+ return 0;
+}

Added: branches/release/libs/algorithm/test/hex_test3.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/hex_test3.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,123 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+
+Try ostream_iterators
+*/
+
+#include <boost/config.hpp>
+#include <boost/algorithm/hex.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <string>
+#include <iostream>
+#include <deque>
+#include <list>
+
+
+template <typename char_type>
+void test_to_hex ( const char_type ** tests ) {
+ typedef std::basic_string<char_type> String;
+ typedef std::basic_ostringstream<char_type> Stream;
+ typedef std::ostream_iterator<char_type, char_type> Iter;
+
+ for ( const char_type **p = tests; *p; p++ ) {
+ String arg, argh;
+ Stream one, two, three;
+ arg.assign ( *p );
+ boost::algorithm::hex ( *p, Iter ( one ));
+ boost::algorithm::hex ( arg, Iter ( two ));
+ boost::algorithm::hex ( arg.begin (), arg.end (), Iter ( three ));
+ boost::algorithm::hex ( arg );
+ BOOST_CHECK ( one.str () == two.str ());
+ BOOST_CHECK ( one.str () == three.str ());
+ argh = one.str ();
+ one.str (String()); two.str (String()); three.str (String());
+ boost::algorithm::unhex ( argh.c_str (), Iter ( one ));
+ boost::algorithm::unhex ( argh, Iter ( two ));
+ boost::algorithm::unhex ( argh.begin (), argh.end (), Iter ( three ));
+ BOOST_CHECK ( one.str () == two.str ());
+ BOOST_CHECK ( one.str () == three.str ());
+ BOOST_CHECK ( one.str () == arg );
+ }
+ }
+
+
+template <typename char_type>
+void test_from_hex_success ( const char_type ** tests ) {
+ typedef std::basic_string<char_type> String;
+ typedef std::basic_ostringstream<char_type> Stream;
+ typedef std::ostream_iterator<char_type, char_type> Iter;
+
+ for ( const char_type **p = tests; *p; p++ ) {
+ String arg, argh;
+ Stream one, two, three;
+ arg.assign ( *p );
+ boost::algorithm::unhex ( *p, Iter ( one ));
+ boost::algorithm::unhex ( arg, Iter ( two ));
+ boost::algorithm::unhex ( arg.begin (), arg.end (), Iter ( three ));
+
+ BOOST_CHECK ( one.str () == two.str ());
+ BOOST_CHECK ( one.str () == three.str ());
+
+ argh = one.str ();
+ one.str (String()); two.str (String()); three.str (String());
+
+ boost::algorithm::hex ( argh.c_str (), Iter ( one ));
+ boost::algorithm::hex ( argh, Iter ( two ));
+ boost::algorithm::hex ( argh.begin (), argh.end (), Iter ( three ));
+
+ BOOST_CHECK ( one.str () == two.str ());
+ BOOST_CHECK ( one.str () == three.str ());
+ BOOST_CHECK ( one.str () == arg );
+ }
+
+ }
+
+const char *tohex [] = {
+ "",
+ "a",
+ "\001",
+ "12",
+ "asdfadsfsad",
+ "01234567890ABCDEF",
+ NULL // End of the list
+ };
+
+const wchar_t *tohex_w [] = {
+ L"",
+ L"a",
+ L"\001",
+ L"12",
+ L"asdfadsfsad",
+ L"01234567890ABCDEF",
+ NULL // End of the list
+ };
+
+
+const char *fromhex [] = {
+ "20",
+ "2122234556FF",
+ NULL // End of the list
+ };
+
+const wchar_t *fromhex_w [] = {
+ L"11223320",
+ L"21222345010256FF",
+ NULL // End of the list
+ };
+
+
+
+int test_main( int , char* [] )
+{
+ test_to_hex ( tohex );
+ test_to_hex ( tohex_w );
+ test_from_hex_success ( fromhex );
+ test_from_hex_success ( fromhex_w );
+ return 0;
+}

Added: branches/release/libs/algorithm/test/iota_test1.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/iota_test1.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,79 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <boost/config.hpp>
+#include <boost/algorithm/cxx11/iota.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <iostream>
+#include <string>
+#include <vector>
+#include <list>
+
+// Test to make sure a sequence is "correctly formed"; i.e, ascending by one
+template <typename Iterator, typename T>
+bool test_iota_results ( Iterator first, Iterator last, T initial_value ) {
+ if ( first == last ) return true;
+ if ( initial_value != *first ) return false;
+ Iterator prev = first;
+ while ( ++first != last ) {
+ if (( *first - *prev ) != 1 )
+ return false;
+ prev = first;
+ }
+ return true;
+ }
+
+template <typename Range, typename T>
+bool test_iota_results ( const Range &r, T initial_value ) {
+ return test_iota_results (boost::begin (r), boost::end (r), initial_value );
+}
+
+
+void test_ints () {
+ std::vector<int> v;
+ std::list<int> l;
+
+ v.clear (); v.reserve ( 10 );
+ boost::algorithm::iota ( v.begin (), v.end (), 23 );
+ BOOST_CHECK ( test_iota_results ( v.begin (), v.end (), 23 ));
+
+ v.clear (); v.reserve ( 19 );
+ boost::algorithm::iota ( v, 18 );
+ BOOST_CHECK ( test_iota_results ( v, 18 ));
+
+ v.clear ();
+ boost::algorithm::iota_n ( std::back_inserter(v), 99, 20 );
+ BOOST_CHECK ( test_iota_results ( v, 99 ));
+
+/*
+ l.clear (); l.reserve ( 5 );
+ boost::algorithm::iota ( l.begin (), l.end (), 123 );
+ BOOST_CHECK ( test_iota_results ( l.begin (), l.end (), 123 ));
+
+ l.clear (); l.reserve ( 9 );
+ boost::algorithm::iota ( l.begin (), l.end (), 87 );
+ BOOST_CHECK ( test_iota_results ( l.begin (), l.end (), 87 ));
+*/
+
+ l.clear ();
+ boost::algorithm::iota_n ( std::back_inserter(l), 99, 20 );
+ BOOST_CHECK ( test_iota_results ( l, 99 ));
+
+ l.clear ();
+ boost::algorithm::iota_n ( std::front_inserter(l), 123, 20 );
+ BOOST_CHECK ( test_iota_results ( l.rbegin (), l.rend (), 123 ));
+ }
+
+
+int test_main( int , char* [] )
+{
+ test_ints ();
+ return 0;
+}

Added: branches/release/libs/algorithm/test/is_partitioned_test1.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/is_partitioned_test1.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,63 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <iostream>
+
+#include <boost/config.hpp>
+#include <boost/algorithm/cxx11/is_partitioned.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <string>
+#include <vector>
+#include <list>
+
+namespace ba = boost::algorithm;
+// namespace ba = boost;
+
+template <typename T>
+struct less_than {
+public:
+ less_than ( T foo ) : val ( foo ) {}
+ less_than ( const less_than &rhs ) : val ( rhs.val ) {}
+
+ bool operator () ( const T &v ) const { return v < val; }
+private:
+ less_than ();
+ less_than operator = ( const less_than &rhs );
+ T val;
+ };
+
+
+void test_sequence1 () {
+ std::vector<int> v;
+
+ v.clear ();
+ for ( int i = 5; i < 15; ++i )
+ v.push_back ( i );
+ BOOST_CHECK ( ba::is_partitioned ( v, less_than<int>(3))); // no elements
+ BOOST_CHECK ( ba::is_partitioned ( v, less_than<int>(6))); // only the first element
+ BOOST_CHECK ( ba::is_partitioned ( v, less_than<int>(10))); // in the middle somewhere
+ BOOST_CHECK ( ba::is_partitioned ( v, less_than<int>(99))); // all elements satisfy
+
+// With bidirectional iterators.
+ std::list<int> l;
+ for ( int i = 5; i < 15; ++i )
+ l.push_back ( i );
+ BOOST_CHECK ( ba::is_partitioned ( l.begin (), l.end (), less_than<int>(3))); // no elements
+ BOOST_CHECK ( ba::is_partitioned ( l.begin (), l.end (), less_than<int>(6))); // only the first element
+ BOOST_CHECK ( ba::is_partitioned ( l.begin (), l.end (), less_than<int>(10))); // in the middle somewhere
+ BOOST_CHECK ( ba::is_partitioned ( l.begin (), l.end (), less_than<int>(99))); // all elements satisfy
+ }
+
+
+int test_main( int , char* [] )
+{
+ test_sequence1 ();
+ return 0;
+}

Added: branches/release/libs/algorithm/test/is_permutation_test1.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/is_permutation_test1.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,49 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <iostream>
+
+#include <boost/config.hpp>
+#include <boost/algorithm/cxx11/is_permutation.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <string>
+#include <vector>
+#include <list>
+
+namespace ba = boost::algorithm;
+// namespace ba = boost;
+
+void test_sequence1 () {
+ std::vector<int> v, v1;
+
+ v.clear ();
+ for ( std::size_t i = 5; i < 15; ++i )
+ v.push_back ( i );
+ v1 = v;
+ BOOST_CHECK ( ba::is_permutation ( v.begin (), v.end (), v.begin ())); // better be a permutation of itself!
+ BOOST_CHECK ( ba::is_permutation ( v.begin (), v.end (), v1.begin ()));
+
+// With bidirectional iterators.
+ std::list<int> l;
+ std::copy ( v.begin (), v.end (), std::back_inserter ( l ));
+ BOOST_CHECK ( ba::is_permutation ( l.begin (), l.end (), l.begin ())); // better be a permutation of itself!
+ BOOST_CHECK ( ba::is_permutation ( l.begin (), l.end (), v1.begin ()));
+ for ( std::size_t i = 0; i < l.size (); ++i ) {
+ l.push_back ( *l.begin ()); l.pop_front (); // rotation
+ BOOST_CHECK ( ba::is_permutation ( l.begin (), l.end (), v1.begin ()));
+ }
+ }
+
+
+int test_main( int , char* [] )
+{
+ test_sequence1 ();
+ return 0;
+}

Added: branches/release/libs/algorithm/test/none_of_test.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/none_of_test.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,96 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <boost/config.hpp>
+#include <boost/algorithm/cxx11/none_of.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <functional>
+#include <vector>
+#include <list>
+
+template<typename T>
+struct is_ : public std::unary_function<T, bool> {
+ is_ ( T v ) : val_ ( v ) {}
+ ~is_ () {}
+ bool operator () ( T comp ) const { return val_ == comp; }
+private:
+ is_ (); // need a value
+
+ T val_;
+ };
+
+namespace ba = boost::algorithm;
+
+void test_none()
+{
+// Note: The literal values here are tested against directly, careful if you change them:
+ int some_numbers[] = { 1, 5, 0, 18, 1 };
+ std::vector<int> vi(some_numbers, some_numbers + 5);
+ std::list<int> li(vi.begin(), vi.end ());
+
+ int some_letters[] = { 'a', 'q', 'n', 'y', 'n' };
+ std::vector<char> vc(some_letters, some_letters + 5);
+
+ BOOST_CHECK ( ba::none_of_equal ( vi, 100 ));
+ BOOST_CHECK ( ba::none_of ( vi, is_<int> ( 100 )));
+ BOOST_CHECK ( ba::none_of_equal ( vi.begin(), vi.end(), 100 ));
+ BOOST_CHECK ( ba::none_of ( vi.begin(), vi.end(), is_<int> ( 100 )));
+
+ BOOST_CHECK (!ba::none_of_equal ( vi, 1 ));
+ BOOST_CHECK (!ba::none_of ( vi, is_<int> ( 1 )));
+ BOOST_CHECK (!ba::none_of_equal ( vi.begin(), vi.end(), 1 ));
+ BOOST_CHECK (!ba::none_of ( vi.begin(), vi.end(), is_<int> ( 1 )));
+
+ BOOST_CHECK ( ba::none_of_equal ( vi.end(), vi.end(), 0 ));
+ BOOST_CHECK ( ba::none_of ( vi.end(), vi.end(), is_<int> ( 0 )));
+
+// 5 is not in { 0, 18, 1 }, but 1 is
+ BOOST_CHECK ( ba::none_of_equal ( vi.begin() + 2, vi.end(), 5 ));
+ BOOST_CHECK ( ba::none_of ( vi.begin() + 2, vi.end(), is_<int> ( 5 )));
+ BOOST_CHECK (!ba::none_of_equal ( vi.begin() + 2, vi.end(), 1 ));
+ BOOST_CHECK (!ba::none_of ( vi.begin() + 2, vi.end(), is_<int> ( 1 )));
+
+// 18 is not in { 1, 5, 0 }, but 5 is
+ BOOST_CHECK ( ba::none_of_equal ( vi.begin(), vi.begin() + 3, 18 ));
+ BOOST_CHECK ( ba::none_of ( vi.begin(), vi.begin() + 3, is_<int> ( 18 )));
+ BOOST_CHECK (!ba::none_of_equal ( vi.begin(), vi.begin() + 3, 5 ));
+ BOOST_CHECK (!ba::none_of ( vi.begin(), vi.begin() + 3, is_<int> ( 5 )));
+
+ BOOST_CHECK ( ba::none_of_equal ( vc, 'z' ));
+ BOOST_CHECK ( ba::none_of ( vc, is_<char> ( 'z' )));
+
+ BOOST_CHECK (!ba::none_of_equal ( vc, 'a' ));
+ BOOST_CHECK (!ba::none_of ( vc, is_<char> ( 'a' )));
+
+ BOOST_CHECK (!ba::none_of_equal ( vc, 'n' ));
+ BOOST_CHECK (!ba::none_of ( vc, is_<char> ( 'n' )));
+
+ BOOST_CHECK ( ba::none_of_equal ( vi.begin(), vi.begin(), 1 ));
+ BOOST_CHECK ( ba::none_of_equal ( vc.begin(), vc.begin(), 'a' ));
+ BOOST_CHECK ( ba::none_of ( vi.begin(), vi.begin(), is_<int> ( 1 )));
+ BOOST_CHECK ( ba::none_of ( vc.begin(), vc.begin(), is_<char> ( 'a' )));
+
+ BOOST_CHECK ( ba::none_of_equal ( li, 100 ));
+ BOOST_CHECK ( ba::none_of ( li, is_<int> ( 100 )));
+ BOOST_CHECK ( ba::none_of_equal ( li.begin(), li.end(), 100 ));
+ BOOST_CHECK ( ba::none_of ( li.begin(), li.end(), is_<int> ( 100 )));
+
+ std::list<int>::iterator l_iter = li.begin ();
+ l_iter++; l_iter++; l_iter++;
+ BOOST_CHECK ( ba::none_of_equal ( li.begin(), l_iter, 18 ));
+ BOOST_CHECK ( ba::none_of ( li.begin(), l_iter, is_<int> ( 18 )));
+ BOOST_CHECK (!ba::none_of ( li.begin(), l_iter, is_<int> ( 5 )));
+}
+
+int test_main( int , char* [] )
+{
+ test_none();
+ return 0;
+}

Added: branches/release/libs/algorithm/test/one_of_test.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/one_of_test.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,101 @@
+/*
+ Copyright (c) Marshall Clow 2008-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <boost/config.hpp>
+#include <boost/algorithm/cxx11/one_of.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <functional>
+#include <vector>
+#include <list>
+
+template<typename T>
+struct is_ : public std::unary_function<T, bool> {
+ is_ ( T v ) : val_ ( v ) {}
+ ~is_ () {}
+ bool operator () ( T comp ) const { return val_ == comp; }
+private:
+ is_ (); // need a value
+
+ T val_;
+ };
+
+namespace ba = boost::algorithm;
+
+void test_one ()
+{
+// Note: The literal values here are tested against directly, careful if you change them:
+ int some_numbers[] = { 1, 1, 2, 3, 5 };
+ std::vector<int> vi(some_numbers, some_numbers + 5);
+ std::list<int> li(vi.begin(), vi.end ());
+
+ int some_letters[] = { 'a', 'q', 'n', 'y', 'n' };
+ std::vector<char> vc(some_letters, some_letters + 5);
+
+ BOOST_CHECK (!ba::one_of_equal ( vi, 1 ));
+ BOOST_CHECK (!ba::one_of ( vi, is_<int> ( 1 )));
+ BOOST_CHECK (!ba::one_of_equal ( vi.begin(), vi.end(), 1 ));
+ BOOST_CHECK (!ba::one_of ( vi.begin(), vi.end(), is_<int> ( 1 )));
+
+ BOOST_CHECK (!ba::one_of_equal ( vi, 0 ));
+ BOOST_CHECK (!ba::one_of ( vi, is_<int> ( 0 )));
+ BOOST_CHECK (!ba::one_of_equal ( vi.begin(), vi.end(), 0 ));
+ BOOST_CHECK (!ba::one_of ( vi.begin(), vi.end(), is_<int> ( 0 )));
+
+ BOOST_CHECK ( ba::one_of_equal ( vi, 2 ));
+ BOOST_CHECK ( ba::one_of ( vi, is_<int> ( 2 )));
+ BOOST_CHECK ( ba::one_of_equal ( vi.begin(), vi.end(), 2 ));
+ BOOST_CHECK ( ba::one_of ( vi.begin(), vi.end(), is_<int> ( 2 )));
+
+// Check for a match at the end
+ BOOST_CHECK ( ba::one_of_equal ( vi, 5 ));
+ BOOST_CHECK ( ba::one_of ( vi, is_<int> ( 5 )));
+ BOOST_CHECK ( ba::one_of_equal ( vi.begin(), vi.end(), 5 ));
+ BOOST_CHECK ( ba::one_of ( vi.begin(), vi.end(), is_<int> ( 5 )));
+
+ BOOST_CHECK ( ba::one_of_equal ( vi.begin() + 1, vi.end(), 1 ));
+ BOOST_CHECK ( ba::one_of ( vi.begin() + 1, vi.end(), is_<int> ( 1 )));
+
+ BOOST_CHECK ( ba::one_of_equal ( vc.begin() + 1, vc.begin() + 2, 'q' ));
+ BOOST_CHECK ( ba::one_of ( vc.begin() + 1, vc.begin() + 2, is_<char> ( 'q' )));
+
+ BOOST_CHECK (!ba::one_of_equal ( vc, '!' ));
+ BOOST_CHECK (!ba::one_of ( vc, is_<char> ( '!' )));
+
+ BOOST_CHECK (!ba::one_of_equal ( vc, 'n' ));
+ BOOST_CHECK (!ba::one_of ( vc, is_<char> ( 'n' )));
+
+// Empty range check
+ BOOST_CHECK (!ba::one_of_equal ( vi.begin(), vi.begin(), 1 ));
+ BOOST_CHECK (!ba::one_of_equal ( vc.begin(), vc.begin(), 'a' ));
+ BOOST_CHECK (!ba::one_of ( vi.begin(), vi.begin(), is_<int> ( 1 )));
+ BOOST_CHECK (!ba::one_of ( vc.begin(), vc.begin(), is_<char> ( 'a' )));
+
+ BOOST_CHECK (!ba::one_of_equal ( li, 1 ));
+ BOOST_CHECK (!ba::one_of ( li, is_<int> ( 1 )));
+ BOOST_CHECK (!ba::one_of_equal ( li.begin(), li.end(), 1 ));
+ BOOST_CHECK (!ba::one_of ( li.begin(), li.end(), is_<int> ( 1 )));
+
+ std::list<int>::iterator l_iter = li.begin ();
+ l_iter++; l_iter++; l_iter++;
+ BOOST_CHECK (!ba::one_of_equal ( li.begin(), l_iter, 1 ));
+ BOOST_CHECK (!ba::one_of ( li.begin(), l_iter, is_<int> ( 1 )));
+ BOOST_CHECK ( ba::one_of_equal ( li.begin(), l_iter, 2 ));
+ BOOST_CHECK ( ba::one_of ( li.begin(), l_iter, is_<int> ( 2 )));
+ BOOST_CHECK (!ba::one_of_equal ( li.begin(), l_iter, 3 ));
+ BOOST_CHECK (!ba::one_of ( li.begin(), l_iter, is_<int> ( 3 )));
+
+}
+
+
+int test_main( int , char* [] )
+{
+ test_one ();
+ return 0;
+}

Added: branches/release/libs/algorithm/test/ordered_test.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/ordered_test.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,154 @@
+// Copyright (c) 2010 Nuovation System Designs, LLC
+// Grant Erickson <gerickson_at_[hidden]>
+//
+// Reworked by Marshall Clow; August 2010
+//
+// Distributed under the Boost Software License, Version 1.0. (See
+// accompanying file LICENSE_1_0.txt or copy at
+// http://www.boost.org/LICENSE_1_0.txt)
+//
+// See http://www.boost.org/ for latest version.
+
+#include <algorithm>
+#include <iostream>
+
+#include <boost/algorithm/cxx11/is_sorted.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+using namespace boost;
+
+/* Preprocessor Defines */
+
+#define elementsof(v) (sizeof (v) / sizeof (v[0]))
+#define a_begin(v) (&v[0])
+#define a_end(v) (v + elementsof (v))
+#define a_range(v) v
+#define b_e(v) a_begin(v),a_end(v)
+
+namespace ba = boost::algorithm;
+
+static void
+test_ordered(void)
+{
+ const int strictlyIncreasingValues[] = { 1, 2, 3, 4, 5 };
+ const int randomValues[] = { 3, 6, 1, 2, 7 };
+ const int constantValues[] = { 1, 2, 2, 2, 5 };
+ int nonConstantArray[] = { 1, 2, 2, 2, 5 };
+ const int inOrderUntilTheEnd [] = { 0, 1, 2, 3, 4, 5, 6, 7, 6 };
+
+// Begin/end checks
+ BOOST_CHECK ( ba::is_sorted (b_e(strictlyIncreasingValues)));
+ BOOST_CHECK ( !ba::is_sorted (b_e(randomValues)));
+ BOOST_CHECK ( ba::is_sorted (b_e(strictlyIncreasingValues), std::less<int>()));
+ BOOST_CHECK ( !ba::is_sorted (b_e(strictlyIncreasingValues), std::greater<int>()));
+
+// Range checks
+ BOOST_CHECK ( ba::is_sorted (a_range(strictlyIncreasingValues)));
+ BOOST_CHECK ( !ba::is_sorted (a_range(randomValues)));
+ BOOST_CHECK ( ba::is_sorted (a_range(strictlyIncreasingValues), std::less<int>()));
+ BOOST_CHECK ( !ba::is_sorted (a_range(strictlyIncreasingValues), std::greater<int>()));
+
+ BOOST_CHECK ( ba::is_sorted_until ( b_e(strictlyIncreasingValues)) == a_end(strictlyIncreasingValues));
+ BOOST_CHECK ( ba::is_sorted_until ( b_e(strictlyIncreasingValues), std::less<int>()) == a_end(strictlyIncreasingValues));
+ BOOST_CHECK ( ba::is_sorted_until ( a_range(strictlyIncreasingValues)) == boost::end(strictlyIncreasingValues));
+ BOOST_CHECK ( ba::is_sorted_until ( a_range(strictlyIncreasingValues), std::less<int>()) == boost::end(strictlyIncreasingValues));
+
+// Check for const and non-const arrays
+ BOOST_CHECK ( ba::is_sorted_until ( b_e(constantValues), std::less<int>()) != a_end(constantValues));
+ BOOST_CHECK ( ba::is_sorted_until ( a_range(constantValues), std::less<int>()) != boost::end(constantValues));
+ BOOST_CHECK ( ba::is_sorted_until ( b_e(nonConstantArray), std::less<int>()) != a_end(nonConstantArray));
+ BOOST_CHECK ( ba::is_sorted_until ( a_range(nonConstantArray), std::less<int>()) != boost::end(nonConstantArray));
+
+ BOOST_CHECK ( ba::is_sorted_until ( b_e(randomValues), std::less<int>()) == &randomValues[2] );
+ BOOST_CHECK ( ba::is_sorted_until ( b_e(randomValues)) == &randomValues[2] );
+ BOOST_CHECK ( ba::is_sorted_until ( a_range(randomValues), std::less<int>()) == &randomValues[2] );
+ BOOST_CHECK ( ba::is_sorted_until ( a_range(randomValues)) == &randomValues[2] );
+
+ BOOST_CHECK ( ba::is_sorted_until ( a_range(inOrderUntilTheEnd), std::less<int>()) == &inOrderUntilTheEnd[8] );
+ BOOST_CHECK ( ba::is_sorted_until ( a_range(inOrderUntilTheEnd)) == &inOrderUntilTheEnd[8] );
+
+// For zero and one element collections, the comparison predicate should never be called
+ BOOST_CHECK ( ba::is_sorted_until ( a_begin(randomValues), a_begin(randomValues), std::equal_to<int>()) == a_begin(randomValues));
+ BOOST_CHECK ( ba::is_sorted_until ( a_begin(randomValues), a_begin(randomValues)) == a_begin(randomValues));
+ BOOST_CHECK ( ba::is_sorted_until ( a_begin(randomValues), a_begin(randomValues) + 1, std::equal_to<int>()) == a_begin(randomValues) + 1);
+ BOOST_CHECK ( ba::is_sorted_until ( a_begin(randomValues), a_begin(randomValues) + 1 ) == a_begin(randomValues) + 1);
+}
+
+
+static void
+test_increasing_decreasing(void)
+{
+ const int strictlyIncreasingValues[] = { 1, 2, 3, 4, 5 };
+ const int strictlyDecreasingValues[] = { 9, 8, 7, 6, 5 };
+ const int increasingValues[] = { 1, 2, 2, 2, 5 };
+ const int decreasingValues[] = { 9, 7, 7, 7, 5 };
+ const int randomValues[] = { 3, 6, 1, 2, 7 };
+ const int constantValues[] = { 7, 7, 7, 7, 7 };
+
+ // Test a strictly increasing sequence
+ BOOST_CHECK ( ba::is_strictly_increasing (b_e(strictlyIncreasingValues)));
+ BOOST_CHECK ( ba::is_increasing (b_e(strictlyIncreasingValues)));
+ BOOST_CHECK ( !ba::is_strictly_decreasing (b_e(strictlyIncreasingValues)));
+ BOOST_CHECK ( !ba::is_decreasing (b_e(strictlyIncreasingValues)));
+
+ BOOST_CHECK ( ba::is_strictly_increasing (a_range(strictlyIncreasingValues)));
+ BOOST_CHECK ( ba::is_increasing (a_range(strictlyIncreasingValues)));
+ BOOST_CHECK ( !ba::is_strictly_decreasing (a_range(strictlyIncreasingValues)));
+ BOOST_CHECK ( !ba::is_decreasing (a_range(strictlyIncreasingValues)));
+
+ // Test a strictly decreasing sequence
+ BOOST_CHECK ( !ba::is_strictly_increasing (b_e(strictlyDecreasingValues)));
+ BOOST_CHECK ( !ba::is_increasing (b_e(strictlyDecreasingValues)));
+ BOOST_CHECK ( ba::is_strictly_decreasing (b_e(strictlyDecreasingValues)));
+ BOOST_CHECK ( ba::is_decreasing (b_e(strictlyDecreasingValues)));
+
+ // Test an increasing sequence
+ BOOST_CHECK ( !ba::is_strictly_increasing (b_e(increasingValues)));
+ BOOST_CHECK ( ba::is_increasing (b_e(increasingValues)));
+ BOOST_CHECK ( !ba::is_strictly_decreasing (b_e(increasingValues)));
+ BOOST_CHECK ( !ba::is_decreasing (b_e(increasingValues)));
+
+ // Test a decreasing sequence
+ BOOST_CHECK ( !ba::is_strictly_increasing (b_e(decreasingValues)));
+ BOOST_CHECK ( !ba::is_increasing (b_e(decreasingValues)));
+ BOOST_CHECK ( !ba::is_strictly_decreasing (b_e(decreasingValues)));
+ BOOST_CHECK ( ba::is_decreasing (b_e(decreasingValues)));
+
+ // Test a random sequence
+ BOOST_CHECK ( !ba::is_strictly_increasing (b_e(randomValues)));
+ BOOST_CHECK ( !ba::is_increasing (b_e(randomValues)));
+ BOOST_CHECK ( !ba::is_strictly_decreasing (b_e(randomValues)));
+ BOOST_CHECK ( !ba::is_decreasing (b_e(randomValues)));
+
+ // Test a constant sequence
+ BOOST_CHECK ( !ba::is_strictly_increasing (b_e(constantValues)));
+ BOOST_CHECK ( ba::is_increasing (b_e(constantValues)));
+ BOOST_CHECK ( !ba::is_strictly_decreasing (b_e(constantValues)));
+ BOOST_CHECK ( ba::is_decreasing (b_e(constantValues)));
+
+ // Test an empty sequence
+ BOOST_CHECK ( ba::is_strictly_increasing (strictlyIncreasingValues, strictlyIncreasingValues));
+ BOOST_CHECK ( ba::is_increasing (strictlyIncreasingValues, strictlyIncreasingValues));
+ BOOST_CHECK ( ba::is_strictly_decreasing (strictlyIncreasingValues, strictlyIncreasingValues));
+ BOOST_CHECK ( ba::is_decreasing (strictlyIncreasingValues, strictlyIncreasingValues));
+
+ // Test a one-element sequence
+ BOOST_CHECK ( ba::is_strictly_increasing (strictlyIncreasingValues, strictlyIncreasingValues+1));
+ BOOST_CHECK ( ba::is_increasing (strictlyIncreasingValues, strictlyIncreasingValues+1));
+ BOOST_CHECK ( ba::is_strictly_decreasing (strictlyIncreasingValues, strictlyIncreasingValues+1));
+ BOOST_CHECK ( ba::is_decreasing (strictlyIncreasingValues, strictlyIncreasingValues+1));
+
+ // Test a two-element sequence
+ BOOST_CHECK ( ba::is_strictly_increasing (strictlyIncreasingValues, strictlyIncreasingValues+2));
+ BOOST_CHECK ( ba::is_increasing (strictlyIncreasingValues, strictlyIncreasingValues+2));
+ BOOST_CHECK ( !ba::is_strictly_decreasing (strictlyIncreasingValues, strictlyIncreasingValues+2));
+ BOOST_CHECK ( !ba::is_decreasing (strictlyIncreasingValues, strictlyIncreasingValues+2));
+
+}
+
+int test_main( int, char * [] )
+{
+ test_ordered ();
+ test_increasing_decreasing ();
+ return 0;
+}

Added: branches/release/libs/algorithm/test/partition_copy_test1.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/partition_copy_test1.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,87 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <iostream>
+
+#include <boost/config.hpp>
+#include <boost/algorithm/cxx11/partition_copy.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <boost/algorithm/cxx11/all_of.hpp>
+#include <boost/algorithm/cxx11/none_of.hpp>
+#include <string>
+#include <vector>
+#include <list>
+
+namespace ba = boost::algorithm;
+// namespace ba = boost;
+
+template <typename Container, typename Predicate>
+void test_sequence ( const Container &c, Predicate comp ) {
+ std::vector<typename Container::value_type> v1, v2;
+
+ v1.clear (); v2.clear ();
+ ba::partition_copy ( c.begin (), c.end (),
+ std::back_inserter (v1), std::back_inserter (v2), comp );
+// std::cout << "Sizes(1): " << c.size () << " -> { " << v1.size () << ", " << v2.size () << " }" << std::endl;
+ BOOST_CHECK ( v1.size () + v2.size () == c.size ());
+ BOOST_CHECK ( ba::all_of ( v1.begin (), v1.end (), comp ));
+ BOOST_CHECK ( ba::none_of ( v2.begin (), v2.end (), comp ));
+
+ v1.clear (); v2.clear ();
+ ba::partition_copy ( c, std::back_inserter (v1), std::back_inserter ( v2 ), comp );
+// std::cout << "Sizes(2): " << c.size () << " -> { " << v1.size () << ", " << v2.size () << " }" << std::endl;
+ BOOST_CHECK ( v1.size () + v2.size () == c.size ());
+ BOOST_CHECK ( ba::all_of ( v1, comp ));
+ BOOST_CHECK ( ba::none_of ( v2, comp ));
+ }
+
+template <typename T>
+struct less_than {
+public:
+ less_than ( T foo ) : val ( foo ) {}
+ less_than ( const less_than &rhs ) : val ( rhs.val ) {}
+
+ bool operator () ( const T &v ) const { return v < val; }
+private:
+ less_than ();
+ less_than operator = ( const less_than &rhs );
+ T val;
+ };
+
+bool is_even ( int v ) { return v % 2 == 0; }
+
+void test_sequence1 () {
+ std::vector<int> v;
+
+ v.clear ();
+ for ( int i = 5; i < 15; ++i )
+ v.push_back ( i );
+ test_sequence ( v, less_than<int>(3)); // no elements
+ test_sequence ( v, less_than<int>(6)); // only the first element
+ test_sequence ( v, less_than<int>(10));
+ test_sequence ( v, less_than<int>(99)); // all elements satisfy
+
+// With bidirectional iterators.
+ std::list<int> l;
+ for ( int i = 5; i < 16; ++i )
+ l.push_back ( i );
+ test_sequence ( l, less_than<int>(3)); // no elements
+ test_sequence ( l, less_than<int>(6)); // only the first element
+ test_sequence ( l, less_than<int>(10));
+ test_sequence ( l, less_than<int>(99)); // all elements satisfy
+
+ }
+
+
+int test_main( int , char* [] )
+{
+ test_sequence1 ();
+ return 0;
+}

Added: branches/release/libs/algorithm/test/partition_point_test1.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/partition_point_test1.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,98 @@
+/*
+ Copyright (c) Marshall Clow 2011-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <iostream>
+
+#include <boost/config.hpp>
+#include <boost/algorithm/cxx11/partition_point.hpp>
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <string>
+#include <vector>
+#include <list>
+
+namespace ba = boost::algorithm;
+// namespace ba = boost;
+
+template <typename Container>
+typename Container::iterator offset_to_iter ( Container &v, int offset ) {
+ typename Container::iterator retval;
+
+ if ( offset >= 0 ) {
+ retval = v.begin ();
+ std::advance ( retval, offset );
+ }
+ else {
+ retval = v.end ();
+ std::advance ( retval, offset + 1 );
+ }
+ return retval;
+ }
+
+template <typename Container, typename Predicate>
+void test_sequence ( Container &v, Predicate comp, int expected ) {
+ typename Container::iterator res, exp;
+
+ res = ba::partition_point ( v.begin (), v.end (), comp );
+ exp = offset_to_iter ( v, expected );
+ std::cout << "Expected(1): " << std::distance ( v.begin (), exp )
+ << ", got: " << std::distance ( v.begin (), res ) << std::endl;
+ BOOST_CHECK ( exp == res );
+
+// Duplicate the last element; this checks for any even/odd problems
+ v.push_back ( * v.rbegin ());
+ res = ba::partition_point ( v.begin (), v.end (), comp );
+ exp = offset_to_iter ( v, expected );
+ std::cout << "Expected(2): " << std::distance ( v.begin (), exp )
+ << ", got: " << std::distance ( v.begin (), res ) << std::endl;
+ BOOST_CHECK ( exp == res );
+ }
+
+template <typename T>
+struct less_than {
+public:
+ less_than ( T foo ) : val ( foo ) {}
+ less_than ( const less_than &rhs ) : val ( rhs.val ) {}
+
+ bool operator () ( const T &v ) const { return v < val; }
+private:
+ less_than ();
+ less_than operator = ( const less_than &rhs );
+ T val;
+ };
+
+
+void test_sequence1 () {
+ std::vector<int> v;
+
+ v.clear ();
+ for ( int i = 5; i < 15; ++i )
+ v.push_back ( i );
+ test_sequence ( v, less_than<int>(3), 0 ); // no elements
+ test_sequence ( v, less_than<int>(6), 1 ); // only the first element
+ test_sequence ( v, less_than<int>(10), 5 );
+ test_sequence ( v, less_than<int>(99), -1 ); // all elements satisfy
+
+// With bidirectional iterators.
+ std::list<int> l;
+ for ( int i = 5; i < 15; ++i )
+ l.push_back ( i );
+ test_sequence ( l, less_than<int>(3), 0 ); // no elements
+ test_sequence ( l, less_than<int>(6), 1 ); // only the first element
+ test_sequence ( l, less_than<int>(10), 5 );
+ test_sequence ( l, less_than<int>(99), -1 ); // all elements satisfy
+
+ }
+
+
+int test_main( int , char* [] )
+{
+ test_sequence1 ();
+ return 0;
+}

Added: branches/release/libs/algorithm/test/search_fail1.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/search_fail1.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,26 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <vector>
+#include <boost/algorithm/searching/boyer_moore.hpp>
+
+int main( int argc, char *argv [] )
+{
+ std::vector<char> cv;
+ std::vector<int> iv;
+
+// Should fail to compile because the underlying types are different
+// They are (almost certainly) different sizes
+ (void) boost::algorithm::boyer_moore_search (
+ cv.begin (), cv.end (), iv.begin (), iv.end ());
+
+
+ (void) argv; (void) argc;
+ return 0;
+}

Added: branches/release/libs/algorithm/test/search_fail2.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/search_fail2.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,27 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <vector>
+#include <boost/cstdint.hpp>
+#include <boost/algorithm/searching/boyer_moore.hpp>
+
+int main( int argc, char *argv [] )
+{
+ std::vector<boost::uint8_t> cv;
+ std::vector<boost:: int8_t> iv;
+
+// Should fail to compile because the underlying types are different
+// They are the same size, but one is signed, and the other is not.
+ (void) boost::algorithm::boyer_moore_search (
+ cv.begin (), cv.end (), iv.begin (), iv.end ());
+
+
+ (void) argv; (void) argc;
+ return 0;
+}

Added: branches/release/libs/algorithm/test/search_fail3.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/search_fail3.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,20 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <vector>
+#include <boost/algorithm/searching/boyer_moore.hpp>
+
+int main( int argc, char *argv [] )
+{
+// Should fail to compile because the search objects are not default-constructible
+ boost::algorithm::boyer_moore<std::vector<char>::iterator> bm;
+
+ (void) argv; (void) argc;
+ return 0;
+}

Added: branches/release/libs/algorithm/test/search_test1.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/search_test1.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,272 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <boost/algorithm/searching/boyer_moore.hpp>
+#include <boost/algorithm/searching/boyer_moore_horspool.hpp>
+#include <boost/algorithm/searching/knuth_morris_pratt.hpp>
+
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <iostream>
+#include <string>
+#include <vector>
+
+
+namespace ba = boost::algorithm;
+
+template <typename Iter>
+std::string make_str ( Iter first, std::size_t len ) {
+ std::string retVal ( len + 2, '\'' );
+ std::copy ( first, first+len, retVal.begin () + 1);
+ return retVal;
+ }
+
+namespace {
+
+// Check using iterators
+ template<typename Container>
+ void check_one_iter ( const Container &haystack, const std::string &needle, int expected ) {
+ typedef typename Container::const_iterator iter_type;
+ typedef std::string::const_iterator pattern_type;
+
+ iter_type hBeg = haystack.begin ();
+ iter_type hEnd = haystack.end ();
+ pattern_type nBeg = needle.begin ();
+ pattern_type nEnd = needle.end ();
+
+ iter_type it0 = std::search (hBeg, hEnd, nBeg, nEnd);
+ iter_type it1 = ba::boyer_moore_search (hBeg, hEnd, nBeg, nEnd);
+ iter_type it1r = ba::boyer_moore_search (haystack, nBeg, nEnd);
+ iter_type it2 = ba::boyer_moore_horspool_search (hBeg, hEnd, nBeg, nEnd);
+ iter_type it3 = ba::knuth_morris_pratt_search (hBeg, hEnd, nBeg, nEnd);
+ const int dist = it1 == hEnd ? -1 : std::distance ( hBeg, it1 );
+
+ std::cout << "(Iterators) Pattern is " << needle.length () << ", haysstack is " << haystack.length () << " chars long; " << std::endl;
+ try {
+ if ( it0 != it1 ) {
+ throw std::runtime_error (
+ std::string ( "results mismatch between std::search and boyer-moore search" ));
+ }
+
+ if ( it1 != it1r ) {
+ throw std::runtime_error (
+ std::string ( "results mismatch between iterator and range boyer_moore search" ));
+ }
+
+ if ( it1 != it2 ) {
+ throw std::runtime_error (
+ std::string ( "results mismatch between boyer-moore and boyer-moore-horspool search" ));
+ }
+
+ if ( it1 != it3 )
+ throw std::runtime_error (
+ std::string ( "results mismatch between boyer-moore and knuth-morris-pratt search" ));
+
+ }
+
+ catch ( ... ) {
+ std::cout << "Searching for: " << needle << std::endl;
+ std::cout << "Expected: " << expected << "\n";
+ std::cout << " std: " << std::distance ( hBeg, it0 ) << "\n";
+ std::cout << " bm: " << std::distance ( hBeg, it1 ) << "\n";
+ std::cout << " bm(r): " << std::distance ( hBeg, it1r ) << "\n";
+ std::cout << " bmh: " << std::distance ( hBeg, it2 ) << "\n";
+ std::cout << " kpm: " << std::distance ( hBeg, it3 )<< "\n";
+ std::cout << std::flush;
+ throw ;
+ }
+
+ BOOST_CHECK_EQUAL ( dist, expected );
+ }
+
+// Check using pointers
+// We're assuming that the container implements contiguous storage here.
+ template<typename Container>
+ void check_one_pointer ( const Container &haystack, const std::string &needle, int expected ) {
+ typedef const typename Container::value_type *ptr_type;
+ ptr_type hBeg = haystack.size () == 0 ? NULL : &*haystack.begin ();
+ ptr_type hEnd = hBeg + haystack.size ();
+ ptr_type nBeg = needle.size () == 0 ? NULL : &*needle.begin ();
+ ptr_type nEnd = nBeg + needle.size ();
+
+ ptr_type it0 = std::search (hBeg, hEnd, nBeg, nEnd);
+ ptr_type it1 = ba::boyer_moore_search (hBeg, hEnd, nBeg, nEnd);
+ ptr_type it2 = ba::boyer_moore_horspool_search (hBeg, hEnd, nBeg, nEnd);
+ ptr_type it3 = ba::knuth_morris_pratt_search (hBeg, hEnd, nBeg, nEnd);
+ const int dist = it1 == hEnd ? -1 : std::distance ( hBeg, it1 );
+
+ std::cout << "(Pointers) Pattern is " << needle.length () << ", haysstack is " << haystack.length () << " chars long; " << std::endl;
+ try {
+ if ( it0 != it1 ) {
+ throw std::runtime_error (
+ std::string ( "results mismatch between std::search and boyer-moore search" ));
+ }
+
+ if ( it1 != it2 ) {
+ throw std::runtime_error (
+ std::string ( "results mismatch between boyer-moore and boyer-moore-horspool search" ));
+ }
+
+ if ( it1 != it3 )
+ throw std::runtime_error (
+ std::string ( "results mismatch between boyer-moore and knuth-morris-pratt search" ));
+
+ }
+
+ catch ( ... ) {
+ std::cout << "Searching for: " << needle << std::endl;
+ std::cout << "Expected: " << expected << "\n";
+ std::cout << " std: " << std::distance ( hBeg, it0 ) << "\n";
+ std::cout << " bm: " << std::distance ( hBeg, it1 ) << "\n";
+ std::cout << " bmh: " << std::distance ( hBeg, it2 ) << "\n";
+ std::cout << " kpm: " << std::distance ( hBeg, it3 )<< "\n";
+ std::cout << std::flush;
+ throw ;
+ }
+
+ BOOST_CHECK_EQUAL ( dist, expected );
+ }
+
+// Check using objects
+ template<typename Container>
+ void check_one_object ( const Container &haystack, const std::string &needle, int expected ) {
+ typedef typename Container::const_iterator iter_type;
+ typedef std::string::const_iterator pattern_type;
+
+ iter_type hBeg = haystack.begin ();
+ iter_type hEnd = haystack.end ();
+ pattern_type nBeg = needle.begin ();
+ pattern_type nEnd = needle.end ();
+
+ ba::boyer_moore<pattern_type> bm_r = ba::make_boyer_moore ( needle );
+ ba::boyer_moore<pattern_type> bm ( nBeg, nEnd );
+ ba::boyer_moore_horspool<pattern_type> bmh ( nBeg, nEnd );
+ ba::knuth_morris_pratt<pattern_type> kmp ( nBeg, nEnd );
+
+ iter_type it0 = std::search (hBeg, hEnd, nBeg, nEnd);
+ iter_type it1 = bm (hBeg, hEnd);
+ iter_type it1r = bm (haystack);
+ iter_type rt1 = bm_r (hBeg, hEnd);
+ iter_type rt1r = bm_r (haystack);
+ iter_type it2 = bmh (hBeg, hEnd);
+ iter_type it3 = kmp (hBeg, hEnd);
+ const int dist = it1 == hEnd ? -1 : std::distance ( hBeg, it1 );
+
+ std::cout << "(Objects) Pattern is " << needle.length () << ", haysstack is " << haystack.length () << " chars long; " << std::endl;
+ try {
+ if ( it0 != it1 ) {
+ throw std::runtime_error (
+ std::string ( "results mismatch between std::search and boyer-moore search" ));
+ }
+
+ if ( it1 != it1r ) {
+ throw std::runtime_error (
+ std::string ( "results mismatch between iterator and range boyer_moore search(1)" ));
+ }
+
+ if ( it1 != rt1 ) {
+ throw std::runtime_error (
+ std::string ( "results mismatch between iterator and range boyer_moore search(2)" ));
+ }
+
+ if ( rt1 != rt1r ) {
+ throw std::runtime_error (
+ std::string ( "results mismatch between iterator and range boyer_moore search(3)" ));
+ }
+
+ if ( it1 != it2 ) {
+ throw std::runtime_error (
+ std::string ( "results mismatch between boyer-moore and boyer-moore-horspool search" ));
+ }
+
+ if ( it1 != it3 )
+ throw std::runtime_error (
+ std::string ( "results mismatch between boyer-moore and knuth-morris-pratt search" ));
+
+ }
+
+ catch ( ... ) {
+ std::cout << "Searching for: " << needle << std::endl;
+ std::cout << "Expected: " << expected << "\n";
+ std::cout << " std: " << std::distance ( hBeg, it0 ) << "\n";
+ std::cout << " bm: " << std::distance ( hBeg, it1 ) << "\n";
+ std::cout << " bm(r1): " << std::distance ( hBeg, it1r ) << "\n";
+ std::cout << " bm(r2): " << std::distance ( hBeg, rt1 ) << "\n";
+ std::cout << " bm(r3): " << std::distance ( hBeg, rt1r ) << "\n";
+ std::cout << " bmh: " << std::distance ( hBeg, it2 ) << "\n";
+ std::cout << " kpm: " << std::distance ( hBeg, it3 )<< "\n";
+ std::cout << std::flush;
+ throw ;
+ }
+
+ BOOST_CHECK_EQUAL ( dist, expected );
+ }
+
+
+ template<typename Container>
+ void check_one ( const Container &haystack, const std::string &needle, int expected ) {
+ check_one_iter ( haystack, needle, expected );
+ check_one_pointer ( haystack, needle, expected );
+ check_one_object ( haystack, needle, expected );
+ }
+ }
+
+
+int test_main( int , char* [] )
+{
+ std::string haystack1 ( "NOW AN FOWE\220ER ANNMAN THE ANPANMANEND" );
+ std::string needle1 ( "ANPANMAN" );
+ std::string needle2 ( "MAN THE" );
+ std::string needle3 ( "WE\220ER" );
+ std::string needle4 ( "NOW " ); // At the beginning
+ std::string needle5 ( "NEND" ); // At the end
+ std::string needle6 ( "NOT FOUND" ); // Nowhere
+ std::string needle7 ( "NOT FO\340ND" ); // Nowhere
+
+ std::string haystack2 ( "ABC ABCDAB ABCDABCDABDE" );
+ std::string needle11 ( "ABCDABD" );
+
+ std::string haystack3 ( "abra abracad abracadabra" );
+ std::string needle12 ( "abracadabra" );
+
+ std::string needle13 ( "" );
+ std::string haystack4 ( "" );
+
+ check_one ( haystack1, needle1, 26 );
+ check_one ( haystack1, needle2, 18 );
+ check_one ( haystack1, needle3, 9 );
+ check_one ( haystack1, needle4, 0 );
+ check_one ( haystack1, needle5, 33 );
+ check_one ( haystack1, needle6, -1 );
+ check_one ( haystack1, needle7, -1 );
+
+ check_one ( needle1, haystack1, -1 ); // cant find long pattern in short corpus
+ check_one ( haystack1, haystack1, 0 ); // find something in itself
+ check_one ( haystack2, haystack2, 0 ); // find something in itself
+
+ check_one ( haystack2, needle11, 15 );
+ check_one ( haystack3, needle12, 13 );
+
+ check_one ( haystack1, needle13, 0 ); // find the empty string
+ check_one ( haystack4, needle1, -1 ); // can't find in an empty haystack
+
+// Mikhail Levin <svarneticist_at_[hidden]> found a problem, and this was the test
+// that triggered it.
+
+ const std::string mikhail_pattern =
+"GATACACCTACCTTCACCAGTTACTCTATGCACTAGGTGCGCCAGGCCCATGCACAAGGGCTTGAGTGGATGGGAAGGA"
+"TGTGCCCTAGTGATGGCAGCATAAGCTACGCAGAGAAGTTCCAGGGCAGAGTCACCATGACCAGGGACACATCCACGAG"
+"CACAGCCTACATGGAGCTGAGCAGCCTGAGATCTGAAGACACGGCCATGTATTACTGTGGGAGAGATGTCTGGAGTGGT"
+"TATTATTGCCCCGGTAATATTACTACTACTACTACTACATGGACGTCTGGGGCAAAGGGACCACG"
+;
+ const std::string mikhail_corpus = std::string (8, 'a') + mikhail_pattern;
+
+ check_one ( mikhail_corpus, mikhail_pattern, 8 );
+ return 0;
+ }

Added: branches/release/libs/algorithm/test/search_test2.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/search_test2.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,145 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <boost/algorithm/searching/boyer_moore.hpp>
+#include <boost/algorithm/searching/boyer_moore_horspool.hpp>
+#include <boost/algorithm/searching/knuth_morris_pratt.hpp>
+
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <iostream>
+#include <algorithm>
+#include <vector>
+
+typedef std::vector<char> vec;
+#define NUM_TRIES 100
+
+#define runOne(call, refDiff) { \
+ std::clock_t bTime, eTime; \
+ bTime = std::clock (); \
+ for ( i = 0; i < NUM_TRIES; ++i ) { \
+ res = boost::algorithm::call \
+ ( haystack.begin (), haystack.end (), \
+ needle.begin (), needle.end ()); \
+ if ( res != exp ) { \
+ std::cout << "On run # " << i << " expected " \
+ << exp - haystack.begin () << " got " \
+ << res - haystack.begin () << std::endl; \
+ throw std::runtime_error \
+ ( "Unexpected result from " #call ); \
+ } \
+ } \
+ eTime = std::clock (); \
+ printRes ( #call, eTime - bTime, refDiff ); }
+
+#define runObject(obj, refDiff) { \
+ std::clock_t bTime, eTime; \
+ bTime = std::clock (); \
+ boost::algorithm::obj <vec::const_iterator> \
+ s_o ( needle.begin (), needle.end ()); \
+ for ( i = 0; i < NUM_TRIES; ++i ) { \
+ res = s_o ( haystack.begin (), haystack.end ()); \
+ if ( res != exp ) { \
+ std::cout << "On run # " << i << " expected " \
+ << exp - haystack.begin () << " got " \
+ << res - haystack.begin () << std::endl; \
+ throw std::runtime_error \
+ ( "Unexpected result from " #obj " object" ); \
+ } \
+ } \
+ eTime = std::clock (); \
+ printRes ( #obj " object", eTime - bTime, refDiff ); }
+
+
+
+namespace {
+
+ vec ReadFromFile ( const char *name ) {
+ std::ifstream in ( name, std::ios_base::binary | std::ios_base::in );
+ vec retVal;
+ std::istream_iterator<char, char> begin(in);
+ std::istream_iterator<char, char> end;
+
+ std::copy ( begin, end, std::back_inserter ( retVal ));
+ return retVal;
+ }
+
+ void printRes ( const char *prompt, unsigned long diff, unsigned long stdDiff ) {
+ std::cout
+ << std::setw(34) << prompt << " "
+ << std::setw(6) << ( 1.0 * diff) / CLOCKS_PER_SEC << " seconds\t"
+ << std::setw(5) << (100.0 * diff) / stdDiff << "% \t"
+ << std::setw(12) << diff;
+ if ( diff > stdDiff )
+ std::cout << " !!";
+ std::cout << std::endl;
+ }
+
+ void check_one ( const vec &haystack, const vec &needle, int expected ) {
+ std::size_t i;
+ std::clock_t sTime;
+ unsigned long stdDiff;
+
+ vec::const_iterator res;
+ vec::const_iterator exp; // the expected result
+
+ if ( expected >= 0 )
+ exp = haystack.begin () + expected;
+ else if ( expected == -1 )
+ exp = haystack.end (); // we didn't find it!
+ else if ( expected == -2 )
+ exp = std::search ( haystack.begin (), haystack.end (), needle.begin (), needle.end ());
+ else
+ throw std::logic_error ( "Expected must be -2, -1, or >= 0" );
+
+ std::cout << "Pattern is " << needle.size () << " entries long" << std::endl;
+ std::cout << "Corpus is " << haystack.size () << " entries long" << std::endl;
+
+ // First, the std library search
+ sTime = std::clock ();
+ for ( i = 0; i < NUM_TRIES; ++i ) {
+ res = std::search ( haystack.begin (), haystack.end (), needle.begin (), needle.end ());
+ if ( res != exp ) {
+ std::cout << "On run # " << i << " expected " << exp - haystack.begin () << " got " << res - haystack.begin () << std::endl;
+ throw std::runtime_error ( "Unexpected result from std::search" );
+ }
+ }
+ stdDiff = std::clock () - sTime;
+ printRes ( "std::search", stdDiff, stdDiff );
+
+ runOne ( boyer_moore_search, stdDiff );
+ runObject ( boyer_moore, stdDiff );
+ runOne ( boyer_moore_horspool_search, stdDiff );
+ runObject ( boyer_moore_horspool, stdDiff );
+ runOne ( knuth_morris_pratt_search, stdDiff );
+ runObject ( knuth_morris_pratt, stdDiff );
+ }
+ }
+
+int test_main( int , char* [] )
+{
+ vec c1 = ReadFromFile ( "search_test_data/0001.corpus" );
+ vec p1b = ReadFromFile ( "search_test_data/0001b.pat" );
+ vec p1e = ReadFromFile ( "search_test_data/0001e.pat" );
+ vec p1n = ReadFromFile ( "search_test_data/0001n.pat" );
+ vec p1f = ReadFromFile ( "search_test_data/0001f.pat" );
+
+ std::cout << std::ios::fixed << std::setprecision(4);
+// std::cout << "Corpus is " << c1.size () << " entries long\n";
+ std::cout << "--- Beginning ---" << std::endl;
+ check_one ( c1, p1b, 0 ); // Find it at position zero
+ std::cout << "---- Middle -----" << std::endl;
+ check_one ( c1, p1f, -2 ); // Don't know answer
+ std::cout << "------ End ------" << std::endl;
+ check_one ( c1, p1e, c1.size() - p1e.size ());
+ std::cout << "--- Not found ---" << std::endl;
+ check_one ( c1, p1n, -1 ); // Not found
+
+ return 0;
+ }

Added: branches/release/libs/algorithm/test/search_test3.cpp
==============================================================================
--- (empty file)
+++ branches/release/libs/algorithm/test/search_test3.cpp 2012-04-16 14:54:41 EDT (Mon, 16 Apr 2012)
@@ -0,0 +1,145 @@
+/*
+ Copyright (c) Marshall Clow 2010-2012.
+
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+ For more information, see http://www.boost.org
+*/
+
+#include <boost/algorithm/searching/boyer_moore.hpp>
+#include <boost/algorithm/searching/boyer_moore_horspool.hpp>
+#include <boost/algorithm/searching/knuth_morris_pratt.hpp>
+
+#include <boost/test/included/test_exec_monitor.hpp>
+
+#include <iostream>
+#include <algorithm>
+#include <vector>
+#include <string>
+
+typedef std::vector<std::string> vec;
+#define NUM_TRIES 100
+
+#define runOne(call, refDiff) { \
+ std::clock_t bTime, eTime; \
+ bTime = std::clock (); \
+ for ( i = 0; i < NUM_TRIES; ++i ) { \
+ res = boost::algorithm::call \
+ ( haystack.begin (), haystack.end (), \
+ needle.begin (), needle.end ()); \
+ if ( res != exp ) { \
+ std::cout << "On run # " << i << " expected " \
+ << exp - haystack.begin () << " got " \
+ << res - haystack.begin () << std::endl; \
+ throw std::runtime_error \
+ ( "Unexpected result from " #call ); \
+ } \
+ } \
+ eTime = std::clock (); \
+ printRes ( #call, eTime - bTime, refDiff ); }
+
+#define runObject(obj, refDiff) { \
+ std::clock_t bTime, eTime; \
+ bTime = std::clock (); \
+ boost::algorithm::obj <vec::const_iterator> \
+ s_o ( needle.begin (), needle.end ()); \
+ for ( i = 0; i < NUM_TRIES; ++i ) { \
+ res = s_o ( haystack.begin (), haystack.end ()); \
+ if ( res != exp ) { \
+ std::cout << "On run # " << i << " expected " \
+ << exp - haystack.begin () << " got " \
+ << res - haystack.begin () << std::endl; \
+ throw std::runtime_error \
+ ( "Unexpected result from " #obj " object" ); \
+ } \
+ } \
+ eTime = std::clock (); \
+ printRes ( #obj " object", eTime - bTime, refDiff ); }
+
+
+namespace {
+
+ vec ReadFromFile ( const char *name ) {
+ std::ifstream in ( name, std::ios_base::binary | std::ios_base::in );
+ std::string temp;
+ vec retVal;
+ while ( std::getline ( in, temp ))
+ retVal.push_back ( temp );
+
+ return retVal;
+ }
+
+ void printRes ( const char *prompt, unsigned long diff, unsigned long stdDiff ) {
+ std::cout
+ << std::setw(34) << prompt << " "
+ << std::setw(6) << ( 1.0 * diff) / CLOCKS_PER_SEC << " seconds\t"
+ << std::setw(5) << (100.0 * diff) / stdDiff << "% \t"
+ << std::setw(12) << diff;
+ if ( diff > stdDiff )
+ std::cout << " !!";
+ std::cout << std::endl;
+ }
+
+ void check_one ( const vec &haystack, const vec &needle, int expected ) {
+ std::size_t i;
+ std::clock_t sTime;
+ unsigned long stdDiff;
+
+ vec::const_iterator res;
+ vec::const_iterator exp; // the expected result
+
+ if ( expected >= 0 )
+ exp = haystack.begin () + expected;
+ else if ( expected == -1 )
+ exp = haystack.end (); // we didn't find it1
+ else if ( expected == -2 )
+ exp = std::search ( haystack.begin (), haystack.end (), needle.begin (), needle.end ());
+ else
+ throw std::logic_error ( "Expected must be -2, -1, or >= 0" );
+
+ std::cout << "Pattern is " << needle.size () << " entries long" << std::endl;
+ std::cout << "Corpus is " << haystack.size () << " entries long" << std::endl;
+
+ // First, the std library search
+ sTime = std::clock ();
+ for ( i = 0; i < NUM_TRIES; ++i ) {
+ res = std::search ( haystack.begin (), haystack.end (), needle.begin (), needle.end ());
+ if ( res != exp ) {
+ std::cout << "On run # " << i << " expected " << exp - haystack.begin () << " got " << res - haystack.begin () << std::endl;
+ throw std::runtime_error ( "Unexpected result from std::search" );
+ }
+ }
+ stdDiff = std::clock () - sTime;
+ printRes ( "std::search", stdDiff, stdDiff );
+
+ runOne ( boyer_moore_search, stdDiff );
+ runObject ( boyer_moore, stdDiff );
+ runOne ( boyer_moore_horspool_search, stdDiff );
+ runObject ( boyer_moore_horspool, stdDiff );
+ runOne ( knuth_morris_pratt_search, stdDiff );
+ runObject ( knuth_morris_pratt, stdDiff );
+ }
+ }
+
+int test_main( int , char* [] )
+{
+ vec c1 = ReadFromFile ( "search_test_data/0001.corpus" );
+ vec p1b = ReadFromFile ( "search_test_data/0002b.pat" );
+ vec p1e = ReadFromFile ( "search_test_data/0002e.pat" );
+ vec p1n = ReadFromFile ( "search_test_data/0002n.pat" );
+ vec p1f = ReadFromFile ( "search_test_data/0002f.pat" );
+
+ std::cout << std::ios::fixed << std::setprecision(4);
+// std::cout << "Corpus is " << c1.size () << " entries long\n";
+ std::cout << "--- Beginning ---" << std::endl;
+ check_one ( c1, p1b, 0 ); // Find it at position zero
+ std::cout << "---- Middle -----" << std::endl;
+ check_one ( c1, p1f, -2 ); // Don't know answer
+ std::cout << "------ End ------" << std::endl;
+ check_one ( c1, p1e, c1.size() - p1e.size ());
+ std::cout << "--- Not found ---" << std::endl;
+ check_one ( c1, p1n, -1 ); // Not found
+
+ return 0;
+ }

Added: branches/release/libs/algorithm/test/search_test_data/0001.corpus
==============================================================================
Binary file. No diff available.

Added: branches/release/libs/algorithm/test/search_test_data/0001b.pat
==============================================================================
Binary file. No diff available.

Added: branches/release/libs/algorithm/test/search_test_data/0001e.pat
==============================================================================
Binary file. No diff available.

Added: branches/release/libs/algorithm/test/search_test_data/0001f.pat
==============================================================================
Binary file. No diff available.

Added: branches/release/libs/algorithm/test/search_test_data/0001n.pat
==============================================================================
Binary file. No diff available.

Added: branches/release/libs/algorithm/test/search_test_data/0002b.pat
==============================================================================
Binary file. No diff available.

Added: branches/release/libs/algorithm/test/search_test_data/0002e.pat
==============================================================================
Binary file. No diff available.

Added: branches/release/libs/algorithm/test/search_test_data/0002f.pat
==============================================================================
Binary file. No diff available.

Added: branches/release/libs/algorithm/test/search_test_data/0002n.pat
==============================================================================
Binary file. No diff available.


Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk