Line data    Source code

       1            0 : // Distributed under the MIT License.
       2              : // See LICENSE.txt for details.
       3              : 
       4              : #pragma once
       5              : 
       6              : #include "DataStructures/DataBox/Tag.hpp"
       7              : #include "Time/History.hpp"
       8              : #include "Utilities/TMPL.hpp"
       9              : #include "Utilities/TypeTraits/IsA.hpp"
      10              : 
      11              : namespace Tags {
      12              : /// \ingroup DataBoxTagsGroup
      13              : /// \ingroup TimeGroup
      14              : /// Tag for the TimeStepper history
      15              : ///
      16              : /// \tparam Tag tag for the variables
      17              : template <typename Tag>
      18            1 : struct HistoryEvolvedVariables : db::SimpleTag {
      19            0 :   using type = TimeSteppers::History<typename Tag::type>;
      20              : };
      21              : 
      22              : /// \ingroup TimeGroup
      23              : /// From a list of tags `TagList`, extract all tags that are template
      24              : /// specializations of `HistoryEvolvedVariables`.
      25              : template <typename TagList>
      26            1 : using get_all_history_tags =
      27              :     tmpl::filter<TagList, tt::is_a<::Tags::HistoryEvolvedVariables, tmpl::_1>>;
      28              : }  // namespace Tags