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