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/Protocols/Mutator.hpp"
       7              : #include "Evolution/Systems/GrMhd/ValenciaDivClean/Tags.hpp"
       8              : #include "Utilities/ProtocolHelpers.hpp"
       9              : #include "Utilities/TMPL.hpp"
      10              : 
      11              : /// \cond
      12              : namespace gsl {
      13              : template <typename T>
      14              : class not_null;
      15              : }  // namespace gsl
      16              : /// \endcond
      17              : 
      18              : namespace grmhd::ValenciaDivClean {
      19              : /*!
      20              :  * \brief Mutator used with `Initialization::Actions::AddSimpleTags` to
      21              :  * initialize the `VariablesNeededFixing` to `false`
      22              :  */
      23            1 : struct SetVariablesNeededFixingToFalse
      24              :     : tt::ConformsTo<db::protocols::Mutator> {
      25            0 :   using return_tags = tmpl::list<Tags::VariablesNeededFixing>;
      26            0 :   using argument_tags = tmpl::list<>;
      27              : 
      28            0 :   static void apply(gsl::not_null<bool*> variables_needed_fixing);
      29              : };
      30              : }  // namespace grmhd::ValenciaDivClean