35 #ifndef _BLAZE_UTIL_CONSTRAINTS_TYPERESTRICTION_H_
36 #define _BLAZE_UTIL_CONSTRAINTS_TYPERESTRICTION_H_
66 template<
bool >
struct CONSTRAINT_SOFT_TYPE_RESTRICTION_FAILED;
67 template<>
struct CONSTRAINT_SOFT_TYPE_RESTRICTION_FAILED<true> {
enum { value = 1 }; };
79 #define BLAZE_CONSTRAINT_SOFT_TYPE_RESTRICTION(T,TYPELIST) \
81 ::blaze::CONSTRAINT_TEST< \
82 ::blaze::CONSTRAINT_SOFT_TYPE_RESTRICTION_FAILED< ::blaze::ContainsRelated<TYPELIST,T>::value >::value > \
83 BLAZE_JOIN( CONSTRAINT_SOFT_TYPE_RESTRICTION_TYPEDEF, __LINE__ )
105 template<
bool >
struct CONSTRAINT_TYPE_RESTRICTION_FAILED;
106 template<>
struct CONSTRAINT_TYPE_RESTRICTION_FAILED<true> {
enum { value = 1 }; };
118 #define BLAZE_CONSTRAINT_TYPE_RESTRICTION(T,TYPELIST) \
120 ::blaze::CONSTRAINT_TEST< \
121 ::blaze::CONSTRAINT_TYPE_RESTRICTION_FAILED< ::blaze::Contains<TYPELIST,T>::value >::value > \
122 BLAZE_JOIN( CONSTRAINT_TYPE_RESTRICTION_TYPEDEF, __LINE__ )
Header file for a type list implementation.
Constraint wrapper class.
Header file for compile time constraints.