HasAdd.h
Go to the documentation of this file.
1 //=================================================================================================
33 //=================================================================================================
34 
35 #ifndef _BLAZE_MATH_TYPETRAITS_HASADD_H_
36 #define _BLAZE_MATH_TYPETRAITS_HASADD_H_
37 
38 
39 //*************************************************************************************************
40 // Includes
41 //*************************************************************************************************
42 
43 #include <utility>
46 #include <blaze/util/EnableIf.h>
47 #include <blaze/util/FalseType.h>
48 #include <blaze/util/TrueType.h>
50 
51 
52 namespace blaze {
53 
54 //=================================================================================================
55 //
56 // CLASS DEFINITION
57 //
58 //=================================================================================================
59 
60 //*************************************************************************************************
65 template< typename T1, typename T2, typename = void >
66 struct HasAddHelper
67  : public FalseType
68 {};
70 //*************************************************************************************************
71 
72 
73 //*************************************************************************************************
78 template< typename T1, typename T2 >
79 struct HasAddHelper< T1, T2, Void_t< decltype( std::declval<T1>() + std::declval<T2>() ) > >
80  : public TrueType
81 {};
83 //*************************************************************************************************
84 
85 
86 //*************************************************************************************************
105 template< typename T1, typename T2, typename = void >
106 struct HasAdd
107  : public HasAddHelper<T1,T2>
108 {};
109 //*************************************************************************************************
110 
111 
112 //*************************************************************************************************
117 template< typename T1, typename T2 >
118 struct HasAdd< T1, T2, EnableIf_t< IsVector_v<T1> && IsVector_v<T2> > >
120 {};
122 //*************************************************************************************************
123 
124 
125 //*************************************************************************************************
130 template< typename T1, typename T2 >
131 struct HasAdd< T1, T2, EnableIf_t< IsMatrix_v<T1> && IsMatrix_v<T2> > >
132  : public HasAdd< typename T1::ElementType, typename T2::ElementType >
133 {};
135 //*************************************************************************************************
136 
137 
138 //*************************************************************************************************
151 template< typename T1, typename T2 >
153 //*************************************************************************************************
154 
155 } // namespace blaze
156 
157 #endif
BoolConstant< false > FalseType
Type/value traits base class.The FalseType class is used as base class for type traits and value trai...
Definition: FalseType.h:61
Header file for the Void type trait.
constexpr bool IsMatrix_v
Auxiliary variable template for the IsMatrix type trait.The IsMatrix_v variable template provides a c...
Definition: IsMatrix.h:139
Header file for the FalseType type/value trait base class.
void Void_t
Compile time type check.This type trait maps an arbitrary sequence of types to the type void...
Definition: Void.h:64
BoolConstant< true > TrueType
Type traits base class.The TrueType class is used as base class for type traits and value traits that...
Definition: TrueType.h:61
STL namespace.
Header file for the IsMatrix type trait.
typename EnableIf< Condition, T >::Type EnableIf_t
Auxiliary type for the EnableIf class template.The EnableIf_t alias declaration provides a convenient...
Definition: EnableIf.h:138
Namespace of the Blaze C++ math library.
Definition: Blaze.h:58
constexpr bool IsVector_v
Auxiliary variable template for the IsVector type trait.The IsVector_v variable template provides a c...
Definition: IsVector.h:140
Header file for the IsVector type trait.
Header file for the EnableIf class template.
constexpr bool HasAdd_v
Auxiliary variable template for the HasAdd type trait.The HasAdd_v variable template provides a conve...
Definition: HasAdd.h:152
Availability of an addition operator for the given data types.This type trait provides the informatio...
Definition: HasAdd.h:106
Header file for the TrueType type/value trait base class.