Blaze  3.6
HasSub.h
Go to the documentation of this file.
1 //=================================================================================================
33 //=================================================================================================
34 
35 #ifndef _BLAZE_MATH_TYPETRAITS_HASSUB_H_
36 #define _BLAZE_MATH_TYPETRAITS_HASSUB_H_
37 
38 
39 //*************************************************************************************************
40 // Includes
41 //*************************************************************************************************
42 
43 #include <utility>
46 #include <blaze/util/EnableIf.h>
49 
50 
51 namespace blaze {
52 
53 //=================================================================================================
54 //
55 // CLASS DEFINITION
56 //
57 //=================================================================================================
58 
59 //*************************************************************************************************
64 template< typename T1, typename T2, typename = void >
65 struct HasSubHelper
66  : public FalseType
67 {};
69 //*************************************************************************************************
70 
71 
72 //*************************************************************************************************
77 template< typename T1, typename T2 >
78 struct HasSubHelper< T1, T2, Void_t< decltype( std::declval<T1>() - std::declval<T2>() ) > >
79  : public TrueType
80 {};
82 //*************************************************************************************************
83 
84 
85 //*************************************************************************************************
104 template< typename T1, typename T2, typename = void >
105 struct HasSub
106  : public HasSubHelper<T1,T2>
107 {};
108 //*************************************************************************************************
109 
110 
111 //*************************************************************************************************
116 template< typename T1, typename T2 >
117 struct HasSub< T1, T2, EnableIf_t< IsVector_v<T1> && IsVector_v<T2> > >
119 {};
121 //*************************************************************************************************
122 
123 
124 //*************************************************************************************************
129 template< typename T1, typename T2 >
130 struct HasSub< T1, T2, EnableIf_t< IsMatrix_v<T1> && IsMatrix_v<T2> > >
131  : public HasSub< typename T1::ElementType, typename T2::ElementType >
132 {};
134 //*************************************************************************************************
135 
136 
137 //*************************************************************************************************
150 template< typename T1, typename T2 >
152 //*************************************************************************************************
153 
154 } // namespace blaze
155 
156 #endif
BoolConstant< false > FalseType
Type/value traits base class.The FalseType class is used as base class for type traits and value trai...
Definition: IntegralConstant.h:121
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:138
constexpr bool HasSub_v
Auxiliary variable template for the HasSub type trait.The HasSub_v variable template provides a conve...
Definition: HasSub.h:151
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: IntegralConstant.h:132
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
Header file for the IsVector type trait.
Header file for the EnableIf class template.
Availability of a subtraction operator for the given data types.This type trait provides the informat...
Definition: HasSub.h:105
constexpr bool IsVector_v
Auxiliary variable template for the IsVector type trait.The IsVector_v variable template provides a c...
Definition: IsVector.h:139
Header file for the IntegralConstant class template.