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 AnalyticDataGroup
      13              : /// \brief Empty base class for marking analytic data.
      14            1 : struct MarkAsAnalyticData {};
      15              : 
      16              : /// \ingroup AnalyticDataGroup
      17              : /// \brief Check if `T` is an analytic data
      18              : template <typename T>
      19            1 : using is_analytic_data = typename std::is_convertible<T*, MarkAsAnalyticData*>;
      20              : 
      21              : /// \ingroup AnalyticDataGroup
      22              : /// \brief `true` if `T` is an analytic data
      23              : template <typename T>
      24            1 : constexpr bool is_analytic_data_v =
      25              :     std::is_convertible_v<T*, MarkAsAnalyticData*>;