Blaze  3.6
IsUniLower.h
Go to the documentation of this file.
1 //=================================================================================================
33 //=================================================================================================
34 
35 #ifndef _BLAZE_MATH_TYPETRAITS_ISUNILOWER_H_
36 #define _BLAZE_MATH_TYPETRAITS_ISUNILOWER_H_
37 
38 
39 //*************************************************************************************************
40 // Includes
41 //*************************************************************************************************
42 
44 #include <blaze/util/EnableIf.h>
47 
48 
49 namespace blaze {
50 
51 //=================================================================================================
52 //
53 // CLASS DEFINITION
54 //
55 //=================================================================================================
56 
57 //*************************************************************************************************
59 template< typename T > struct IsUniLower;
61 //*************************************************************************************************
62 
63 
64 //*************************************************************************************************
69 template< typename T
70  , typename = void >
71 struct IsUniLowerHelper
72  : public FalseType
73 {};
74 
75 template< typename T > // Type of the operand
76 struct IsUniLowerHelper< T, EnableIf_t< IsExpression_v<T> && !IsSame_v<T,typename T::ResultType> > >
77  : public IsUniLower< typename T::ResultType >::Type
78 {};
80 //*************************************************************************************************
81 
82 
83 //*************************************************************************************************
113 template< typename T >
115  : public IsUniLowerHelper<T>
116 {};
117 //*************************************************************************************************
118 
119 
120 //*************************************************************************************************
125 template< typename T >
126 struct IsUniLower< const T >
127  : public IsUniLower<T>
128 {};
130 //*************************************************************************************************
131 
132 
133 //*************************************************************************************************
138 template< typename T >
139 struct IsUniLower< volatile T >
140  : public IsUniLower<T>
141 {};
143 //*************************************************************************************************
144 
145 
146 //*************************************************************************************************
151 template< typename T >
152 struct IsUniLower< const volatile T >
153  : public IsUniLower<T>
154 {};
156 //*************************************************************************************************
157 
158 
159 //*************************************************************************************************
172 template< typename T >
174 //*************************************************************************************************
175 
176 } // namespace blaze
177 
178 #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 IsSame and IsStrictlySame type traits.
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 IsExpression_v
Auxiliary variable template for the IsExpression type trait.The IsExpression_v variable template prov...
Definition: IsExpression.h:130
Header file for the EnableIf class template.
Compile time check for lower unitriangular matrices.This type trait tests whether or not the given te...
Definition: IsUniLower.h:114
constexpr bool IsUniLower_v
Auxiliary variable template for the IsUniLower type trait.The IsUniLower_v variable template provides...
Definition: IsUniLower.h:173
Header file for the IntegralConstant class template.
Header file for the IsExpression type trait class.