Line data    Source code

       1           0 : // Distributed under the MIT License.
       2             : // See LICENSE.txt for details.
       3             : 
       4             : #pragma once
       5             : 
       6             : #include <type_traits>
       7             : 
       8             : #include "DataStructures/DataBox/TagTraits.hpp"
       9             : 
      10             : namespace Parallel {
      11             : namespace initialization_tag_detail {
      12             : // This check should be implementable without all these structs by
      13             : // using SFINAE directly in the concept, but that causes clang 13 to
      14             : // segfault.
      15             : template <template <typename> typename>
      16             : struct templated_check;
      17             : 
      18             : template <typename Tag, typename = std::void_t<>>
      19             : struct has_templated_option_tags : std::false_type {};
      20             : 
      21             : template <typename Tag>
      22             : struct has_templated_option_tags<
      23             :     Tag, std::void_t<templated_check<Tag::template option_tags>>>
      24             :     : std::true_type {};
      25             : }  // namespace initialization_tag_detail
      26             : 
      27             : /*!
      28             :  * \ingroup ParallelGroup
      29             :  * Concept for an initialization tag with `pass_metavariables` true.
      30             :  */
      31             : template <typename Tag>
      32             : concept templated_initialization_tag =
      33             :     db::simple_tag<Tag> and Tag::pass_metavariables and
      34             :     initialization_tag_detail::has_templated_option_tags<Tag>::value;
      35             : 
      36             : /*!
      37             :  * \ingroup ParallelGroup
      38             :  * Concept for an initialization tag with `pass_metavariables` false.
      39             :  */
      40             : template <typename Tag>
      41             : concept untemplated_initialization_tag =
      42             :     db::simple_tag<Tag> and not Tag::pass_metavariables and
      43             :     requires { typename Tag::option_tags; };
      44             : 
      45             : /*!
      46             :  * \ingroup ParallelGroup
      47             :  * Concept for an initialization tag.
      48             :  */
      49             : template <typename Tag>
      50             : concept initialization_tag =
      51             :     templated_initialization_tag<Tag> or untemplated_initialization_tag<Tag>;
      52             : }  // namespace Parallel