35 #ifndef _BLAZE_UTIL_CONSTRAINTS_DOUBLE_H_
36 #define _BLAZE_UTIL_CONSTRAINTS_DOUBLE_H_
66 template<
bool >
struct CONSTRAINT_MUST_BE_DOUBLE_TYPE_FAILED;
67 template<>
struct CONSTRAINT_MUST_BE_DOUBLE_TYPE_FAILED<true> {
enum { value = 1 }; };
80 #define BLAZE_CONSTRAINT_MUST_BE_DOUBLE_TYPE(T) \
82 ::blaze::CONSTRAINT_TEST< \
83 ::blaze::CONSTRAINT_MUST_BE_DOUBLE_TYPE_FAILED< ::blaze::IsDouble<T>::value >::value > \
84 BLAZE_JOIN( CONSTRAINT_MUST_BE_DOUBLE_TYPE_TYPEDEF, __LINE__ )
106 template<
bool >
struct CONSTRAINT_MUST_NOT_BE_DOUBLE_TYPE_FAILED;
107 template<>
struct CONSTRAINT_MUST_NOT_BE_DOUBLE_TYPE_FAILED<true> {
enum { value = 1 }; };
120 #define BLAZE_CONSTRAINT_MUST_NOT_BE_DOUBLE_TYPE(T) \
122 ::blaze::CONSTRAINT_TEST< \
123 ::blaze::CONSTRAINT_MUST_NOT_BE_DOUBLE_TYPE_FAILED< !::blaze::IsDouble<T>::value >::value > \
124 BLAZE_JOIN( CONSTRAINT_MUST_NOT_BE_DOUBLE_TYPE_TYPEDEF, __LINE__ )
Header file for the IsDouble type trait.
Constraint wrapper class.
Header file for compile time constraints.