35 #ifndef _BLAZE_MATH_EXPRESSIONS_SMATDVECMULTEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_SMATDVECMULTEXPR_H_
95 class SMatDVecMultExpr :
public DenseVector< SMatDVecMultExpr<MT,VT>, false >
96 ,
private MatVecMultExpr
125 enum { useAssign = evaluateMatrix || evaluateVector };
130 template<
typename VT2 >
133 enum { value = useAssign };
144 template<
typename T1 >
145 struct UseSMPAssign {
146 enum { value = useAssign };
177 enum { vectorizable = 0 };
180 enum { smpAssignable = !evaluateMatrix && MT::smpAssignable &&
181 !evaluateVector && VT::smpAssignable };
212 if(
mat_.columns() == 0UL )
220 const ConstIterator
end( A.end(index) );
221 ConstIterator element( A.begin(index) );
230 const size_t ipos( A.nonZeros(index) &
size_t(-2) );
233 for(
size_t i=0UL; i<ipos; i+=2UL )
235 const ElementType value1( element->value() );
236 const size_t index1( element->index() );
238 const ElementType value2( element->value() );
239 const size_t index2( element->index() );
242 tmp += value1 *
vec_[index1];
243 tmp2 += value2 * vec_[index2];
246 tmp += element->value() *
vec_[element->index()];
254 tmp = element->value() *
vec_[element->index()];
256 for( ; element!=
end; ++element )
257 tmp += element->value() *
vec_[element->index()];
264 for(
size_t k=1UL; k<
mat_.columns(); ++k ) {
280 inline ReturnType
at(
size_t index )
const {
281 if( index >=
mat_.rows() ) {
284 return (*
this)[index];
324 template<
typename T >
326 return (
mat_.isAliased( alias ) ||
vec_.isAliased( alias ) );
336 template<
typename T >
338 return (
mat_.isAliased( alias ) ||
vec_.isAliased( alias ) );
348 return vec_.isAligned();
358 return (
size() > SMP_SMATDVECMULT_THRESHOLD );
384 template<
typename VT1 >
394 if( rhs.mat_.columns() == 0UL ) {
399 LT A(
serial( rhs.mat_ ) );
400 RT x(
serial( rhs.vec_ ) );
407 assign( ~lhs, A * x );
428 template<
typename VT1 >
440 const ResultType tmp(
serial( rhs ) );
462 template<
typename VT1 >
463 friend inline typename EnableIf< UseAssign<VT1> >::Type
472 if( rhs.mat_.columns() == 0UL ) {
476 LT A(
serial( rhs.mat_ ) );
477 RT x(
serial( rhs.vec_ ) );
484 addAssign( ~lhs, A * x );
509 template<
typename VT1 >
510 friend inline typename EnableIf< UseAssign<VT1> >::Type
519 if( rhs.mat_.columns() == 0UL ) {
523 LT A(
serial( rhs.mat_ ) );
524 RT x(
serial( rhs.vec_ ) );
531 subAssign( ~lhs, A * x );
556 template<
typename VT1 >
557 friend inline typename EnableIf< UseAssign<VT1> >::Type
568 const ResultType tmp(
serial( rhs ) );
569 multAssign( ~lhs, tmp );
593 template<
typename VT1 >
594 friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
603 if( rhs.mat_.columns() == 0UL ) {
636 template<
typename VT1 >
637 friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
648 const ResultType tmp( rhs );
669 template<
typename VT1 >
670 friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
679 if( rhs.mat_.columns() == 0UL ) {
715 template<
typename VT1 >
716 friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
725 if( rhs.mat_.columns() == 0UL ) {
761 template<
typename VT1 >
762 friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
773 const ResultType tmp( rhs );
835 template<
typename T1
837 inline const typename DisableIf< IsMatMatMultExpr<T1>, SMatDVecMultExpr<T1,T2> >::Type
872 template<
typename T1
875 inline const typename EnableIf< IsMatMatMultExpr<T1>,
typename MultExprTrait<T1,T2>::Type >::Type
882 return (~mat).leftOperand() * ( (~mat).rightOperand() * vec );
897 template<
typename MT,
typename VT >
898 struct Size< SMatDVecMultExpr<MT,VT> > :
public Rows<MT>
914 template<
typename MT,
typename VT >
915 struct IsAligned< SMatDVecMultExpr<MT,VT> > :
public IsTrue< IsAligned<VT>::value >
931 template<
typename MT,
typename VT,
bool AF >
932 struct SubvectorExprTrait< SMatDVecMultExpr<MT,VT>, AF >
936 typedef typename MultExprTrait< typename SubmatrixExprTrait<const MT,AF>::Type
937 ,
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
Compile time check whether the given type is a computational expression template.This type trait clas...
Definition: IsComputation.h:89
Compile time check for numeric types.This type trait tests whether or not the given template paramete...
Definition: IsNumeric.h:98
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 size_t size(const Vector< VT, TF > &vector)
Returns the current size/dimension of the vector.
Definition: Vector.h:252
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
Expression object for sparse matrix-dense vector multiplications.The SMatDVecMultExpr class represent...
Definition: Forward.h:99
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::ElementType ElementType
Resulting element type.
Definition: SMatDVecMultExpr.h:156
Type ElementType
Type of the sparse matrix elements.
Definition: CompressedMatrix.h:259
LeftOperand leftOperand() const
Returns the left-hand side sparse matrix operand.
Definition: SMatDVecMultExpr.h:303
Header file for the DenseVector base class.
MultTrait< MRT, VRT >::Type ResultType
Result type for expression template evaluations.
Definition: SMatDVecMultExpr.h:154
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.
Constraints on the storage order of matrix types.
Header file for the RequiresEvaluation type trait.
bool canAlias(const T *alias) const
Returns whether the expression can alias with the given address alias.
Definition: SMatDVecMultExpr.h:325
RightOperand rightOperand() const
Returns the right-hand side dense vector operand.
Definition: SMatDVecMultExpr.h:313
size_t size() const
Returns the current size/dimension of the vector.
Definition: SMatDVecMultExpr.h:293
Base class for sparse matrices.The SparseMatrix class is a base class for all sparse matrix classes...
Definition: Forward.h:117
Constraint on the data type.
SelectType< useAssign, const ResultType, const SMatDVecMultExpr & >::Type CompositeType
Data type for composite expression templates.
Definition: SMatDVecMultExpr.h:160
Constraint on the transpose flag of vector types.
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:261
ReturnType at(size_t index) const
Checked access to the vector elements.
Definition: SMatDVecMultExpr.h:280
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.
Namespace of the Blaze C++ math library.
Definition: Blaze.h:57
const Element * ConstIterator
Iterator over constant elements.
Definition: CompressedMatrix.h:2592
SelectType< evaluateVector, const VRT, VCT >::Type RT
Type for the assignment of the right-hand side dense matrix operand.
Definition: SMatDVecMultExpr.h:172
RightOperand vec_
Right-hand side dense vector of the multiplication expression.
Definition: SMatDVecMultExpr.h:365
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
LeftOperand mat_
Left-hand side sparse matrix of the multiplication expression.
Definition: SMatDVecMultExpr.h:364
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.
SelectType< IsExpression< VT >::value, const VT, const VT & >::Type RightOperand
Composite type of the right-hand side dense vector expression.
Definition: SMatDVecMultExpr.h:166
#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
bool canSMPAssign() const
Returns whether the expression can be used in SMP assignments.
Definition: SMatDVecMultExpr.h:357
#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
MT::ResultType MRT
Result type of the left-hand side sparse matrix expression.
Definition: SMatDVecMultExpr.h:101
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.
Header file for the serial shim.
SMatDVecMultExpr(const MT &mat, const VT &vec)
Constructor for the SMatDVecMultExpr class.
Definition: SMatDVecMultExpr.h:190
bool isAliased(const T *alias) const
Returns whether the expression is aliased with the given address alias.
Definition: SMatDVecMultExpr.h:337
SelectType< IsExpression< MT >::value, const MT, const MT & >::Type LeftOperand
Composite type of the left-hand side sparse matrix expression.
Definition: SMatDVecMultExpr.h:163
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: RowMajorMatrix.h:79
Removal of reference modifiers.The RemoveCV type trait removes any reference modifiers from the given...
Definition: RemoveReference.h:69
const ElementType ReturnType
Return type for expression template evaluations.
Definition: SMatDVecMultExpr.h:157
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
MT::CompositeType MCT
Composite type of the left-hand side sparse matrix expression.
Definition: SMatDVecMultExpr.h:103
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::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: SMatDVecMultExpr.h:155
Header file for the RemoveReference type trait.
ReturnType operator[](size_t index) const
Subscript operator for the direct access to the vector elements.
Definition: SMatDVecMultExpr.h:204
#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
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
Base class for sparse vectors.The SparseVector class is a base class for all arbitrarily sized (N-dim...
Definition: Forward.h:118
SelectType< evaluateMatrix, const MRT, MCT >::Type LT
Type for the assignment of the left-hand side sparse matrix operand.
Definition: SMatDVecMultExpr.h:169
SMatDVecMultExpr< MT, VT > This
Type of this SMatDVecMultExpr instance.
Definition: SMatDVecMultExpr.h:153
#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.
bool isAligned() const
Returns whether the operands of the expression are properly aligned in memory.
Definition: SMatDVecMultExpr.h:347
Header file for exception macros.
VT::ResultType VRT
Result type of the right-hand side dense vector expression.
Definition: SMatDVecMultExpr.h:102
Header file for the MatVecMultExpr base class.
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.
VT::CompositeType VCT
Composite type of the right-hand side dense vector expression.
Definition: SMatDVecMultExpr.h:104
Size type of the Blaze library.
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.