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 "Evolution/Protocols.hpp"
       9              : #include "PointwiseFunctions/AnalyticSolutions/AnalyticSolution.hpp"
      10              : #include "Utilities/ProtocolHelpers.hpp"
      11              : #include "Utilities/TypeTraits.hpp"
      12              : 
      13              : namespace evolution {
      14              : /// @{
      15              : /// Helper metafunction that checks if the class `T` is marked as numeric
      16              : /// initial data.
      17              : template <typename T>
      18            1 : using is_numeric_initial_data =
      19              :     tt::conforms_to<T, protocols::NumericInitialData>;
      20              : 
      21              : template <typename T>
      22            1 : constexpr bool is_numeric_initial_data_v =
      23              :     tt::conforms_to_v<T, protocols::NumericInitialData>;
      24              : /// @}
      25              : }  // namespace evolution