dist_expr_traits.hpp

Go to the documentation of this file.

#pragma once
#if __cplusplus <= 201703L
#include <autoppl/util/traits/concept.hpp>
#endif
#include <autoppl/util/traits/type_traits.hpp>
#include <autoppl/util/traits/var_traits.hpp>
#include <cstdint>
#include <cstddef>
 
namespace ppl {
namespace util {
 
using dist_value_t = double;
using cont_param_t = double;
using disc_param_t = int32_t;
 
template <class T>
struct DistExprBase : BaseCRTP<T>
{ 
    using BaseCRTP<T>::self;
    using dist_value_t = util::dist_value_t;
};
 
template <class T>
inline constexpr bool dist_expr_is_base_of_v =
    std::is_base_of_v<DistExprBase<T>, T>;
 
template <class DistExprType>
struct dist_expr_traits
{
    using value_t = typename DistExprType::value_t;
    using dist_value_t = typename DistExprType::dist_value_t;
    static constexpr bool is_cont_v = util::is_cont_v<value_t>; 
    static constexpr bool is_disc_v = util::is_disc_v<value_t>; 
 
    static_assert(is_cont_v == !is_disc_v,
                  PPL_CONT_XOR_DISC); 
};
 
#if __cplusplus <= 201703L
 
template <class T>
inline constexpr bool is_dist_expr_v = 
    dist_expr_is_base_of_v<T> &&
    has_type_value_t_v<T> &&
    has_type_dist_value_t_v<T>
    ;
 
#else
 
template <class T>
concept dist_expr_c = 
    dist_expr_is_base_of_v<T> &&
    requires () {
        typename dist_expr_traits<T>::value_t;
        typename dist_expr_traits<T>::dist_value_t;
        typename dist_expr_traits<T>::index_t;
    }
    ;
 
template <class T>
concept is_dist_expr_v = dist_expr_c<T>;
 
#endif
 
} // namespace util
} // namespace ppl