Line data    Source code

       1           0 : // Distributed under the MIT License.
       2             : // See LICENSE.txt for details.
       3             : 
       4             : #pragma once
       5             : 
       6             : #include <array>
       7             : #include <cstddef>
       8             : #include <memory>
       9             : #include <string>
      10             : #include <type_traits>
      11             : #include <unordered_map>
      12             : 
      13             : #include "Domain/FunctionsOfTime/FunctionOfTime.hpp"
      14             : #include "Utilities/TypeTraits/CreateIsCallable.hpp"
      15             : #include "Utilities/TypeTraits/IsCallable.hpp"
      16             : 
      17             : namespace domain {
      18             : /// Check if the calls to the coordinate map and its inverse map are
      19             : /// time-dependent
      20             : template <typename T>
      21           1 : using is_map_time_dependent_t = tt::is_callable_t<
      22             :     T, std::array<std::decay_t<T>, std::decay_t<T>::dim>, double,
      23             :     std::unordered_map<
      24             :         std::string, std::unique_ptr<domain::FunctionsOfTime::FunctionOfTime>>>;
      25             : 
      26             : /// Check if the calls to the coordinate map and its inverse map are
      27             : /// time-dependent
      28             : template <typename T>
      29           1 : constexpr bool is_map_time_dependent_v = is_map_time_dependent_t<T>::value;
      30             : 
      31             : /// @{
      32             : /// Check if the calls to the coordinate map and its inverse map are
      33             : /// time-dependent
      34             : template <typename T>
      35             : concept TimeDependentMap = is_map_time_dependent_v<T>;
      36             : template <typename T>
      37             : concept TimeIndependentMap = not is_map_time_dependent_v<T>;
      38             : /// @}
      39             : 
      40             : namespace detail {
      41             : CREATE_IS_CALLABLE(jacobian)
      42             : }  // namespace detail
      43             : 
      44             : /// Check if the calls to the Jacobian and inverse Jacobian of the coordinate
      45             : /// map are time-dependent
      46             : template <typename Map, typename T>
      47           1 : using is_jacobian_time_dependent_t = detail::is_jacobian_callable_t<
      48             :     Map, std::array<std::decay_t<T>, std::decay_t<Map>::dim>, double,
      49             :     std::unordered_map<
      50             :         std::string, std::unique_ptr<domain::FunctionsOfTime::FunctionOfTime>>>;
      51             : 
      52             : /// Check if the calls to the Jacobian and inverse Jacobian of the coordinate
      53             : /// map are time-dependent
      54             : template <typename Map, typename T>
      55           1 : constexpr bool is_jacobian_time_dependent_v =
      56             :     is_jacobian_time_dependent_t<Map, T>::value;
      57             : }  // namespace domain