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             : // note that std::is_convertible is used in the following type aliases as it
       9             : // will not match private base classes (unlike std::is_base_of) and some
      10             : // analytic data privately inherits from an analytic solution
      11             : 
      12             : /// \ingroup AnalyticSolutionsGroup
      13             : /// \brief Empty base class for marking analytic solutions.
      14           1 : struct MarkAsAnalyticSolution {};
      15             : 
      16             : /// \ingroup AnalyticSolutionsGroup
      17             : /// \brief Check if `T` is an analytic solution
      18             : template <typename T>
      19           1 : using is_analytic_solution =
      20             :     typename std::is_convertible<T*, MarkAsAnalyticSolution*>;
      21             : 
      22             : /// \ingroup AnalyticSolutionsGroup
      23             : /// \brief `true` if `T` is an analytic solution
      24             : template <typename T>
      25           1 : constexpr bool is_analytic_solution_v =
      26             :     std::is_convertible_v<T*, MarkAsAnalyticSolution*>;