#include <ikarus/utils/concepts.hh>
template<class DC>
typename DC::GridView;
{ dc.update() } -> std::same_as<void>;
{ dc.numPoints() } -> std::convertible_to<std::uint64_t>;
{ dc.numCells() } -> std::convertible_to<std::uint64_t>;
{ dc.gridView() } -> std::same_as<const typename DC::GridView&>;
}
Definition: concepts.hh:572