alpaka::concepts::IndexVec Concept Reference

Check whether the specified type is a multidimensional index. More...

#include <IndexVec.hpp>

Concept definition

    template<typename T, typename T_IndexType, uint32_t T_dim>
    concept IndexVec = requires {
        requires concepts::Vector<T, alpaka::NotRequired, T_dim>;
        requires isLosslesslyConvertible_v<typename T::type, T_IndexType>;
    }

Detailed Description

Check whether the specified type is a multidimensional index.

The type must fulfill alpaka::concepts::Vector, and its type must be convertible to an expected index type without loss of precision.

If you observe that nvcc segfaults during compile, and you used this concept in the function signature, replace it with a static assert inside the function body. see SimdPtr::operator[]().

Template Parameters

T_IndexType	expected index type
T_dim	expected dimension

Definition at line 22 of file IndexVec.hpp.