35 #ifndef _BLAZE_MATH_EXPRESSIONS_SVECSVECMULTEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_SVECSVECMULTEXPR_H_
85 template<
typename VT1
88 class SVecSVecMultExpr :
public SparseVector< SVecSVecMultExpr<VT1,VT2,TF>, TF >
89 ,
private VecVecMultExpr
139 enum { smpAssignable = 0 };
211 template<
typename T >
213 return (
lhs_.canAlias( alias ) ||
rhs_.canAlias( alias ) );
223 template<
typename T >
225 return (
lhs_.isAliased( alias ) ||
rhs_.isAliased( alias ) );
247 template<
typename VT >
264 const LeftIterator lend( x.end() );
265 const RightIterator rend( y.end() );
267 LeftIterator l( x.begin() );
268 RightIterator r( y.begin() );
270 for( ; l!=lend; ++l ) {
271 while( r!=rend && r->index() < l->index() ) ++r;
273 if( l->index() == r->index() ) {
274 (~lhs)[l->index()] = l->value() * r->value();
294 template<
typename VT >
311 const LeftIterator lend( x.end() );
312 const RightIterator rend( y.end() );
314 LeftIterator l( x.begin() );
315 RightIterator r( y.begin() );
317 for( ; l!=lend; ++l ) {
318 while( r!=rend && r->index() < l->index() ) ++r;
320 if( l->index() == r->index() ) {
321 (~lhs).append( l->index(), l->value() * r->value() );
341 template<
typename VT >
358 const LeftIterator lend( x.end() );
359 const RightIterator rend( y.end() );
361 LeftIterator l( x.begin() );
362 RightIterator r( y.begin() );
364 for( ; l!=lend; ++l ) {
365 while( r!=rend && r->index() < l->index() ) ++r;
367 if( l->index() == r->index() ) {
368 (~lhs)[l->index()] += l->value() * r->value();
392 template<
typename VT >
409 const LeftIterator lend( x.end() );
410 const RightIterator rend( y.end() );
412 LeftIterator l( x.begin() );
413 RightIterator r( y.begin() );
415 for( ; l!=lend; ++l ) {
416 while( r!=rend && r->index() < l->index() ) ++r;
418 if( l->index() == r->index() ) {
419 (~lhs)[l->index()] -= l->value() * r->value();
443 template<
typename VT >
460 const LeftIterator lend( x.end() );
461 const RightIterator rend( y.end() );
463 LeftIterator l( x.begin() );
464 RightIterator r( y.begin() );
468 for( ; l!=lend; ++l ) {
469 while( r!=rend && r->index() < l->index() ) ++r;
471 if( l->index() == r->index() ) {
472 for( ; i<r->index(); ++i )
474 (~lhs)[l->index()] *= l->value() * r->value();
480 for( ; i<rhs.size(); ++i )
498 template<
typename VT >
516 VT tmp( rhs.size(), rhs.nonZeros() );
518 const Iterator1 end1( (~lhs).
end() );
519 const Iterator2 end2( x.end() );
520 const Iterator3 end3( y.end() );
522 Iterator1 i1( (~lhs).
begin() );
523 Iterator2 i2( x.begin() );
524 Iterator3 i3( y.begin() );
526 for( ; i1!=end1; ++i1 ) {
527 while( i2!=end2 && i2->index() < i1->index() ) ++i2;
528 if( i2==end2 )
break;
529 while( i3!=end3 && i3->index() < i1->index() ) ++i3;
530 if( i3==end3 )
break;
531 if( i1->index() == i2->index() && i1->index() == i3->index() ) {
532 tmp.append( i1->index(), i1->value() * i2->value() * i3->value() );
589 template<
typename T1
592 inline const SVecSVecMultExpr<T1,T2,TF>
597 if( (~lhs).
size() != (~rhs).
size() )
598 throw std::invalid_argument(
"Vector sizes do not match" );
615 template<
typename VT1,
typename VT2,
bool TF >
616 struct Size< SVecSVecMultExpr<VT1,VT2,TF> >
617 :
public Max< Size<VT1>, Size<VT2> >::Type
633 template<
typename VT1,
typename VT2,
bool TF,
bool AF >
634 struct SubvectorExprTrait< SVecSVecMultExpr<VT1,VT2,TF>, AF >
638 typedef typename MultExprTrait< typename SubvectorExprTrait<const VT1,AF>::Type
639 ,
typename SubvectorExprTrait<const VT2,AF>::Type >::Type Type;
Header file for the Max class template.
Header file for mathematical functions.
void swap(SymmetricMatrix< MT, SO, DF, NF > &a, SymmetricMatrix< MT, SO, DF, NF > &b)
Swapping the contents of two matrices.
Definition: SymmetricMatrix.h:195
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
SelectType< IsExpression< VT2 >::value, const VT2, const VT2 & >::Type RightOperand
Composite type of the right-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:134
Compile time check whether the given type is a temporary vector or matrix type.This type trait class ...
Definition: IsTemporary.h:87
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
MultTrait< RT1, RT2 >::Type ResultType
Result type for expression template evaluations.
Definition: SVecSVecMultExpr.h:120
Header file for the SparseVector base class.
BLAZE_ALWAYS_INLINE size_t size(const Vector< VT, TF > &vector)
Returns the current size/dimension of the vector.
Definition: Vector.h:258
VT1::TransposeType TT1
Transpose type of the left-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:100
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
Efficient implementation of a compressed matrix.The CompressedMatrix class template is the represent...
Definition: CompressedMatrix.h:205
SelectType< IsExpression< VT1 >::value, const VT1, const VT1 & >::Type LeftOperand
Composite type of the left-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:131
bool canAlias(const T *alias) const
Returns whether the expression can alias with the given address alias.
Definition: SVecSVecMultExpr.h:212
VT2::ResultType RT2
Result type of the right-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:95
const ResultType CompositeType
Data type for composite expression templates.
Definition: SVecSVecMultExpr.h:128
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
VT1::ReturnType RN1
Return type of the left-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:96
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.
size_t size() const
Returns the current size/dimension of the vector.
Definition: SVecSVecMultExpr.h:170
Constraint on the data type.
VT1::CompositeType CT1
Composite type of the left-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:98
Header file for the MultExprTrait class template.
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 IsTemporary type trait class.
Header file for the multiplication trait.
const Element * ConstIterator
Iterator over constant elements.
Definition: CompressedMatrix.h:2482
const MT::ElementType min(const DenseMatrix< MT, SO > &dm)
Returns the smallest element of the dense matrix.
Definition: DenseMatrix.h:947
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
MultExprTrait< RN1, RN2 >::Type ExprReturnType
Expression return type for the subscript operator.
Definition: SVecSVecMultExpr.h:114
Base class for N-dimensional dense vectors.The DenseVector class is a base class for all arbitrarily ...
Definition: DenseVector.h:70
VT2::ReturnType RN2
Return type of the right-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:97
#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.
CompressedMatrix< Type, false > TransposeType
Transpose type for expression template evaluations.
Definition: CompressedMatrix.h:2475
RightOperand rhs_
Right-hand side sparse vector of the multiplication expression.
Definition: SVecSVecMultExpr.h:232
LeftOperand leftOperand() const
Returns the left-hand side sparse vector operand.
Definition: SVecSVecMultExpr.h:190
BLAZE_ALWAYS_INLINE MT::Iterator begin(Matrix< MT, SO > &matrix, size_t i)
Returns an iterator to the first element of row/column i.
Definition: Matrix.h:195
Header file for the VecVecMultExpr base class.
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 serial shim.
const Type & ReturnType
Return type for expression template evaluations.
Definition: CompressedMatrix.h:2477
Removal of reference modifiers.The RemoveCV type trait removes any reference modifiers from the given...
Definition: RemoveReference.h:69
VT1::ResultType RT1
Result type of the left-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:94
Expression object for sparse vector-sparse vector multiplications.The SVecSVecMultExpr class represen...
Definition: Forward.h:119
ReturnType operator[](size_t index) const
Subscript operator for the direct access to the vector elements.
Definition: SVecSVecMultExpr.h:159
Header file for run time assertion macros.
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
ResultType::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: SVecSVecMultExpr.h:121
Header file for the reset shim.
BLAZE_ALWAYS_INLINE void reset(const NonNumericProxy< MT > &proxy)
Resetting the represented element to the default initial values.
Definition: NonNumericProxy.h:833
size_t nonZeros() const
Returns the number of non-zero elements in the sparse vector.
Definition: SVecSVecMultExpr.h:180
VT2::CompositeType CT2
Composite type of the right-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:99
const SelectType< returnExpr, ExprReturnType, ElementType >::Type ReturnType
Return type for expression template evaluations.
Definition: SVecSVecMultExpr.h:125
Header file for the RemoveReference type trait.
LeftOperand lhs_
Left-hand side sparse vector of the multiplication expression.
Definition: SVecSVecMultExpr.h:231
Constraint on the data type.
SVecSVecMultExpr< VT1, VT2, TF > This
Type of this SVecSVecMultExpr instance.
Definition: SVecSVecMultExpr.h:119
#define BLAZE_CONSTRAINT_MUST_FORM_VALID_VECVECMULTEXPR(T1, T2)
Constraint on the data type.In case the given data types T1 and T2 do not form a valid vector/vector ...
Definition: VecVecMultExpr.h:165
Header file for the IsComputation type trait class.
RightOperand rightOperand() const
Returns the right-hand side sparse vector operand.
Definition: SVecSVecMultExpr.h:200
bool isAliased(const T *alias) const
Returns whether the expression is aliased with the given address alias.
Definition: SVecSVecMultExpr.h:224
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
SVecSVecMultExpr(const VT1 &lhs, const VT2 &rhs)
Constructor for the SVecSVecMultExpr class.
Definition: SVecSVecMultExpr.h:145
Header file for basic type definitions.
Header file for the SubvectorExprTrait class template.
ResultType::ElementType ElementType
Resulting element type.
Definition: SVecSVecMultExpr.h:122
Header file for the Size type trait.
Evaluation of the resulting expression type of a multiplication.Via this type trait it is possible to...
Definition: MultExprTrait.h:137
#define BLAZE_CONSTRAINT_MUST_BE_VECTOR_WITH_TRANSPOSE_FLAG(T, TF)
Constraint on the data type.In case the given data type T is not a dense or sparse vector type and in...
Definition: TransposeFlag.h:238
#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
VT2::TransposeType TT2
Transpose type of the right-hand side sparse vector expression.
Definition: SVecSVecMultExpr.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