DVecSVecInnerExprTrait.h
Go to the documentation of this file.
1 //=================================================================================================
33 //=================================================================================================
34 
35 #ifndef _BLAZE_MATH_TRAITS_DVECSVECINNEREXPRTRAIT_H_
36 #define _BLAZE_MATH_TRAITS_DVECSVECINNEREXPRTRAIT_H_
37 
38 
39 //*************************************************************************************************
40 // Includes
41 //*************************************************************************************************
42 
43 #include <blaze/math/Aliases.h>
49 #include <blaze/util/mpl/And.h>
50 #include <blaze/util/mpl/If.h>
51 #include <blaze/util/mpl/Or.h>
52 #include <blaze/util/InvalidType.h>
57 
58 
59 namespace blaze {
60 
61 //=================================================================================================
62 //
63 // CLASS DEFINITION
64 //
65 //=================================================================================================
66 
67 //*************************************************************************************************
72 template< typename VT1
73  , typename VT2
74  , bool Valid >
75 struct DVecSVecInnerExprTraitHelper
76 {
77  //**********************************************************************************************
78  using Type = INVALID_TYPE;
79  //**********************************************************************************************
80 };
82 //*************************************************************************************************
83 
84 
85 //*************************************************************************************************
90 template< typename VT1
91  , typename VT2 >
92 struct DVecSVecInnerExprTraitHelper<VT1,VT2,true>
93 {
94  //**********************************************************************************************
95  using Type = MultTrait_< ElementType_<VT1>, ElementType_<VT2> >;
96  //**********************************************************************************************
97 };
99 //*************************************************************************************************
100 
101 
102 //*************************************************************************************************
113 template< typename VT1 // Type of the left-hand side transpose dense vector
114  , typename VT2 > // Type of the right-hand side non-transpose sparse vector
116 {
117  private:
118  //**********************************************************************************************
120  enum : bool { valid = IsDenseVector<VT1>::value && IsRowVector<VT1>::value &&
123  //**********************************************************************************************
124 
125  public:
126  //**********************************************************************************************
131  , DVecSVecInnerExprTraitHelper<VT1,VT2,valid> >::Type;
133  //**********************************************************************************************
134 };
135 //*************************************************************************************************
136 
137 
138 //*************************************************************************************************
152 template< typename VT1 // Type of the left-hand side transpose dense vector
153  , typename VT2 > // Type of the right-hand side non-transpose sparse vector
155 //*************************************************************************************************
156 
157 } // namespace blaze
158 
159 #endif
Compile time check for row vector types.This type trait tests whether or not the given template argum...
Definition: IsRowVector.h:80
Header file for auxiliary alias declarations.
Compile time check for volatile data types.The IsVolatile type trait tests whether or not the given t...
Definition: IsVolatile.h:75
typename Decay< T >::Type Decay_
Auxiliary alias declaration for the Decay type trait.The Decay_ alias declaration provides a convenie...
Definition: Decay.h:98
Header file for the IsRowVector type trait.
Header file for the And class template.
Header file for the IsVolatile type trait.
Header file for the Decay type trait.
Compile time check for dense vector types.This type trait tests whether or not the given template par...
Definition: IsDenseVector.h:78
Header file for the multiplication trait.
Namespace of the Blaze C++ math library.
Definition: Blaze.h:57
Header file for the If class template.
Header file for the Or class template.
typename DVecSVecInnerExprTrait< VT1, VT2 >::Type DVecSVecInnerExprTrait_
Auxiliary alias declaration for the DVecSVecInnerExprTrait class template.The DVecSVecInnerExprTrait_...
Definition: DVecSVecInnerExprTrait.h:154
Compile time check for sparse vector types.This type trait tests whether or not the given template pa...
Definition: IsSparseVector.h:78
Compile time check for column vector types.This type trait tests whether or not the given template ar...
Definition: IsColumnVector.h:80
Header file for the IsSparseVector type trait.
Header file for the IsConst type trait.
Utility type for generic codes.
Evaluation of the expression type of a transpose dense vector/sparse vector multiplication.Via this type trait it is possible to evaluate the resulting expression type of a transpose dense vector/sparse vector multiplication (inner product). Given the transpose dense vector type VT1 and the non-transpose sparse vector type VT2, the nested type Type corresponds to the resulting expression type. In case either VT1 is not a transpose dense vector type or VT2 is not a non-transpose sparse vector type, the resulting Type is set to INVALID_TYPE.
Definition: DVecSVecInnerExprTrait.h:115
typename If< T1, T2, T3 >::Type If_
Auxiliary alias declaration for the If class template.The If_ alias declaration provides a convenient...
Definition: If.h:160
Header file for the IsReference type trait.
Compile time check for constant data types.The IsConst type trait tests whether or not the given temp...
Definition: IsConst.h:75
Header file for the IsDenseVector type trait.
Compile time type check.This class tests whether the given template parameter T is a reference type (...
Definition: IsReference.h:75
Header file for the IsColumnVector type trait.