12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364 |
- /*
- Copyright (c) Alexander Zaitsev <zamazan4ik@gmail.by>, 2017.
- 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_until.hpp
- /// \brief Tell if a sequence is partitioned
- /// \author Alexander Zaitsev
- #ifndef BOOST_ALGORITHM_IS_PARTITIONED_UNTIL_HPP
- #define BOOST_ALGORITHM_IS_PARTITIONED_UNTIL_HPP
- #include <boost/config.hpp>
- #include <boost/range/begin.hpp>
- #include <boost/range/end.hpp>
- namespace boost { namespace algorithm {
- /// \fn is_partitioned_until ( InputIterator first, InputIterator last, UnaryPredicate p )
- /// \brief 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.
- ///
- /// \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 Returns the first iterator 'it' in the sequence [first, last) for which is_partitioned(first, it, p) is false.
- /// Returns last if the entire sequence is partitioned.
- /// Complexity: O(N).
- template <typename InputIterator, typename UnaryPredicate>
- InputIterator is_partitioned_until ( 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 first;
- return last;
- }
- /// \fn is_partitioned_until ( const Range &r, UnaryPredicate p )
- /// \brief 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.
- ///
- /// \param r The input range
- /// \param p The predicate to test the values with
- ///
- /// \note Returns the first iterator 'it' in the sequence [first, last) for which is_partitioned(first, it, p) is false.
- /// Returns last if the entire sequence is partitioned.
- /// Complexity: O(N).
- template <typename Range, typename UnaryPredicate>
- typename boost::range_iterator<const Range>::type is_partitioned_until ( const Range &r, UnaryPredicate p )
- {
- return boost::algorithm::is_partitioned_until (boost::begin(r), boost::end(r), p);
- }
- }}
- #endif // BOOST_ALGORITHM_IS_PARTITIONED_UNTIL_HPP
|