Line data    Source code

       1           0 : // Distributed under the MIT License.
       2             : // See LICENSE.txt for details.
       3             : 
       4             : #pragma once
       5             : 
       6             : #include <concepts>
       7             : #include <cstddef>
       8             : #include <string>
       9             : #include <unordered_map>
      10             : 
      11             : #include "DataStructures/DataBox/ConstructibleFromTags.hpp"
      12             : #include "Utilities/Serialization/Serializable.hpp"
      13             : 
      14             : /// \cond
      15             : template <size_t VolumeDim>
      16             : class ElementId;
      17             : /// \endcond
      18             : 
      19             : namespace evolution::dg {
      20             : /// Concept for a class usable in `EqualRateRegions`.
      21             : template <typename T, size_t Dim>
      22             : concept equal_rate_region_generator =
      23             :     std::default_initializable<T> and std::movable<T> and serializable<T> and
      24             :     db::constructible_from_tags<T> and
      25             :     requires(const T gen, const size_t region_id,
      26             :              const ElementId<Dim> element_id) {
      27             :       {
      28             :         gen.regions()
      29             :       } -> std::same_as<std::unordered_map<std::string, size_t>>;
      30             :       { gen.is_in_region(region_id, element_id) } -> std::same_as<bool>;
      31             :     };
      32             : }  // namespace evolution::dg