35 #ifndef _BLAZE_MATH_EXPRESSIONS_TDVECSMATMULTEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_TDVECSMATMULTEXPR_H_
100 class TDVecSMatMultExpr :
public DenseVector< TDVecSMatMultExpr<VT,MT>, true >
101 ,
private TVecMatMultExpr
102 ,
private Computation
128 template<
typename T1 >
129 struct UseSMPAssign {
130 enum { value = ( evaluateVector || evaluateMatrix ) };
159 enum { vectorizable = 0 };
162 enum { smpAssignable = !evaluateVector && VT::smpAssignable &&
163 !evaluateMatrix && MT::smpAssignable };
188 if(
vec_.size() != 0UL ) {
190 for(
size_t i=1UL; i<
vec_.size(); ++i ) {
209 inline ReturnType
at(
size_t index )
const {
210 if( index >=
mat_.columns() ) {
213 return (*
this)[index];
223 return mat_.columns();
253 template<
typename T >
255 return (
vec_.isAliased( alias ) ||
mat_.isAliased( alias ) );
265 template<
typename T >
267 return (
vec_.isAliased( alias ) ||
mat_.isAliased( alias ) );
277 return vec_.isAligned();
287 return (
size() > SMP_TDVECSMATMULT_THRESHOLD );
309 template<
typename VT2 >
318 if( rhs.mat_.rows() == 0UL )
return;
320 LT x(
serial( rhs.vec_ ) );
321 RT A(
serial( rhs.mat_ ) );
328 TDVecSMatMultExpr::selectAssignKernel( ~lhs, x, A );
346 template<
typename VT1
349 static inline void selectAssignKernel( VT1& y,
const VT2& x,
const MT1& A )
353 for(
size_t i=0UL; i<x.size(); ++i )
355 const ConstIterator
end( A.end(i) );
356 ConstIterator element( A.begin(i) );
358 for( ; element!=
end; ++element ) {
361 y[element->index()] = x[i] * element->value();
363 y[element->index()] += x[i] * element->value();
382 template<
typename VT2 >
393 const ResultType tmp(
serial( rhs ) );
410 template<
typename VT2 >
419 if( rhs.mat_.rows() == 0UL ) {
423 LT x(
serial( rhs.vec_ ) );
424 RT A(
serial( rhs.mat_ ) );
431 TDVecSMatMultExpr::selectAddAssignKernel( ~lhs, x, A );
449 template<
typename VT1
452 static inline void selectAddAssignKernel( VT1& y,
const VT2& x,
const MT1& A )
456 for(
size_t i=0UL; i<x.size(); ++i )
458 const ConstIterator
end( A.end(i) );
459 ConstIterator element( A.begin(i) );
461 for( ; element!=
end; ++element ) {
462 y[element->index()] += x[i] * element->value();
485 template<
typename VT2 >
494 if( rhs.mat_.rows() == 0UL ) {
498 LT x(
serial( rhs.vec_ ) );
499 RT A(
serial( rhs.mat_ ) );
506 TDVecSMatMultExpr::selectSubAssignKernel( ~lhs, x, A );
524 template<
typename VT1
527 static inline void selectSubAssignKernel( VT1& y,
const VT2& x,
const MT1& A )
531 for(
size_t i=0UL; i<x.size(); ++i )
533 const ConstIterator
end( A.end(i) );
534 ConstIterator element( A.begin(i) );
536 for( ; element!=
end; ++element ) {
537 y[element->index()] -= x[i] * element->value();
560 template<
typename VT2 >
571 const ResultType tmp(
serial( rhs ) );
594 template<
typename VT2 >
604 if( rhs.mat_.rows() == 0UL )
return;
632 template<
typename VT2 >
644 const ResultType tmp( rhs );
663 template<
typename VT2 >
673 if( rhs.mat_.rows() == 0UL ) {
707 template<
typename VT2 >
717 if( rhs.mat_.rows() == 0UL ) {
751 template<
typename VT2 >
763 const ResultType tmp( rhs );
825 template<
typename T1
827 inline const typename DisableIf< Or< IsSymmetric<T2>, IsMatMatMultExpr<T2> >
828 , TDVecSMatMultExpr<T1,T2> >::Type
833 if( (~vec).
size() != (~mat).
rows() ) {
865 template<
typename T1
867 inline const typename EnableIf< IsSymmetric<T2>,
typename MultExprTrait<T1,T2>::Type >::Type
868 operator*(
const DenseVector<T1,true>& vec,
const SparseMatrix<T2,false>& mat )
874 if( (~vec).
size() != (~mat).
rows() ) {
878 return (~vec) *
trans( ~mat );
897 template<
typename T1
900 inline const typename EnableIf< IsMatMatMultExpr<T2>,
typename MultExprTrait<T1,T2>::Type >::Type
922 template<
typename VT,
typename MT >
939 template<
typename VT,
typename MT >
940 struct IsAligned<
TDVecSMatMultExpr<VT,MT> > :
public IsTrue< IsAligned<VT>::value >
956 template<
typename VT,
typename MT,
bool AF >
961 typedef typename MultExprTrait< typename SubvectorExprTrait<const VT,AF>::Type
962 ,
typename SubmatrixExprTrait<const MT,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
Compile time check whether the given type is a computational expression template.This type trait clas...
Definition: IsComputation.h:89
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.
SelectType< IsExpression< VT >::value, const VT, const VT & >::Type LeftOperand
Composite type of the left-hand side dense vector expression.
Definition: TDVecSMatMultExpr.h:145
friend EnableIf< UseSMPAssign< VT2 > >::Type smpMultAssign(DenseVector< VT2, true > &lhs, const TDVecSMatMultExpr &rhs)
SMP multiplication assignment of a transpose dense vector-sparse matrix multiplication to a dense vec...
Definition: TDVecSMatMultExpr.h:753
Expression object for transpose dense vector-sparse matrix multiplications.The TDVecSMatMultExpr clas...
Definition: Forward.h:147
bool isAligned() const
Returns whether the operands of the expression are properly aligned in memory.
Definition: TDVecSMatMultExpr.h:276
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
bool canSMPAssign() const
Returns whether the expression can be used in SMP assignments.
Definition: TDVecSMatMultExpr.h:286
Efficient implementation of a compressed matrix.The CompressedMatrix class template is the represent...
Definition: CompressedMatrix.h:207
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
Type ElementType
Type of the sparse matrix elements.
Definition: CompressedMatrix.h:259
BLAZE_ALWAYS_INLINE size_t rows(const Matrix< MT, SO > &matrix)
Returns the current number of rows of the matrix.
Definition: Matrix.h:308
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
TDVecSMatMultExpr< VT, MT > This
Type of this TDVecSMatMultExpr instance.
Definition: TDVecSMatMultExpr.h:137
Header file for the Computation base class.
Constraints on the storage order of matrix types.
Header file for the RequiresEvaluation type trait.
friend EnableIf< UseSMPAssign< VT2 > >::Type smpAssign(SparseVector< VT2, true > &lhs, const TDVecSMatMultExpr &rhs)
SMP assignment of a transpose dense vector-sparse matrix multiplication to a sparse vector ( )...
Definition: TDVecSMatMultExpr.h:634
friend void assign(SparseVector< VT2, true > &lhs, const TDVecSMatMultExpr &rhs)
Assignment of a transpose dense vector-sparse matrix multiplication to a sparse vector ( )...
Definition: TDVecSMatMultExpr.h:383
const ResultType CompositeType
Data type for composite expression templates.
Definition: TDVecSMatMultExpr.h:142
RightOperand mat_
Right-hand side sparse matrix of the multiplication expression.
Definition: TDVecSMatMultExpr.h:294
Base class for sparse matrices.The SparseMatrix class is a base class for all sparse matrix classes...
Definition: Forward.h:117
LeftOperand vec_
Left-hand side dense vector of the multiplication expression.
Definition: TDVecSMatMultExpr.h:293
bool isDefault(const DiagonalProxy< MT > &proxy)
Returns whether the represented element is in default state.
Definition: DiagonalProxy.h:547
Constraint on the data type.
MultTrait< VRT, MRT >::Type ResultType
Result type for expression template evaluations.
Definition: TDVecSMatMultExpr.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
ReturnType operator[](size_t index) const
Subscript operator for the direct access to the vector elements.
Definition: TDVecSMatMultExpr.h:183
LeftOperand leftOperand() const
Returns the left-hand side dense vector operand.
Definition: TDVecSMatMultExpr.h:232
size_t size() const
Returns the current size/dimension of the vector.
Definition: TDVecSMatMultExpr.h:222
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.
friend void subAssign(DenseVector< VT2, true > &lhs, const TDVecSMatMultExpr &rhs)
Subtraction assignment of a transpose dense vector-sparse matrix multiplication to a dense vector ( )...
Definition: TDVecSMatMultExpr.h:486
Header file for the multiplication trait.
ResultType::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: TDVecSMatMultExpr.h:139
Header file for the IsSymmetric type trait.
Namespace of the Blaze C++ math library.
Definition: Blaze.h:57
bool isAliased(const T *alias) const
Returns whether the expression is aliased with the given address alias.
Definition: TDVecSMatMultExpr.h:266
ReturnType at(size_t index) const
Checked access to the vector elements.
Definition: TDVecSMatMultExpr.h:209
SelectType< evaluateMatrix, const MRT, MCT >::Type RT
Composite type of the right-hand side sparse matrix expression.
Definition: TDVecSMatMultExpr.h:154
friend void multAssign(DenseVector< VT2, true > &lhs, const TDVecSMatMultExpr &rhs)
Multiplication assignment of a transpose dense vector-sparse matrix multiplication to a dense vector ...
Definition: TDVecSMatMultExpr.h:561
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
Header file for the Columns type trait.
Base class for N-dimensional dense vectors.The DenseVector class is a base class for all arbitrarily ...
Definition: DenseVector.h:70
RightOperand rightOperand() const
Returns the right-hand side sparse matrix operand.
Definition: TDVecSMatMultExpr.h:242
Header file for the IsAligned type trait.
friend EnableIf< UseSMPAssign< VT2 > >::Type smpAddAssign(DenseVector< VT2, true > &lhs, const TDVecSMatMultExpr &rhs)
Addition assignment of a transpose dense vector-sparse matrix multiplication to a dense vector ( )...
Definition: TDVecSMatMultExpr.h:665
#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
Constraint on the data type.
Header file for the SelectType class template.
Header file for all forward declarations for expression class templates.
Header file for the EnableIf class template.
SelectType< IsExpression< MT >::value, const MT, const MT & >::Type RightOperand
Composite type of the right-hand side sparse matrix expression.
Definition: TDVecSMatMultExpr.h:148
Header file for the serial shim.
Compile time check for resizable data types.This type trait tests whether the given data type is a re...
Definition: IsResizable.h:75
#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: RowMajorMatrix.h:79
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.
MT::CompositeType MCT
Composite type of the right-hand side sparse matrix expression.
Definition: TDVecSMatMultExpr.h:109
Base template for the MultTrait class.
Definition: MultTrait.h:138
Substitution Failure Is Not An Error (SFINAE) class.The EnableIf class template is an auxiliary tool ...
Definition: EnableIf.h:184
Header file for the reset shim.
Constraint on the data type.
ResultType::ElementType ElementType
Resulting element type.
Definition: TDVecSMatMultExpr.h:140
Header file for the isDefault shim.
Header file for the TVecMatMultExpr base class.
Constraint on the data type.
friend void addAssign(DenseVector< VT2, true > &lhs, const TDVecSMatMultExpr &rhs)
Addition assignment of a transpose dense vector-sparse matrix multiplication to a dense vector ( )...
Definition: TDVecSMatMultExpr.h:411
VT::ResultType VRT
Result type of the left-hand side dense vector expression.
Definition: TDVecSMatMultExpr.h:106
SelectType< evaluateVector, const VRT, VCT >::Type LT
Composite type of the left-hand side dense vector expression.
Definition: TDVecSMatMultExpr.h:151
Header file for the RemoveReference type trait.
friend EnableIf< UseSMPAssign< VT2 > >::Type smpAssign(DenseVector< VT2, true > &lhs, const TDVecSMatMultExpr &rhs)
SMP assignment of a transpose dense vector-sparse matrix multiplication to a dense vector ( )...
Definition: TDVecSMatMultExpr.h:596
const ElementType ReturnType
Return type for expression template evaluations.
Definition: TDVecSMatMultExpr.h:141
TDVecSMatMultExpr(const VT &vec, const MT &mat)
Constructor for the TDVecSMatMultExpr class.
Definition: TDVecSMatMultExpr.h:169
friend EnableIf< UseSMPAssign< VT2 > >::Type smpSubAssign(DenseVector< VT2, true > &lhs, const TDVecSMatMultExpr &rhs)
SMP subtraction assignment of a transpose dense vector-sparse matrix multiplication to a dense vector...
Definition: TDVecSMatMultExpr.h:709
friend void assign(DenseVector< VT2, true > &lhs, const TDVecSMatMultExpr &rhs)
Assignment of a transpose dense vector-sparse matrix multiplication to a dense vector ( )...
Definition: TDVecSMatMultExpr.h:310
#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
#define BLAZE_CONSTRAINT_MUST_FORM_VALID_TVECMATMULTEXPR(T1, T2)
Constraint on the data type.In case the given data types T1 and T2 do not form a valid vector/matrix ...
Definition: TVecMatMultExpr.h:166
VT::CompositeType VCT
Composite type of the left-hand side dense vector expression.
Definition: TDVecSMatMultExpr.h:108
bool canAlias(const T *alias) const
Returns whether the expression can alias with the given address alias.
Definition: TDVecSMatMultExpr.h:254
const DMatTransExpr< MT,!SO > trans(const DenseMatrix< MT, SO > &dm)
Calculation of the transpose of the given dense matrix.
Definition: DMatTransExpr.h:944
Header file for the IsComputation type trait class.
Base class for sparse vectors.The SparseVector class is a base class for all arbitrarily sized (N-dim...
Definition: Forward.h:118
#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
#define BLAZE_CONSTRAINT_MUST_BE_ROW_VECTOR_TYPE(T)
Constraint on the data type.In case the given data type T is not a row dense or sparse vector type (i...
Definition: RowVector.h:79
Header file for the SubvectorExprTrait class template.
Header file for exception macros.
Constraint on the data type.
Header file for the IsResizable type trait.
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
Constraint on the transpose flag of vector types.
Header file for the IsExpression type trait class.
Header file for the FunctionTrace class.
MT::ResultType MRT
Result type of the right-hand side sparse matrix expression.
Definition: TDVecSMatMultExpr.h:107