Line data    Source code

       1           0 : // Distributed under the MIT License.
       2             : // See LICENSE.txt for details.
       3             : 
       4             : #pragma once
       5             : 
       6             : #include <array>
       7             : #include <optional>
       8             : #include <string>
       9             : 
      10             : #include "DataStructures/DataBox/Tag.hpp"
      11             : #include "DataStructures/DataBox/TagName.hpp"
      12             : #include "Time/StepperErrorEstimate.hpp"
      13             : 
      14             : namespace Tags {
      15             : /// \ingroup DataBoxTagsGroup
      16             : /// \ingroup TimeGroup
      17             : /// \brief Tag for the stepper error measures.
      18             : template <typename Tag>
      19           1 : struct StepperErrors : db::PrefixTag, db::SimpleTag {
      20           0 :   static std::string name() {
      21             :     return "StepperErrors(" + db::tag_name<Tag>() + ")";
      22             :   }
      23           0 :   using type = std::array<std::optional<StepperErrorEstimate>, 2>;
      24           0 :   using tag = Tag;
      25             : };
      26             : }  // namespace Tags