Line data    Source code

       1           0 : // Distributed under the MIT License.
       2             : // See LICENSE.txt for details.
       3             : 
       4             : #pragma once
       5             : 
       6             : #include <cstdint>
       7             : #include <type_traits>
       8             : 
       9             : #include "Utilities/TMPL.hpp"
      10             : 
      11             : /// \cond
      12             : class AdaptiveSteppingDiagnostics;
      13             : class TimeDelta;
      14             : class TimeStepId;
      15             : class TimeStepper;
      16             : namespace Tags {
      17             : struct AdaptiveSteppingDiagnostics;
      18             : template <typename Tag>
      19             : struct Next;
      20             : struct StepperErrorEstimatesEnabled;
      21             : struct StepNumberWithinSlab;
      22             : struct Time;
      23             : struct TimeStep;
      24             : struct TimeStepId;
      25             : template <typename StepperInterface>
      26             : struct TimeStepper;
      27             : }  // namespace Tags
      28             : namespace gsl {
      29             : template <class T>
      30             : class not_null;
      31             : }  // namespace gsl
      32             : /// \endcond
      33             : 
      34             : namespace AdvanceTime_detail {
      35             : void apply(gsl::not_null<TimeStepId*> time_id,
      36             :            gsl::not_null<TimeStepId*> next_time_id,
      37             :            gsl::not_null<TimeDelta*> time_step, gsl::not_null<double*> time,
      38             :            gsl::not_null<uint64_t*> step_number_within_slab,
      39             :            gsl::not_null<AdaptiveSteppingDiagnostics*> diags,
      40             :            const TimeStepper& time_stepper, bool using_error_control);
      41             : }  // namespace AdvanceTime_detail
      42             : 
      43             : /// \ingroup TimeGroup
      44             : /// \brief Advance time one substep
      45             : ///
      46             : /// Replaces the time state with the `Tags::Next` values, advances the
      47             : /// `Tags::Next` values, and sets `Tags::Time` to the new substep time.
      48             : template <template <typename> typename CacheTagPrefix = std::type_identity_t>
      49           1 : struct AdvanceTime {
      50           0 :   using return_tags =
      51             :       tmpl::list<Tags::TimeStepId, Tags::Next<Tags::TimeStepId>, Tags::TimeStep,
      52             :                  Tags::Time, Tags::StepNumberWithinSlab,
      53             :                  Tags::AdaptiveSteppingDiagnostics>;
      54           0 :   using argument_tags =
      55             :       tmpl::list<CacheTagPrefix<Tags::TimeStepper<TimeStepper>>,
      56             :                  Tags::StepperErrorEstimatesEnabled>;
      57             : 
      58           0 :   static constexpr auto apply = &AdvanceTime_detail::apply;
      59             : };