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