version 0.4.1
Ikarus::Concepts::DataCollector Concept Reference

#include <ikarus/utils/concepts.hh>

Concept definition

template<class DC>
concept Ikarus::Concepts::DataCollector = requires(DC 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