SFINAE.hpp

Go to the documentation of this file.

#pragma once
#include <type_traits>
 
 
namespace Eigen {
    //forward declaration for SFINAE
    template<typename>
    class MatrixBase;
 
    template<typename>
    class SparseMatrixBase;
 
    template<typename, int, typename>
    class SparseMatrix;
}
 
 
namespace mackey {
 
    //forward declaration for SFINAE
    template<int64_t, typename>
    class Z_mod;
 
    
    namespace SFINAE {
 
        //If the test functions are not public then Graph CRTP may fail leading to segfault
    
        constexpr std::false_type test_Dense(...);
 
        template<typename T>
        constexpr std::true_type test_Dense(Eigen::MatrixBase<T>*);
 
        constexpr std::false_type test_Sparse(...);
 
        template <typename T>
        constexpr std::true_type test_Sparse(Eigen::SparseMatrixBase<T>*);
 
        constexpr std::false_type test_SRM(...);
 
        template <typename T, typename S>
        constexpr std::true_type test_SRM(Eigen::SparseMatrix<T,1,S>*);
 
        constexpr std::false_type test_finite_cyclic(...);
 
        template <int64_t N, typename T>
        constexpr std::true_type test_finite_cyclic(Z_mod<N,T>);
 
        template<typename T>
        constexpr std::false_type test_operator_evaluation_int_int(...);
 
        template<typename T>
        constexpr decltype(std::declval<T>().operator()(std::declval<int>(), std::declval<int>()), std::true_type()) test_operator_evaluation_int_int(int);
    
        template<typename T>
        using is_Dense = decltype(test_Dense(std::declval<T*>()));
 
        template<typename T>
        using is_Sparse = decltype(test_Sparse(std::declval<T*>()));
 
        template<typename T>
        using is_sparse_row_major = decltype(test_SRM(std::declval<T*>()));
 
        template<typename T>
        using is_finite_cyclic = decltype(test_finite_cyclic(std::declval<T>()));
 
        template<typename T>
        using has_operator_evaluation_int_int = decltype(test_operator_evaluation_int_int<T>(0));
 
    };
 
 
}