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