Concept for a randomly-indexable list of process-local indices, as used for the cell lists passed to the assembly kernels. More...

#include <traits.h>

Concept definition

template<class C>
concept dolfinx::fem::IndexList =  std::ranges::random_access_range<C> and std::ranges::sized_range<C>
      and std::same_as<std::ranges::range_value_t<C>, std::int32_t>
      and requires(const std::remove_reference_t<C>& cells, std::size_t i) {
            { cells[i] } -> std::convertible_to<std::int32_t>;
          }

Detailed Description

Concept for a randomly-indexable list of process-local indices, as used for the cell lists passed to the assembly kernels.

Satisfied by std::span<const std::int32_t>, by a span or array of static extent, and by a generated range such as std::views::iota.