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 "Utilities/TMPL.hpp"
       9              : 
      10              : namespace elliptic {
      11              : namespace detail {
      12              : template <typename System, typename = std::void_t<>>
      13              : struct sources_computer_linearized {
      14              :   using type = typename System::sources_computer;
      15              : };
      16              : template <typename System>
      17              : struct sources_computer_linearized<
      18              :     System, std::void_t<typename System::sources_computer_linearized>> {
      19              :   using type = typename System::sources_computer_linearized;
      20              : };
      21              : struct NoSourcesComputer {
      22              :   using argument_tags = tmpl::list<>;
      23              :   using const_global_cache_tags = tmpl::list<>;
      24              : };
      25              : }  // namespace detail
      26              : 
      27              : /// The `System::sources_computer` or the `System::sources_computer_linearized`,
      28              : /// depending on the `Linearized` parameter. If the system has no
      29              : /// `sources_computer_linearized` alias it is assumed to be linear, so the
      30              : /// `System::sources_computer` is returned either way.
      31              : template <typename System, bool Linearized>
      32            1 : using get_sources_computer = tmpl::conditional_t<
      33              :     Linearized, typename detail::sources_computer_linearized<System>::type,
      34              :     typename System::sources_computer>;
      35              : 
      36              : /// The `argument_tags` of either the `System::sources_computer` or the
      37              : /// `System::sources_computer_linearized`, depending on the `Linearized`
      38              : /// parameter, or an empty list if the sources computer is `void`.
      39              : template <typename System, bool Linearized>
      40            1 : using get_sources_argument_tags = typename tmpl::conditional_t<
      41              :     std::is_same_v<get_sources_computer<System, Linearized>, void>,
      42              :     detail::NoSourcesComputer,
      43              :     get_sources_computer<System, Linearized>>::argument_tags;
      44              : 
      45              : /// The `const_global_cache_tags` of either the `System::sources_computer` or
      46              : /// the `System::sources_computer_linearized`, depending on the `Linearized`
      47              : /// parameter, or an empty list if the sources computer is `void`.
      48              : template <typename System, bool Linearized>
      49            1 : using get_sources_const_global_cache_tags = typename tmpl::conditional_t<
      50              :     std::is_same_v<get_sources_computer<System, Linearized>, void>,
      51              :     detail::NoSourcesComputer,
      52              :     get_sources_computer<System, Linearized>>::const_global_cache_tags;
      53              : }  // namespace elliptic