add none_of, one_of

This commit is contained in:
Bolero-MURAKAMI 2013-08-16 11:43:55 +09:00
parent 093ec715de
commit 3b0fde550d
15 changed files with 530 additions and 10 deletions

View file

@ -8,6 +8,8 @@ Sprout.Algorithm
all_of
any_of
none_of
one_of
.. _sprout-algorithm-non_modifying:
*******************************************************************************
@ -18,3 +20,7 @@ Non-modifying sequence operations
* :doc:`./any_of`
* :doc:`./none_of`
* :doc:`./one_of`

View file

@ -0,0 +1,46 @@
.. _sprout-algorithm-none_of:
###############################################################################
none_of
###############################################################################
Interface
========================================
.. sourcecode:: c++
template<typename InputIterator, typename Predicate>
inline SPROUT_CONSTEXPR bool
none_of(InputIterator first, InputIterator last, Predicate pred);
Returns
========================================
*true* if [first,last) is empty or if ``pred(*i)`` is false for every iterator i in the range [first,last), and *false* otherwise.
Examples
========================================
.. sourcecode:: c++
#include <sprout/algorithm/none_of.hpp>
#include <sprout/array.hpp>
#include <sprout/container.hpp>
#include <sprout/functional.hpp>
using namespace sprout;
SPROUT_STATIC_CONSTEXPR auto input = array<int, 10>{{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}};
SPROUT_STATIC_CONSTEXPR auto result = sprout::none_of(begin(input), end(input), bind2nd(greater<>(), 10));
static_assert(result, "none of input is greater than 10.");
Complexity
========================================
At most ``last - first`` applications of the predicate.
Recursive function invocations in *O(logN)* (logarithmic) depth.
Header
========================================
``sprout/algorithm/none_of.hpp``
Convenience header: ``sprout/algorithm.hpp``

View file

@ -0,0 +1,46 @@
.. _sprout-algorithm-one_of:
###############################################################################
one_of
###############################################################################
Interface
========================================
.. sourcecode:: c++
template<typename InputIterator, typename Predicate>
inline SPROUT_CONSTEXPR bool
one_of(InputIterator first, InputIterator last, Predicate pred);
Returns
========================================
*true* if [first,last) is not empty and there is only one iterator i in the range [first,last) such that ``pred(*i)`` is true, and *false* otherwise.
Examples
========================================
.. sourcecode:: c++
#include <sprout/algorithm/one_of.hpp>
#include <sprout/array.hpp>
#include <sprout/container.hpp>
#include <sprout/functional.hpp>
using namespace sprout;
SPROUT_STATIC_CONSTEXPR auto input = array<int, 10>{{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}};
SPROUT_STATIC_CONSTEXPR auto result = sprout::one_of(begin(input), end(input), bind2nd(greater<>(), 9));
static_assert(result, "one of input is greater than 9.");
Complexity
========================================
At most ``last - first`` applications of the predicate.
Recursive function invocations in *O(logN)* (logarithmic) depth.
Header
========================================
``sprout/algorithm/one_of.hpp``
Convenience header: ``sprout/algorithm.hpp``