Line data    Source code

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