/usr/include/oneapi/tbb/detail
Edit: /usr/include/oneapi/tbb/detail/_range_common.h (4643B)
/*
Copyright (c) 2005-2021 Intel 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.
*/
#ifndef __TBB_detail__range_common_H
#define __TBB_detail__range_common_H
#include "_config.h"
#include "_utils.h"
#if __TBB_CPP20_CONCEPTS_PRESENT
#include
#include
#endif
namespace tbb {
namespace detail {
inline namespace d0 {
//! Dummy type that distinguishes splitting constructor from copy constructor.
/**
* See description of parallel_for and parallel_reduce for example usages.
* @ingroup algorithms
*/
class split {};
//! Type enables transmission of splitting proportion from partitioners to range objects
/**
* In order to make use of such facility Range objects must implement
* splitting constructor with this type passed.
*/
class proportional_split : no_assign {
public:
proportional_split(size_t _left = 1, size_t _right = 1) : my_left(_left), my_right(_right) { }
size_t left() const { return my_left; }
size_t right() const { return my_right; }
// used when range does not support proportional split
explicit operator split() const { return split(); }
private:
size_t my_left, my_right;
};
template
struct range_split_object_provider {
template
static split get( PartitionerSplitType& ) { return split(); }
};
template
struct range_split_object_provider::value>::type> {
template
static PartitionerSplitType& get( PartitionerSplitType& split_obj ) { return split_obj; }
};
template
auto get_range_split_object( PartitionerSplitType& split_obj )
-> decltype(range_split_object_provider::get(split_obj)) {
return range_split_object_provider::get(split_obj);
}
#if __TBB_CPP20_CONCEPTS_PRESENT
template
using range_iterator_type = decltype(std::begin(std::declval()));
template
using iterator_reference_type = typename std::iterator_traits::reference;
template
using range_reference_type = iterator_reference_type>;
template
concept blocked_range_value = std::copyable &&
requires( const std::remove_reference_t& lhs, const std::remove_reference_t& rhs ) {
{ lhs < rhs } -> relaxed_convertible_to;
{ lhs - rhs } -> std::convertible_to;
{ lhs + (rhs - lhs) } -> std::convertible_to;
};
template
concept splittable = std::constructible_from;
template
concept tbb_range = std::copy_constructible &&
splittable &&
requires( const std::remove_reference_t& range ) {
{ range.empty() } -> relaxed_convertible_to;
{ range.is_divisible() } -> relaxed_convertible_to;
};
template
constexpr bool iterator_concept_helper( std::input_iterator_tag ) {
return std::input_iterator;
}
template
constexpr bool iterator_concept_helper( std::random_access_iterator_tag ) {
return std::random_access_iterator;
}
template
concept iterator_satisfies = requires (IteratorTag tag) {
requires iterator_concept_helper(tag);
};
template
concept container_based_sequence = requires( Sequence& seq ) {
{ std::begin(seq) } -> iterator_satisfies;
{ std::end(seq) } -> iterator_satisfies;
};
#endif // __TBB_CPP20_CONCEPTS_PRESENT
} // namespace d0
} // namespace detail
} // namespace tbb
#endif // __TBB_detail__range_common_H