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/PrefixHelpers.hpp"
       7             : #include "DataStructures/DataBox/Prefixes.hpp"
       8             : #include "Utilities/TMPL.hpp"
       9             : #include "Utilities/TypeTraits/IsA.hpp"
      10             : 
      11             : /// \cond
      12             : class TimeStepId;
      13             : namespace Tags {
      14             : template <typename Tag>
      15             : struct HistoryEvolvedVariables;
      16             : struct TimeStepId;
      17             : }  // namespace Tags
      18             : namespace TimeSteppers {
      19             : template <typename Vars>
      20             : class History;
      21             : }  // namespace TimeSteppers
      22             : namespace gsl {
      23             : template <class T>
      24             : class not_null;
      25             : }  // namespace gsl
      26             : /// \endcond
      27             : 
      28             : /// \ingroup TimeGroup
      29             : /// Records the variables and their time derivatives in the time stepper
      30             : /// history.
      31             : /// @{
      32             : template <typename System,
      33             :           typename = tmpl::conditional_t<
      34             :               tt::is_a_v<tmpl::list, typename System::variables_tag>,
      35             :               typename System::variables_tag,
      36             :               tmpl::list<typename System::variables_tag>>>
      37           1 : struct RecordTimeStepperData;
      38             : 
      39             : template <typename System, typename... VariablesTags>
      40           0 : struct RecordTimeStepperData<System, tmpl::list<VariablesTags...>> {
      41           0 :   using return_tags =
      42             :       tmpl::list<Tags::HistoryEvolvedVariables<VariablesTags>...>;
      43           0 :   using argument_tags =
      44             :       tmpl::list<Tags::TimeStepId, VariablesTags...,
      45             :                  db::add_tag_prefix<Tags::dt, VariablesTags>...>;
      46             : 
      47           0 :   static void apply(
      48             :       const gsl::not_null<
      49             :           TimeSteppers::History<typename VariablesTags::type>*>... histories,
      50             :       const TimeStepId& time_step_id,
      51             :       const typename VariablesTags::type&... vars,
      52             :       const typename db::add_tag_prefix<Tags::dt,
      53             :                                         VariablesTags>::type&... dt_vars);
      54             : };
      55             : /// @}