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 "DataStructures/Variables.hpp"
       8             : #include "Evolution/Imex/Protocols/ImplicitSector.hpp"
       9             : #include "Time/History.hpp"
      10             : #include "Utilities/ProtocolHelpers.hpp"
      11             : 
      12           1 : namespace imex::Tags {
      13             : /// Tag for the history of one of the implicit sectors of an IMEX
      14             : /// system.
      15             : template <typename ImplicitSector>
      16           1 : struct ImplicitHistory : db::SimpleTag {
      17             :   static_assert(
      18             :       tt::assert_conforms_to_v<ImplicitSector, protocols::ImplicitSector>);
      19           0 :   using type =
      20             :       TimeSteppers::History<Variables<typename ImplicitSector::tensors>>;
      21             : };
      22             : }  // namespace imex::Tags