35 #ifndef _BLAZE_MATH_EXPRESSIONS_SMATSVECMULTEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_SMATSVECMULTEXPR_H_
97 class SMatSVecMultExpr :
public SparseVector< SMatSVecMultExpr<MT,VT>, false >
98 ,
private MatVecMultExpr
125 template<
typename T1 >
126 struct UseSMPAssign {
127 enum { value = ( evaluateMatrix || evaluateVector ) };
158 enum { smpAssignable = !evaluateMatrix && MT::smpAssignable &&
159 !evaluateVector && VT::smpAssignable };
191 if(
vec_.size() == 0UL )
201 MatrixIterator melem( A.begin(index) );
202 const MatrixIterator mend( A.end(index) );
203 if( melem == mend ) {
207 VectorIterator velem( x.begin() );
208 const VectorIterator vend( x.end() );
209 if( velem == vend ) {
214 if( melem->index() < velem->index() ) {
216 if( melem == mend )
break;
218 else if( velem->index() < melem->index() ) {
220 if( velem == vend )
break;
223 res = melem->value() * velem->value();
230 if( melem != mend && velem != vend )
233 if( melem->index() < velem->index() ) {
235 if( melem == mend )
break;
237 else if( velem->index() < melem->index() ) {
239 if( velem == vend )
break;
242 res += melem->value() * velem->value();
244 if( melem == mend )
break;
246 if( velem == vend )
break;
257 MatrixIterator melem( A.begin(index) );
258 const MatrixIterator mend( A.end(index) );
263 res = melem->value() *
vec_[melem->index()];
265 for( ; melem!=mend; ++melem ) {
266 res += melem->value() *
vec_[melem->index()];
275 VectorIterator velem( x.begin() );
276 const VectorIterator vend( x.end() );
281 res =
mat_(index,velem->index()) * velem->value();
283 for( ; velem!=vend; ++velem ) {
284 res +=
mat_(index,velem->index()) * velem->value();
291 for(
size_t j=1UL; j<
vec_.size(); ++j ) {
346 template<
typename T >
348 return (
mat_.isAliased( alias ) ||
vec_.isAliased( alias ) );
358 template<
typename T >
360 return (
mat_.isAliased( alias ) ||
vec_.isAliased( alias ) );
392 template<
typename VT1 >
404 if( x.nonZeros() == 0UL )
return;
416 SMatSVecMultExpr::selectAssignKernel( ~lhs, A, x );
435 template<
typename VT1
438 static inline void selectAssignKernel( VT1& y,
const MT1& A,
const VT2& x )
443 const VectorIterator vend( x.end() );
445 for(
size_t i=0UL; i<y.size(); ++i )
447 const MatrixIterator mend ( A.end(i) );
448 MatrixIterator melem( A.begin(i) );
450 if( melem == mend )
continue;
452 VectorIterator velem( x.begin() );
455 if( melem->index() < velem->index() ) {
457 if( melem == mend )
break;
459 else if( velem->index() < melem->index() ) {
461 if( velem == vend )
break;
464 y[i] = melem->value() * velem->value();
471 if( melem != mend && velem != vend )
474 if( melem->index() < velem->index() ) {
476 if( melem == mend )
break;
478 else if( velem->index() < melem->index() ) {
480 if( velem == vend )
break;
483 y[i] += melem->value() * velem->value();
485 if( melem == mend )
break;
487 if( velem == vend )
break;
508 template<
typename VT1 >
519 if( x.nonZeros() == 0UL )
return;
529 const VectorIterator vend( x.end() );
531 for(
size_t i=0UL; i<(~lhs).
size(); ++i )
533 const MatrixIterator mend ( A.end(i) );
534 MatrixIterator melem( A.begin(i) );
536 if( melem == mend )
continue;
538 VectorIterator velem( x.begin() );
543 if( melem->index() < velem->index() ) {
545 if( melem == mend )
break;
547 else if( velem->index() < melem->index() ) {
549 if( velem == vend )
break;
552 accu = melem->value() * velem->value();
559 if( melem != mend && velem != vend )
562 if( melem->index() < velem->index() ) {
564 if( melem == mend )
break;
566 else if( velem->index() < melem->index() ) {
568 if( velem == vend )
break;
571 accu += melem->value() * velem->value();
573 if( melem == mend )
break;
575 if( velem == vend )
break;
581 (~lhs).insert( i, accu );
599 template<
typename VT1 >
608 if( x.nonZeros() == 0UL )
return;
620 SMatSVecMultExpr::selectAddAssignKernel( ~lhs, A, x );
639 template<
typename VT1
642 static inline void selectAddAssignKernel( VT1& y,
const MT1& A,
const VT2& x )
647 const VectorIterator vend( x.end() );
649 for(
size_t i=0UL; i<y.size(); ++i )
651 const MatrixIterator mend ( A.end(i) );
652 MatrixIterator melem( A.begin(i) );
654 if( melem == mend )
continue;
656 VectorIterator velem( x.begin() );
659 if( melem->index() < velem->index() ) {
661 if( melem == mend )
break;
663 else if( velem->index() < melem->index() ) {
665 if( velem == vend )
break;
668 y[i] += melem->value() * velem->value();
670 if( melem == mend )
break;
672 if( velem == vend )
break;
696 template<
typename VT1 >
708 if( x.nonZeros() == 0UL )
return;
720 SMatSVecMultExpr::selectSubAssignKernel( ~lhs, A, x );
739 template<
typename VT1
742 static inline void selectSubAssignKernel( VT1& y,
const MT1& A,
const VT2& x )
747 const VectorIterator vend( x.end() );
749 for(
size_t i=0UL; i<y.size(); ++i )
751 const MatrixIterator mend ( A.end(i) );
752 MatrixIterator melem( A.begin(i) );
754 if( melem == mend )
continue;
756 VectorIterator velem( x.begin() );
759 if( melem->index() < velem->index() ) {
761 if( melem == mend )
break;
763 else if( velem->index() < melem->index() ) {
765 if( velem == vend )
break;
768 y[i] -= melem->value() * velem->value();
770 if( melem == mend )
break;
772 if( velem == vend )
break;
796 template<
typename VT1 >
831 template<
typename VT1 >
832 friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
844 if( x.nonZeros() == 0UL )
return;
880 template<
typename VT1 >
881 friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
890 if( x.nonZeros() == 0UL )
return;
926 template<
typename VT1 >
927 friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
939 if( x.nonZeros() == 0UL )
return;
975 template<
typename VT1 >
976 friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
1049 template<
typename T1
1051 inline const typename DisableIf< Or< IsSymmetric<T1>, IsMatMatMultExpr<T1> >
1052 , SMatSVecMultExpr<T1,T2> >::Type
1058 throw std::invalid_argument(
"Matrix and vector sizes do not match" );
1088 template<
typename T1
1090 inline const typename EnableIf< IsSymmetric<T1>,
typename MultExprTrait<T1,T2>::Type >::Type
1091 operator*(
const SparseMatrix<T1,false>& mat,
const SparseVector<T2,false>& vec )
1098 throw std::invalid_argument(
"Matrix and vector sizes do not match" );
1100 return trans( ~mat ) * (~vec);
1120 template<
typename T1
1123 inline const typename EnableIf< IsMatMatMultExpr<T1>,
typename MultExprTrait<T1,T2>::Type >::Type
1124 operator*(
const SparseMatrix<T1,SO>& mat,
const SparseVector<T2,false>& vec )
1130 return (~mat).leftOperand() * ( (~mat).
rightOperand() * vec );
1146 template<
typename MT,
typename VT >
1164 template<
typename MT,
typename VT,
bool AF >
1169 typedef typename MultExprTrait< typename SubmatrixExprTrait<const MT,AF>::Type, VT >::Type Type;
RightOperand vec_
Right-hand side sparse vector of the multiplication expression.
Definition: SMatSVecMultExpr.h:377
SelectType< evaluateMatrix, const MRT, MCT >::Type LT
Type for the assignment of the left-hand side sparse matrix operand.
Definition: SMatSVecMultExpr.h:150
const size_t SMP_SMATSVECMULT_THRESHOLD
SMP row-major sparse matrix/sparse vector multiplication threshold.This threshold specifies when a ro...
Definition: Thresholds.h:598
Compile time check whether the given type is a computational expression template.This type trait clas...
Definition: IsComputation.h:89
SMatSVecMultExpr(const MT &mat, const VT &vec)
Constructor for the SMatSVecMultExpr class.
Definition: SMatSVecMultExpr.h:168
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
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:4838
Header file for the SparseVector base class.
ReturnType operator[](size_t index) const
Subscript operator for the direct access to the vector elements.
Definition: SMatSVecMultExpr.h:182
bool canAlias(const T *alias) const
Returns whether the expression can alias with the given address alias.
Definition: SMatSVecMultExpr.h:347
#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:205
const This & CompositeType
Data type for composite expression templates.
Definition: CompressedMatrix.h:2478
Type ElementType
Type of the sparse matrix elements.
Definition: CompressedMatrix.h:257
SelectType< IsExpression< VT >::value, const VT, const VT & >::Type RightOperand
Composite type of the right-hand side sparse vector expression.
Definition: SMatSVecMultExpr.h:147
const ResultType CompositeType
Data type for composite expression templates.
Definition: SMatSVecMultExpr.h:141
ResultType::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: SMatSVecMultExpr.h:136
const DMatSerialExpr< MT, SO > serial(const DenseMatrix< MT, SO > &dm)
Forces the serial evaluation of the given dense matrix expression dm.
Definition: DMatSerialExpr.h:695
Header file for the Computation base class.
Header file for the RequiresEvaluation type trait.
Base class for sparse matrices.The SparseMatrix class is a base class for all sparse matrix classes...
Definition: Forward.h:107
Constraint on the data type.
size_t size() const
Returns the current size/dimension of the vector.
Definition: SMatSVecMultExpr.h:305
const ElementType ReturnType
Return type for expression template evaluations.
Definition: SMatSVecMultExpr.h:138
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:259
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 IsSymmetric type trait.
Expression object for sparse matrix-sparse vector multiplications.The SMatSVecMultExpr class represen...
Definition: Forward.h:99
const Element * ConstIterator
Iterator over constant elements.
Definition: CompressedMatrix.h:2482
Header file for the Or class template.
Header file for the IsMatMatMultExpr type trait class.
SelectType< IsExpression< MT >::value, const MT, const MT & >::Type LeftOperand
Composite type of the left-hand side sparse matrix expression.
Definition: SMatSVecMultExpr.h:144
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
MultTrait< MRT, VRT >::Type ResultType
Result type for expression template evaluations.
Definition: SMatSVecMultExpr.h:135
MT::CompositeType MCT
Composite type of the left-hand side sparse matrix expression.
Definition: SMatSVecMultExpr.h:105
VT::CompositeType VCT
Composite type of the right-hand side sparse vector expression.
Definition: SMatSVecMultExpr.h:106
Base class for N-dimensional dense vectors.The DenseVector class is a base class for all arbitrarily ...
Definition: DenseVector.h:70
#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
Constraint on the data type.
#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
#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.
Header file for the SelectType class template.
Header file for all forward declarations for expression class templates.
Constraint on the data type.
ResultType::ElementType ElementType
Resulting element type.
Definition: SMatSVecMultExpr.h:137
Header file for the EnableIf class template.
Header file for the serial shim.
bool isAliased(const T *alias) const
Returns whether the expression is aliased with the given address alias.
Definition: SMatSVecMultExpr.h:359
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
SMatSVecMultExpr< MT, VT > This
Type of this SMatSVecMultExpr instance.
Definition: SMatSVecMultExpr.h:134
#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
#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
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:142
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
RightOperand rightOperand() const
Returns the right-hand side sparse vector operand.
Definition: SMatSVecMultExpr.h:335
Header file for the reset shim.
Header file for the isDefault shim.
BLAZE_ALWAYS_INLINE bool isDefault(const NonNumericProxy< MT > &proxy)
Returns whether the represented element is in default state.
Definition: NonNumericProxy.h:874
Constraint on the data type.
BLAZE_ALWAYS_INLINE void reset(const NonNumericProxy< MT > &proxy)
Resetting the represented element to the default initial values.
Definition: NonNumericProxy.h:833
MT::ResultType MRT
Result type of the left-hand side sparse matrix expression.
Definition: SMatSVecMultExpr.h:103
Header file for the RemoveReference type trait.
size_t nonZeros() const
Returns an estimation for the number of non-zero elements in the sparse vector.
Definition: SMatSVecMultExpr.h:315
const DMatTransExpr< MT,!SO > trans(const DenseMatrix< MT, SO > &dm)
Calculation of the transpose of the given dense matrix.
Definition: DMatTransExpr.h:932
Header file for the IsComputation type trait class.
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
VT::ResultType VRT
Result type of the right-hand side sparse vector expression.
Definition: SMatSVecMultExpr.h:104
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:2473
BLAZE_ALWAYS_INLINE size_t columns(const Matrix< MT, SO > &matrix)
Returns the current number of columns of the matrix.
Definition: Matrix.h:332
bool canSMPAssign() const
Returns whether the expression can be used in SMP assignments.
Definition: SMatSVecMultExpr.h:369
Header file for basic type definitions.
Header file for the SubvectorExprTrait class template.
Constraint on the data type.
LeftOperand mat_
Left-hand side sparse matrix of the multiplication expression.
Definition: SMatSVecMultExpr.h:376
Header file for the MatVecMultExpr base class.
Constraint on the data type.
SelectType< evaluateVector, const VRT, VCT >::Type RT
Type for the assignment of the right-hand side sparse vector operand.
Definition: SMatSVecMultExpr.h:153
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
#define BLAZE_CONSTRAINT_MUST_BE_SPARSE_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a sparse, N-dimensional matrix type...
Definition: SparseMatrix.h:79
Header file for the IsExpression type trait class.
LeftOperand leftOperand() const
Returns the left-hand side sparse matrix operand.
Definition: SMatSVecMultExpr.h:325
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