SparsityImplementation Concept Reference

Concept definition

template<typename T>
concept SparsityImplementation = requires(T sp, int i) {
  { sp.graph() };
  requires std::forward_iterator<typename decltype(sp.graph().first)::iterator>;
  requires std::convertible_to<std::int32_t,
                               typename decltype(sp.graph().first)::value_type>;
  requires std::forward_iterator<
      typename decltype(sp.graph().second)::iterator>;
  requires std::convertible_to<
      std::int64_t, typename decltype(sp.graph().second)::value_type>;
 
  { sp.block_size(i) } -> std::same_as<int>;
  {
    sp.index_map(i)
  } -> std::same_as<std::shared_ptr<const dolfinx::common::IndexMap>>;
  { sp.column_index_map() } -> std::same_as<dolfinx::common::IndexMap>;
}