35 #ifndef _BLAZE_MATH_EXPRESSIONS_TSMATDVECMULTEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_TSMATDVECMULTEXPR_H_
100 class TSMatDVecMultExpr :
public DenseVector< TSMatDVecMultExpr<MT,VT>, false >
101 ,
private MatVecMultExpr
102 ,
private Computation
128 template<
typename T1 >
129 struct UseSMPAssign {
130 enum { value = ( evaluateMatrix || evaluateVector ) };
159 enum { vectorizable = 0 };
162 enum { smpAssignable = !evaluateMatrix && MT::smpAssignable &&
163 !evaluateVector && VT::smpAssignable };
191 if(
vec_.size() > 0UL ) {
193 for(
size_t j=1UL; j<
vec_.size(); ++j )
211 inline ReturnType
at(
size_t index )
const {
212 if( index >=
mat_.rows() ) {
215 return (*
this)[index];
255 template<
typename T >
257 return (
mat_.isAliased( alias ) ||
vec_.isAliased( alias ) );
267 template<
typename T >
269 return (
mat_.isAliased( alias ) ||
vec_.isAliased( alias ) );
279 return vec_.isAligned();
289 return (
size() > SMP_TSMATDVECMULT_THRESHOLD );
312 template<
typename VT2 >
321 if( rhs.mat_.columns() == 0UL )
return;
323 LT A(
serial( rhs.mat_ ) );
324 RT x(
serial( rhs.vec_ ) );
331 TSMatDVecMultExpr::selectAssignKernel( ~lhs, A, x );
350 template<
typename VT1
353 static inline void selectAssignKernel( VT1& y,
const MT1& A,
const VT2& x )
357 for(
size_t j=0UL; j<A.columns(); ++j )
359 ConstIterator element( A.begin(j) );
360 const ConstIterator
end( A.end(j) );
362 for( ; element!=
end; ++element ) {
365 y[element->index()] = element->value() * x[j];
367 y[element->index()] += element->value() * x[j];
387 template<
typename VT2 >
388 friend inline void assign( SparseVector<VT2,false>& lhs,
const TSMatDVecMultExpr& rhs )
398 const ResultType tmp(
serial( rhs ) );
417 template<
typename VT2 >
418 friend inline void addAssign( DenseVector<VT2,false>& lhs,
const TSMatDVecMultExpr& rhs )
424 if( rhs.mat_.columns() == 0UL )
return;
426 LT A(
serial( rhs.mat_ ) );
427 RT x(
serial( rhs.vec_ ) );
434 TSMatDVecMultExpr::selectAddAssignKernel( ~lhs, A, x );
453 template<
typename VT1
456 static inline void selectAddAssignKernel( VT1& y,
const MT1& A,
const VT2& x )
460 for(
size_t j=0UL; j<A.columns(); ++j )
462 ConstIterator element( A.begin(j) );
463 const ConstIterator
end( A.end(j) );
465 for( ; element!=
end; ++element ) {
466 y[element->index()] += element->value() * x[j];
490 template<
typename VT2 >
491 friend inline void subAssign( DenseVector<VT2,false>& lhs,
const TSMatDVecMultExpr& rhs )
499 if( rhs.mat_.columns() == 0UL )
return;
501 LT A(
serial( rhs.mat_ ) );
502 RT x(
serial( rhs.vec_ ) );
509 TSMatDVecMultExpr::selectSubAssignKernel( ~lhs, A, x );
528 template<
typename VT1
531 static inline void selectSubAssignKernel( VT1& y,
const MT1& A,
const VT2& x )
535 for(
size_t j=0UL; j<A.columns(); ++j )
537 ConstIterator element( A.begin(j) );
538 const ConstIterator
end( A.end(j) );
540 for( ; element!=
end; ++element ) {
541 y[element->index()] -= element->value() * x[j];
565 template<
typename VT2 >
566 friend inline void multAssign( DenseVector<VT2,false>& lhs,
const TSMatDVecMultExpr& rhs )
576 const ResultType tmp(
serial( rhs ) );
577 multAssign( ~lhs, tmp );
601 template<
typename VT2 >
602 friend inline typename EnableIf< UseSMPAssign<VT2> >::Type
611 if( rhs.mat_.columns() == 0UL )
return;
641 template<
typename VT2 >
642 friend inline typename EnableIf< UseSMPAssign<VT2> >::Type
653 const ResultType tmp( rhs );
674 template<
typename VT2 >
675 friend inline typename EnableIf< UseSMPAssign<VT2> >::Type
682 if( rhs.mat_.columns() == 0UL )
return;
716 template<
typename VT2 >
717 friend inline typename EnableIf< UseSMPAssign<VT2> >::Type
726 if( rhs.mat_.columns() == 0UL )
return;
760 template<
typename VT2 >
761 friend inline typename EnableIf< UseSMPAssign<VT2> >::Type
772 const ResultType tmp( rhs );
835 template<
typename T1
837 inline const typename DisableIf< Or< IsSymmetric<T1>, IsMatMatMultExpr<T1> >
838 , TSMatDVecMultExpr<T1,T2> >::Type
875 template<
typename T1
877 inline const typename EnableIf< IsSymmetric<T1>,
typename MultExprTrait<T1,T2>::Type >::Type
878 operator*(
const SparseMatrix<T1,true>& mat,
const DenseVector<T2,false>& vec )
888 return trans( ~mat ) * (~vec);
904 template<
typename MT,
typename VT >
921 template<
typename MT,
typename VT >
922 struct IsAligned<
TSMatDVecMultExpr<MT,VT> > :
public IsTrue< IsAligned<VT>::value >
938 template<
typename MT,
typename VT,
bool AF >
943 typedef typename MultExprTrait< typename SubmatrixExprTrait<const MT,AF>::Type
944 ,
typename SubvectorExprTrait<const VT,AF>::Type >::Type Type;
#define BLAZE_THROW_INVALID_ARGUMENT(MESSAGE)
Macro for the emission of a std::invalid_argument exceptionThis macro encapsulates the default way of...
Definition: Exception.h:187
LeftOperand mat_
Left-hand side sparse matrix of the multiplication expression.
Definition: TSMatDVecMultExpr.h:295
Compile time check whether the given type is a computational expression template.This type trait clas...
Definition: IsComputation.h:89
Expression object for transpose sparse matrix-dense vector multiplications.The TSMatDVecMultExpr clas...
Definition: Forward.h:152
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:7820
Header file for basic type definitions.
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:250
#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: ColumnVector.h:79
Efficient implementation of a compressed matrix.The CompressedMatrix class template is the represent...
Definition: CompressedMatrix.h:207
const ResultType CompositeType
Data type for composite expression templates.
Definition: TSMatDVecMultExpr.h:142
TSMatDVecMultExpr< MT, VT > This
Type of this TSMatDVecMultExpr instance.
Definition: TSMatDVecMultExpr.h:137
void reset(const DiagonalProxy< MT > &proxy)
Resetting the represented element to the default initial values.
Definition: DiagonalProxy.h:507
const This & CompositeType
Data type for composite expression templates.
Definition: CompressedMatrix.h:2588
ResultType::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: TSMatDVecMultExpr.h:139
Type ElementType
Type of the sparse matrix elements.
Definition: CompressedMatrix.h:259
bool canAlias(const T *alias) const
Returns whether the expression can alias with the given address alias.
Definition: TSMatDVecMultExpr.h:256
Header file for the DenseVector base class.
const DMatSerialExpr< MT, SO > serial(const DenseMatrix< MT, SO > &dm)
Forces the serial evaluation of the given dense matrix expression dm.
Definition: DMatSerialExpr.h:721
Header file for the Computation base class.
MT::ResultType MRT
Result type of the left-hand side sparse matrix expression.
Definition: TSMatDVecMultExpr.h:106
Header file for the RequiresEvaluation type trait.
ReturnType operator[](size_t index) const
Subscript operator for the direct access to the vector elements.
Definition: TSMatDVecMultExpr.h:186
Base class for sparse matrices.The SparseMatrix class is a base class for all sparse matrix classes...
Definition: Forward.h:117
bool isDefault(const DiagonalProxy< MT > &proxy)
Returns whether the represented element is in default state.
Definition: DiagonalProxy.h:547
SelectType< evaluateVector, const VRT, VCT >::Type RT
Type for the assignment of the right-hand side dense vector operand.
Definition: TSMatDVecMultExpr.h:154
Constraint on the data type.
Constraint on the transpose flag of vector types.
Constraint on the data type.
RightOperand vec_
Right-hand side dense vector of the multiplication expression.
Definition: TSMatDVecMultExpr.h:296
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
SelectType< IsExpression< VT >::value, const VT, const VT & >::Type RightOperand
Composite type of the right-hand side dense vector expression.
Definition: TSMatDVecMultExpr.h:148
const This & CompositeType
Data type for composite expression templates.
Definition: CompressedMatrix.h:261
TSMatDVecMultExpr(const MT &mat, const VT &vec)
Constructor for the TSMatDVecMultExpr class.
Definition: TSMatDVecMultExpr.h:172
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.
size_t size() const
Returns the current size/dimension of the vector.
Definition: TSMatDVecMultExpr.h:224
Header file for the IsSymmetric type trait.
Namespace of the Blaze C++ math library.
Definition: Blaze.h:57
#define BLAZE_CONSTRAINT_MUST_BE_COLUMN_MAJOR_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a column-major dense or sparse matri...
Definition: ColumnMajorMatrix.h:79
const Element * ConstIterator
Iterator over constant elements.
Definition: CompressedMatrix.h:2592
Header file for the Or class template.
Header file for the IsMatMatMultExpr type trait class.
#define BLAZE_THROW_OUT_OF_RANGE(MESSAGE)
Macro for the emission of a std::out_of_range exceptionThis macro encapsulates the default way of Bla...
Definition: Exception.h:331
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 IsAligned type trait.
#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
LeftOperand leftOperand() const
Returns the left-hand side transpose sparse matrix operand.
Definition: TSMatDVecMultExpr.h:234
Constraint on the data type.
Header file for the SelectType class template.
Header file for all forward declarations for expression class templates.
VT::ResultType VRT
Result type of the right-hand side dense vector expression.
Definition: TSMatDVecMultExpr.h:107
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: TSMatDVecMultExpr.h:268
Compile time check for resizable data types.This type trait tests whether the given data type is a re...
Definition: IsResizable.h:75
VT::CompositeType VCT
Composite type of the right-hand side dense vector expression.
Definition: TSMatDVecMultExpr.h:109
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.
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:138
bool isAligned() const
Returns whether the operands of the expression are properly aligned in memory.
Definition: TSMatDVecMultExpr.h:278
Header file for the reset shim.
bool canSMPAssign() const
Returns whether the expression can be used in SMP assignments.
Definition: TSMatDVecMultExpr.h:288
Header file for the isDefault shim.
SelectType< IsExpression< MT >::value, const MT, const MT & >::Type LeftOperand
Composite type of the left-hand side sparse matrix expression.
Definition: TSMatDVecMultExpr.h:145
MultTrait< MRT, VRT >::Type ResultType
Result type for expression template evaluations.
Definition: TSMatDVecMultExpr.h:138
Constraints on the storage order of matrix types.
ReturnType at(size_t index) const
Checked access to the vector elements.
Definition: TSMatDVecMultExpr.h:211
ResultType::ElementType ElementType
Resulting element type.
Definition: TSMatDVecMultExpr.h:140
Header file for the RemoveReference type trait.
MT::CompositeType MCT
Composite type of the left-hand side sparse matrix expression.
Definition: TSMatDVecMultExpr.h:108
SelectType< evaluateMatrix, const MRT, MCT >::Type LT
Type for the assignment of the left-hand side sparse matrix operand.
Definition: TSMatDVecMultExpr.h:151
#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
RightOperand rightOperand() const
Returns the right-hand side dense vector operand.
Definition: TSMatDVecMultExpr.h:244
const DMatTransExpr< MT,!SO > trans(const DenseMatrix< MT, SO > &dm)
Calculation of the transpose of the given dense matrix.
Definition: DMatTransExpr.h:944
const ElementType ReturnType
Return type for expression template evaluations.
Definition: TSMatDVecMultExpr.h:141
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
#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:2583
BLAZE_ALWAYS_INLINE size_t columns(const Matrix< MT, SO > &matrix)
Returns the current number of columns of the matrix.
Definition: Matrix.h:324
Header file for the SubvectorExprTrait class template.
Constraint on the data type.
Header file for exception macros.
Header file for the MatVecMultExpr base class.
Constraint on the data type.
Header file for the IsResizable type trait.
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.
Header file for the FunctionTrace class.