Files
derek.holloway 7502bf64a4
CodeQL / Analyze (actions) (push) Canceled after 0s
CodeQL / Analyze (python) (push) Canceled after 0s
pre-commit / pre-commit (push) Canceled after 0s
Multi-Arch CI / setup (push) Canceled after 0s
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Setup (Multi-Arch) / setup (push) Canceled after 0s
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Multi-Arch CI / CI Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
Flatten subprojects into a single base monorepo
2026-09-02 16:34:47 -07:00

291 lines
10 KiB
C++

/*
* Copyright 2008-2013 NVIDIA Corporation
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
/*! \file logical.h
* \brief Logical operations on ranges
*/
#pragma once
#include <thrust/detail/config.h>
#if defined(_CCCL_IMPLICIT_SYSTEM_HEADER_GCC)
# pragma GCC system_header
#elif defined(_CCCL_IMPLICIT_SYSTEM_HEADER_CLANG)
# pragma clang system_header
#elif defined(_CCCL_IMPLICIT_SYSTEM_HEADER_MSVC)
# pragma system_header
#endif // no system header
#include <thrust/detail/execution_policy.h>
THRUST_NAMESPACE_BEGIN
/*! \addtogroup reductions
* \{
* \addtogroup logical
* \ingroup reductions
* \{
*/
/*! \p all_of determines whether all elements in a range satisfy a predicate.
* Specifically, \p all_of returns \c true if <tt>pred(*i)</tt> is \c true
* for every iterator \c i in the range <tt>[first, last)</tt> and
* \c false otherwise.
*
* The algorithm's execution is parallelized as determined by \p exec.
*
* \param exec The execution policy to use for parallelization.
* \param first The beginning of the sequence.
* \param last The end of the sequence.
* \param pred A predicate used to test range elements.
* \return \c true, if all elements satisfy the predicate; \c false, otherwise.
*
* \tparam DerivedPolicy The name of the derived execution policy.
* \tparam InputIterator is a model of <a href="https://en.cppreference.com/w/cpp/iterator/input_iterator">Input
* Iterator</a>, \tparam Predicate must be a model of <a
* href="https://en.cppreference.com/w/cpp/concepts/predicate">Predicate</a>.
*
* \code
* #include <thrust/logical.h>
* #include <thrust/functional.h>
* #include <thrust/execution_policy.h>
* ...
* bool A[3] = {true, true, false};
*
* thrust::all_of(thrust::host, A, A + 2, ::internal::identity{}); // returns true
* thrust::all_of(thrust::host, A, A + 3, ::internal::identity{}); // returns false
*
* // empty range
* thrust::all_of(thrust::host, A, A, ::internal::identity{}); // returns false
*
* \endcode
*
* \see any_of
* \see none_of
* \see transform_reduce
*/
template <typename DerivedPolicy, typename InputIterator, typename Predicate>
THRUST_HOST_DEVICE bool
all_of(const thrust::detail::execution_policy_base<DerivedPolicy>& exec,
InputIterator first,
InputIterator last,
Predicate pred);
/*! \p all_of determines whether all elements in a range satisfy a predicate.
* Specifically, \p all_of returns \c true if <tt>pred(*i)</tt> is \c true
* for every iterator \c i in the range <tt>[first, last)</tt> and
* \c false otherwise.
*
* \param first The beginning of the sequence.
* \param last The end of the sequence.
* \param pred A predicate used to test range elements.
* \return \c true, if all elements satisfy the predicate; \c false, otherwise.
*
* \tparam InputIterator is a model of <a href="https://en.cppreference.com/w/cpp/iterator/input_iterator">Input
* Iterator</a>, \tparam Predicate must be a model of <a
* href="https://en.cppreference.com/w/cpp/concepts/predicate">Predicate</a>.
*
* \code
* #include <thrust/logical.h>
* #include <thrust/functional.h>
* ...
* bool A[3] = {true, true, false};
*
* thrust::all_of(A, A + 2, ::internal::identity{}); // returns true
* thrust::all_of(A, A + 3, ::internal::identity{}); // returns false
*
* // empty range
* thrust::all_of(A, A, ::internal::identity{}); // returns false
*
* \endcode
*
* \see any_of
* \see none_of
* \see transform_reduce
*/
template <typename InputIterator, typename Predicate>
bool all_of(InputIterator first, InputIterator last, Predicate pred);
/*! \p any_of determines whether any element in a range satisfies a predicate.
* Specifically, \p any_of returns \c true if <tt>pred(*i)</tt> is \c true
* for any iterator \c i in the range <tt>[first, last)</tt> and
* \c false otherwise.
*
* The algorithm's execution is parallelized as determined by \p exec.
*
* \param exec The execution policy to use for parallelization.
* \param first The beginning of the sequence.
* \param last The end of the sequence.
* \param pred A predicate used to test range elements.
* \return \c true, if any element satisfies the predicate; \c false, otherwise.
*
* \tparam DerivedPolicy The name of the derived execution policy.
* \tparam InputIterator is a model of <a href="https://en.cppreference.com/w/cpp/iterator/input_iterator">Input
* Iterator</a>, \tparam Predicate must be a model of <a
* href="https://en.cppreference.com/w/cpp/concepts/predicate">Predicate</a>.
*
* \code
* #include <thrust/logical.h>
* #include <thrust/functional.h>
* #include <thrust/execution_policy.h>
* ...
* bool A[3] = {true, true, false};
*
* thrust::any_of(thrust::host, A, A + 2, ::internal::identity{}); // returns true
* thrust::any_of(thrust::host, A, A + 3, ::internal::identity{}); // returns true
*
* thrust::any_of(thrust::host, A + 2, A + 3, ::internal::identity{}); // returns false
*
* // empty range
* thrust::any_of(thrust::host, A, A, ::internal::identity{}); // returns false
* \endcode
*
* \see all_of
* \see none_of
* \see transform_reduce
*/
template <typename DerivedPolicy, typename InputIterator, typename Predicate>
THRUST_HOST_DEVICE bool
any_of(const thrust::detail::execution_policy_base<DerivedPolicy>& exec,
InputIterator first,
InputIterator last,
Predicate pred);
/*! \p any_of determines whether any element in a range satisfies a predicate.
* Specifically, \p any_of returns \c true if <tt>pred(*i)</tt> is \c true
* for any iterator \c i in the range <tt>[first, last)</tt> and
* \c false otherwise.
*
* \param first The beginning of the sequence.
* \param last The end of the sequence.
* \param pred A predicate used to test range elements.
* \return \c true, if any element satisfies the predicate; \c false, otherwise.
*
* \tparam InputIterator is a model of <a href="https://en.cppreference.com/w/cpp/iterator/input_iterator">Input
* Iterator</a>, \tparam Predicate must be a model of <a
* href="https://en.cppreference.com/w/cpp/concepts/predicate">Predicate</a>.
*
* \code
* #include <thrust/logical.h>
* #include <thrust/functional.h>
* ...
* bool A[3] = {true, true, false};
*
* thrust::any_of(A, A + 2, ::internal::identity{}); // returns true
* thrust::any_of(A, A + 3, ::internal::identity{}); // returns true
*
* thrust::any_of(A + 2, A + 3, ::internal::identity{}); // returns false
*
* // empty range
* thrust::any_of(A, A, ::internal::identity{}); // returns false
* \endcode
*
* \see all_of
* \see none_of
* \see transform_reduce
*/
template <typename InputIterator, typename Predicate>
bool any_of(InputIterator first, InputIterator last, Predicate pred);
/*! \p none_of determines whether no element in a range satisfies a predicate.
* Specifically, \p none_of returns \c true if there is no iterator \c i in
* the range <tt>[first, last)</tt> such that <tt>pred(*i)</tt> is \c true,
* and \c false otherwise.
*
* The algorithm's execution is parallelized as determined by \p exec.
*
* \param exec The execution policy to use for parallelization.
* \param first The beginning of the sequence.
* \param last The end of the sequence.
* \param pred A predicate used to test range elements.
* \return \c true, if no element satisfies the predicate; \c false, otherwise.
*
* \tparam DerivedPolicy The name of the derived execution policy.
* \tparam InputIterator is a model of <a href="https://en.cppreference.com/w/cpp/iterator/input_iterator">Input
* Iterator</a>, \tparam Predicate must be a model of <a
* href="https://en.cppreference.com/w/cpp/concepts/predicate">Predicate</a>.
*
* \code
* #include <thrust/logical.h>
* #include <thrust/functional.h>
* #include <thrust/execution_policy.h>
* ...
* bool A[3] = {true, true, false};
*
* thrust::none_of(thrust::host, A, A + 2, ::internal::identity{}); // returns false
* thrust::none_of(thrust::host, A, A + 3, ::internal::identity{}); // returns false
*
* thrust::none_of(thrust::host, A + 2, A + 3, ::internal::identity{}); // returns true
*
* // empty range
* thrust::none_of(thrust::host, A, A, ::internal::identity{}); // returns true
* \endcode
*
* \see all_of
* \see any_of
* \see transform_reduce
*/
template <typename DerivedPolicy, typename InputIterator, typename Predicate>
THRUST_HOST_DEVICE bool
none_of(const thrust::detail::execution_policy_base<DerivedPolicy>& exec,
InputIterator first,
InputIterator last,
Predicate pred);
/*! \p none_of determines whether no element in a range satisfies a predicate.
* Specifically, \p none_of returns \c true if there is no iterator \c i in
* the range <tt>[first, last)</tt> such that <tt>pred(*i)</tt> is \c true,
* and \c false otherwise.
*
* \param first The beginning of the sequence.
* \param last The end of the sequence.
* \param pred A predicate used to test range elements.
* \return \c true, if no element satisfies the predicate; \c false, otherwise.
*
* \tparam InputIterator is a model of <a href="https://en.cppreference.com/w/cpp/iterator/input_iterator">Input
* Iterator</a>, \tparam Predicate must be a model of <a
* href="https://en.cppreference.com/w/cpp/concepts/predicate">Predicate</a>.
*
* \code
* #include <thrust/logical.h>
* #include <thrust/functional.h>
* ...
* bool A[3] = {true, true, false};
*
* thrust::none_of(A, A + 2, ::internal::identity{}); // returns false
* thrust::none_of(A, A + 3, ::internal::identity{}); // returns false
*
* thrust::none_of(A + 2, A + 3, ::internal::identity{}); // returns true
*
* // empty range
* thrust::none_of(A, A, ::internal::identity{}); // returns true
* \endcode
*
* \see all_of
* \see any_of
* \see transform_reduce
*/
template <typename InputIterator, typename Predicate>
bool none_of(InputIterator first, InputIterator last, Predicate pred);
/*! \} // end logical
* \} // end reductions
*/
THRUST_NAMESPACE_END
#include <thrust/detail/logical.inl>