35 #ifndef _BLAZE_MATH_EXPRESSIONS_DMATSVECMULTEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_DMATSVECMULTEXPR_H_
100 template<
typename MT
132 enum { useAssign = evaluateMatrix || evaluateVector };
137 template<
typename VT2 >
140 enum { value = useAssign };
151 template<
typename T1 >
152 struct UseSMPAssign {
153 enum { value = useAssign };
184 enum { vectorizable = 0 };
187 enum { smpAssignable = !evaluateMatrix && MT::smpAssignable &&
188 !evaluateVector && VT::smpAssignable };
229 if( element != end ) {
230 res =
mat_( index, element->index() ) * element->value();
232 for( ; element!=
end; ++element ) {
233 res +=
mat_( index, element->index() ) * element->value();
277 template<
typename T >
279 return mat_.isAliased( alias ) ||
vec_.isAliased( alias );
289 template<
typename T >
291 return mat_.isAliased( alias ) ||
vec_.isAliased( alias );
301 return mat_.isAligned();
337 template<
typename VT1 >
349 if( x.nonZeros() == 0UL ) {
385 template<
typename VT1 >
397 const ResultType tmp(
serial( rhs ) );
419 template<
typename VT1 >
420 friend inline typename EnableIf< UseAssign<VT1> >::Type
430 RT x(
serial( rhs.vec_ ) );
431 if( x.nonZeros() == 0UL )
return;
434 LT A(
serial( rhs.mat_ ) );
468 template<
typename VT1 >
469 friend inline typename EnableIf< UseAssign<VT1> >::Type
479 RT x(
serial( rhs.vec_ ) );
480 if( x.nonZeros() == 0UL )
return;
483 LT A(
serial( rhs.mat_ ) );
517 template<
typename VT1 >
518 friend inline typename EnableIf< UseAssign<VT1> >::Type
529 const ResultType tmp(
serial( rhs ) );
554 template<
typename VT1 >
555 friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
566 if( x.nonZeros() == 0UL ) {
601 template<
typename VT1 >
602 friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
613 const ResultType tmp( rhs );
634 template<
typename VT1 >
635 friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
646 if( x.nonZeros() == 0UL )
return;
682 template<
typename VT1 >
683 friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
694 if( x.nonZeros() == 0UL )
return;
730 template<
typename VT1 >
731 friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
742 const ResultType tmp( rhs );
806 template<
typename T1
808 inline const typename DisableIf< Or< IsSymmetric<T1>, IsMatMatMultExpr<T1> >
809 , DMatSVecMultExpr<T1,T2> >::Type
815 throw std::invalid_argument(
"Matrix and vector sizes do not match" );
845 template<
typename T1
847 inline const typename EnableIf< IsSymmetric<T1>,
typename MultExprTrait<T1,T2>::Type >::Type
848 operator*(
const DenseMatrix<T1,false>& mat,
const SparseVector<T2,false>& vec )
855 throw std::invalid_argument(
"Matrix and vector sizes do not match" );
857 return trans( ~mat ) * (~vec);
877 template<
typename T1
880 inline const typename EnableIf< IsMatMatMultExpr<T1>,
typename MultExprTrait<T1,T2>::Type >::Type
881 operator*(
const DenseMatrix<T1,SO>& mat,
const SparseVector<T2,false>& vec )
887 return (~mat).leftOperand() * ( (~mat).rightOperand() * vec );
903 template<
typename MT,
typename VT >
904 struct Size< DMatSVecMultExpr<MT,VT> >
921 template<
typename MT,
typename VT,
bool AF >
922 struct SubvectorExprTrait< DMatSVecMultExpr<MT,VT>, AF >
926 typedef typename MultExprTrait< typename SubmatrixExprTrait<const MT,AF>::Type
927 ,
typename SubvectorExprTrait<const VT,AF>::Type >::Type Type;
bool isAligned() const
Returns whether the operands of the expression are properly aligned in memory.
Definition: DMatSVecMultExpr.h:300
Compile time check whether the given type is a computational expression template.This type trait clas...
Definition: IsComputation.h:89
BLAZE_ALWAYS_INLINE void multAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the multiplication assignment of a matrix to a matrix.
Definition: Matrix.h:879
#define BLAZE_USER_ASSERT(expr, msg)
Run time assertion macro for user checks.In case of an invalid run time expression, the program execution is terminated. The BLAZE_USER_ASSERT macro can be disabled by setting the BLAZE_USER_ASSERT flag to zero or by defining NDEBUG during the compilation.
Definition: Assert.h:117
Header file for the Rows type trait.
const DMatDMatMultExpr< T1, T2 > operator*(const DenseMatrix< T1, false > &lhs, const DenseMatrix< T2, false > &rhs)
Multiplication operator for the multiplication of two row-major dense matrices ( ).
Definition: DMatDMatMultExpr.h:8247
Header file for basic type definitions.
DMatSVecMultExpr< MT, VT > This
Type of this DMatSVecMultExpr instance.
Definition: DMatSVecMultExpr.h:160
BLAZE_ALWAYS_INLINE size_t size(const Vector< VT, TF > &vector)
Returns the current size/dimension of the vector.
Definition: Vector.h:264
LeftOperand leftOperand() const
Returns the left-hand side dense matrix operand.
Definition: DMatSVecMultExpr.h:256
BLAZE_ALWAYS_INLINE MT::Iterator end(Matrix< MT, SO > &matrix, size_t i)
Returns an iterator just past the last element of row/column i.
Definition: Matrix.h:258
#define BLAZE_CONSTRAINT_MUST_BE_COLUMN_VECTOR_TYPE(T)
Constraint on the data type.In case the given data type T is not a column dense or sparse vector type...
Definition: TransposeFlag.h:159
Efficient implementation of a compressed matrix.The CompressedMatrix class template is the represent...
Definition: CompressedMatrix.h:209
#define BLAZE_CONSTRAINT_MUST_BE_DENSE_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a dense, N-dimensional matrix type...
Definition: DenseMatrix.h:79
void reset(const DiagonalProxy< MT > &proxy)
Resetting the represented element to the default initial values.
Definition: DiagonalProxy.h:821
const This & CompositeType
Data type for composite expression templates.
Definition: CompressedMatrix.h:2507
Type ElementType
Type of the sparse matrix elements.
Definition: CompressedMatrix.h:261
MultTrait< MRT, VRT >::Type ResultType
Result type for expression template evaluations.
Definition: DMatSVecMultExpr.h:161
Header file for the DenseVector base class.
Compile time check for lower triangular matrices.This type trait tests whether or not the given templ...
Definition: IsLower.h:90
const DMatSerialExpr< MT, SO > serial(const DenseMatrix< MT, SO > &dm)
Forces the serial evaluation of the given dense matrix expression dm.
Definition: DMatSerialExpr.h:699
Header file for the Computation base class.
Compile time check for upper triangular matrices.This type trait tests whether or not the given templ...
Definition: IsUpper.h:90
Header file for the RequiresEvaluation type trait.
LeftOperand mat_
Left-hand side dense matrix of the multiplication expression.
Definition: DMatSVecMultExpr.h:317
VT::ResultType VRT
Result type of the right-hand side sparse vector expression.
Definition: DMatSVecMultExpr.h:109
Base class for dense matrices.The DenseMatrix class is a base class for all dense matrix classes...
Definition: DenseMatrix.h:70
Constraint on the data type.
ResultType::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: DMatSVecMultExpr.h:162
Constraint on the data type.
Header file for the MultExprTrait class template.
Compile time check to query the requirement to evaluate an expression.Via this type trait it is possi...
Definition: RequiresEvaluation.h:90
const This & CompositeType
Data type for composite expression templates.
Definition: CompressedMatrix.h:263
Expression object for dense matrix-sparse vector multiplications.The DMatSVecMultExpr class represent...
Definition: DMatSVecMultExpr.h:102
Compile time type selection.The SelectType class template selects one of the two given types T1 and T...
Definition: SelectType.h:59
Header file for the DisableIf class template.
Header file for the multiplication trait.
Header file for the IsStrictlyUpper type trait.
Header file for the IsSymmetric type trait.
Namespace of the Blaze C++ math library.
Definition: Blaze.h:57
SelectType< evaluateVector, const VRT, VCT >::Type RT
Type for the assignment of the right-hand side dense matrix operand.
Definition: DMatSVecMultExpr.h:179
const Element * ConstIterator
Iterator over constant elements.
Definition: CompressedMatrix.h:2511
Header file for the Or class template.
Header file for the IsMatMatMultExpr type trait class.
BLAZE_ALWAYS_INLINE void assign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the assignment of a matrix to a matrix.
Definition: Matrix.h:635
RightOperand vec_
Right-hand side sparse vector of the multiplication expression.
Definition: DMatSVecMultExpr.h:318
Base class for N-dimensional dense vectors.The DenseVector class is a base class for all arbitrarily ...
Definition: DenseVector.h:70
Header file for the IsLower type trait.
#define BLAZE_CONSTRAINT_MUST_BE_SPARSE_VECTOR_TYPE(T)
Constraint on the data type.In case the given data type T is not a sparse, N-dimensional vector type...
Definition: SparseVector.h:79
SelectType< IsExpression< VT >::value, const VT, const VT & >::Type RightOperand
Composite type of the right-hand side dense vector expression.
Definition: DMatSVecMultExpr.h:173
Constraint on the data type.
Base class for all matrix/vector multiplication expression templates.The MatVecMultExpr class serves ...
Definition: MatVecMultExpr.h:66
#define BLAZE_CONSTRAINT_MUST_NOT_BE_MATMATMULTEXPR_TYPE(T)
Constraint on the data type.In case the given data type T is a matrix/matrix multiplication expressio...
Definition: MatMatMultExpr.h:126
RightOperand rightOperand() const
Returns the right-hand side sparse vector operand.
Definition: DMatSVecMultExpr.h:266
#define BLAZE_CONSTRAINT_MUST_BE_REFERENCE_TYPE(T)
Constraint on the data type.In case the given data type T is not a reference type, a compilation error is created.
Definition: Reference.h:78
#define BLAZE_CONSTRAINT_MUST_FORM_VALID_MATVECMULTEXPR(T1, T2)
Constraint on the data type.In case the given data types T1 and T2 do not form a valid matrix/vector ...
Definition: MatVecMultExpr.h:166
Constraints on the storage order of matrix types.
Constraint on the data type.
Compile time check for strictly upper triangular matrices.This type trait tests whether or not the gi...
Definition: IsStrictlyUpper.h:86
Header file for the SelectType class template.
Header file for all forward declarations for expression class templates.
Constraint on the data type.
Header file for the EnableIf class template.
Header file for the IsStrictlyLower type trait.
Header file for the serial shim.
MT::CompositeType MCT
Composite type of the left-hand side dense matrix expression.
Definition: DMatSVecMultExpr.h:110
EnableIf< IsDenseMatrix< MT1 > >::Type smpSubAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the SMP subtraction assignment of a matrix to dense matrix.
Definition: DenseMatrix.h:160
#define BLAZE_CONSTRAINT_MUST_NOT_BE_SYMMETRIC_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is a symmetric matrix type, a compilation error is created.
Definition: Symmetric.h:116
Header file for the SubmatrixExprTrait class template.
#define BLAZE_CONSTRAINT_MUST_BE_ROW_MAJOR_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a row-major dense or sparse matrix t...
Definition: StorageOrder.h:81
Removal of reference modifiers.The RemoveCV type trait removes any reference modifiers from the given...
Definition: RemoveReference.h:69
size_t size() const
Returns the current size/dimension of the vector.
Definition: DMatSVecMultExpr.h:246
Header file for run time assertion macros.
EnableIf< IsDenseMatrix< MT1 > >::Type smpAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the SMP assignment of a matrix to a dense matrix.
Definition: DenseMatrix.h:98
Base template for the MultTrait class.
Definition: MultTrait.h:150
BLAZE_ALWAYS_INLINE void addAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the addition assignment of a matrix to a matrix.
Definition: Matrix.h:742
SelectType< IsExpression< MT >::value, const MT, const MT & >::Type LeftOperand
Composite type of the left-hand side dense matrix expression.
Definition: DMatSVecMultExpr.h:170
Substitution Failure Is Not An Error (SFINAE) class.The EnableIf class template is an auxiliary tool ...
Definition: EnableIf.h:184
ResultType::ElementType ElementType
Resulting element type.
Definition: DMatSVecMultExpr.h:163
Header file for the reset shim.
bool canAlias(const T *alias) const
Returns whether the expression can alias with the given address alias.
Definition: DMatSVecMultExpr.h:278
Constraint on the data type.
Header file for the RemoveReference type trait.
const size_t SMP_DMATSVECMULT_THRESHOLD
SMP row-major dense matrix/sparse vector multiplication threshold.This threshold specifies when a row...
Definition: Thresholds.h:414
Compile time check for strictly lower triangular matrices.This type trait tests whether or not the gi...
Definition: IsStrictlyLower.h:86
#define BLAZE_CONSTRAINT_MUST_BE_DENSE_VECTOR_TYPE(T)
Constraint on the data type.In case the given data type T is not a dense, N-dimensional vector type...
Definition: DenseVector.h:79
const ElementType ReturnType
Return type for expression template evaluations.
Definition: DMatSVecMultExpr.h:164
const DMatTransExpr< MT,!SO > trans(const DenseMatrix< MT, SO > &dm)
Calculation of the transpose of the given dense matrix.
Definition: DMatTransExpr.h:937
Header file for the IsComputation type trait class.
bool isAliased(const T *alias) const
Returns whether the expression is aliased with the given address alias.
Definition: DMatSVecMultExpr.h:290
Base class for all compute expression templates.The Computation class serves as a tag for all computa...
Definition: Computation.h:59
EnableIf< IsDenseMatrix< MT1 > >::Type smpAddAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the SMP addition assignment of a matrix to a dense matrix.
Definition: DenseMatrix.h:129
Base class for sparse vectors.The SparseVector class is a base class for all arbitrarily sized (N-dim...
Definition: Forward.h:108
#define BLAZE_FUNCTION_TRACE
Function trace macro.This macro can be used to reliably trace function calls. In case function tracin...
Definition: FunctionTrace.h:157
This ResultType
Result type for expression template evaluations.
Definition: CompressedMatrix.h:2502
BLAZE_ALWAYS_INLINE size_t columns(const Matrix< MT, SO > &matrix)
Returns the current number of columns of the matrix.
Definition: Matrix.h:332
Header file for the SubvectorExprTrait class template.
Constraint on the data type.
Header file for the IsUpper type trait.
ReturnType operator[](size_t index) const
Subscript operator for the direct access to the vector elements.
Definition: DMatSVecMultExpr.h:211
Header file for the MatVecMultExpr base class.
SelectType< useAssign, const ResultType, const DMatSVecMultExpr & >::Type CompositeType
Data type for composite expression templates.
Definition: DMatSVecMultExpr.h:167
DMatSVecMultExpr(const MT &mat, const VT &vec)
Constructor for the DMatSVecMultExpr class.
Definition: DMatSVecMultExpr.h:197
Constraint on the data type.
MT::ResultType MRT
Result type of the left-hand side dense matrix expression.
Definition: DMatSVecMultExpr.h:108
VT::CompositeType VCT
Composite type of the right-hand side sparse vector expression.
Definition: DMatSVecMultExpr.h:111
SelectType< evaluateMatrix, const MRT, MCT >::Type LT
Type for the assignment of the left-hand side dense matrix operand.
Definition: DMatSVecMultExpr.h:176
bool canSMPAssign() const
Returns whether the expression can be used in SMP assignments.
Definition: DMatSVecMultExpr.h:310
EnableIf< IsDenseVector< VT1 > >::Type smpMultAssign(Vector< VT1, TF1 > &lhs, const Vector< VT2, TF2 > &rhs)
Default implementation of the SMP multiplication assignment of a vector to a dense vector...
Definition: DenseVector.h:189
Header file for the Size type trait.
Header file for the thresholds for matrix/vector and matrix/matrix multiplications.
#define BLAZE_INTERNAL_ASSERT(expr, msg)
Run time assertion macro for internal checks.In case of an invalid run time expression, the program execution is terminated. The BLAZE_INTERNAL_ASSERT macro can be disabled by setting the BLAZE_USER_ASSERTION flag to zero or by defining NDEBUG during the compilation.
Definition: Assert.h:101
Header file for the IsExpression type trait class.
Header file for the FunctionTrace class.
BLAZE_ALWAYS_INLINE void subAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the subtraction assignment of a matrix to matrix.
Definition: Matrix.h:849