SMatDVecMultExpr.h
Go to the documentation of this file.
1 //=================================================================================================
33 //=================================================================================================
34 
35 #ifndef _BLAZE_MATH_EXPRESSIONS_SMATDVECMULTEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_SMATDVECMULTEXPR_H_
37 
38 
39 //*************************************************************************************************
40 // Includes
41 //*************************************************************************************************
42 
53 #include <blaze/math/shims/Reset.h>
67 #include <blaze/util/Assert.h>
69 #include <blaze/util/DisableIf.h>
70 #include <blaze/util/EnableIf.h>
71 #include <blaze/util/Exception.h>
73 #include <blaze/util/SelectType.h>
74 #include <blaze/util/Types.h>
76 
77 
78 namespace blaze {
79 
80 //=================================================================================================
81 //
82 // CLASS SMATDVECMULTEXPR
83 //
84 //=================================================================================================
85 
86 //*************************************************************************************************
93 template< typename MT // Type of the left-hand side sparse matrix
94  , typename VT > // Type of the right-hand side dense vector
95 class SMatDVecMultExpr : public DenseVector< SMatDVecMultExpr<MT,VT>, false >
96  , private MatVecMultExpr
97  , private Computation
98 {
99  private:
100  //**Type definitions****************************************************************************
101  typedef typename MT::ResultType MRT;
102  typedef typename VT::ResultType VRT;
103  typedef typename MT::CompositeType MCT;
104  typedef typename VT::CompositeType VCT;
105  //**********************************************************************************************
106 
107  //**********************************************************************************************
109  enum { evaluateMatrix = RequiresEvaluation<MT>::value };
110  //**********************************************************************************************
111 
112  //**********************************************************************************************
114  enum { evaluateVector = IsComputation<VT>::value || RequiresEvaluation<VT>::value };
115  //**********************************************************************************************
116 
117  //**********************************************************************************************
119 
125  enum { useAssign = evaluateMatrix || evaluateVector };
126  //**********************************************************************************************
127 
128  //**********************************************************************************************
130  template< typename VT2 >
132  struct UseAssign {
133  enum { value = useAssign };
134  };
136  //**********************************************************************************************
137 
138  //**********************************************************************************************
140 
144  template< typename T1 >
145  struct UseSMPAssign {
146  enum { value = useAssign };
147  };
149  //**********************************************************************************************
150 
151  public:
152  //**Type definitions****************************************************************************
157  typedef const ElementType ReturnType;
158 
161 
163  typedef typename SelectType< IsExpression<MT>::value, const MT, const MT& >::Type LeftOperand;
164 
166  typedef typename SelectType< IsExpression<VT>::value, const VT, const VT& >::Type RightOperand;
167 
170 
173  //**********************************************************************************************
174 
175  //**Compilation flags***************************************************************************
177  enum { vectorizable = 0 };
178 
180  enum { smpAssignable = !evaluateMatrix && MT::smpAssignable &&
181  !evaluateVector && VT::smpAssignable };
182  //**********************************************************************************************
183 
184  //**Constructor*********************************************************************************
190  explicit inline SMatDVecMultExpr( const MT& mat, const VT& vec )
191  : mat_( mat ) // Left-hand side sparse matrix of the multiplication expression
192  , vec_( vec ) // Right-hand side dense vector of the multiplication expression
193  {
194  BLAZE_INTERNAL_ASSERT( mat_.columns() == vec_.size(), "Invalid matrix and vector sizes" );
195  }
196  //**********************************************************************************************
197 
198  //**Subscript operator**************************************************************************
204  inline ReturnType operator[]( size_t index ) const {
205  BLAZE_INTERNAL_ASSERT( index < mat_.rows(), "Invalid vector access index" );
206 
208 
209  ElementType tmp = ElementType();
210 
211  // Early exit
212  if( mat_.columns() == 0UL )
213  return tmp;
214 
215  // Fast computation in case the left-hand side sparse matrix directly provides iterators
217  {
218  MCT A( mat_ ); // Evaluation of the left-hand side sparse matrix operand
219 
220  const ConstIterator end( A.end(index) );
221  ConstIterator element( A.begin(index) );
222 
223  // Early exit in case row 'index' is empty
224  if( element == end )
225  return tmp;
226 
227  // Calculating element 'index' for numeric data types
229  {
230  const size_t ipos( A.nonZeros(index) & size_t(-2) );
231  ElementType tmp2 = ElementType();
232 
233  for( size_t i=0UL; i<ipos; i+=2UL )
234  {
235  const ElementType value1( element->value() );
236  const size_t index1( element->index() );
237  ++element;
238  const ElementType value2( element->value() );
239  const size_t index2( element->index() );
240  ++element;
241 
242  tmp += value1 * vec_[index1];
243  tmp2 += value2 * vec_[index2];
244  }
245  if( element!=end ) {
246  tmp += element->value() * vec_[element->index()];
247  }
248 
249  tmp += tmp2;
250  }
251 
252  // Calculating element 'index' for non-numeric data types
253  else {
254  tmp = element->value() * vec_[element->index()];
255  ++element;
256  for( ; element!=end; ++element )
257  tmp += element->value() * vec_[element->index()];
258  }
259  }
260 
261  // Default computation in case the left-hand side sparse matrix doesn't provide iterators
262  else {
263  tmp = mat_(index,0UL) * vec_[0UL];
264  for( size_t k=1UL; k<mat_.columns(); ++k ) {
265  tmp += mat_(index,k) * vec_[k];
266  }
267  }
268 
269  return tmp;
270  }
271  //**********************************************************************************************
272 
273  //**At function*********************************************************************************
280  inline ReturnType at( size_t index ) const {
281  if( index >= mat_.rows() ) {
282  BLAZE_THROW_OUT_OF_RANGE( "Invalid vector access index" );
283  }
284  return (*this)[index];
285  }
286  //**********************************************************************************************
287 
288  //**Size function*******************************************************************************
293  inline size_t size() const {
294  return mat_.rows();
295  }
296  //**********************************************************************************************
297 
298  //**Left operand access*************************************************************************
303  inline LeftOperand leftOperand() const {
304  return mat_;
305  }
306  //**********************************************************************************************
307 
308  //**Right operand access************************************************************************
313  inline RightOperand rightOperand() const {
314  return vec_;
315  }
316  //**********************************************************************************************
317 
318  //**********************************************************************************************
324  template< typename T >
325  inline bool canAlias( const T* alias ) const {
326  return ( mat_.isAliased( alias ) || vec_.isAliased( alias ) );
327  }
328  //**********************************************************************************************
329 
330  //**********************************************************************************************
336  template< typename T >
337  inline bool isAliased( const T* alias ) const {
338  return ( mat_.isAliased( alias ) || vec_.isAliased( alias ) );
339  }
340  //**********************************************************************************************
341 
342  //**********************************************************************************************
347  inline bool isAligned() const {
348  return vec_.isAligned();
349  }
350  //**********************************************************************************************
351 
352  //**********************************************************************************************
357  inline bool canSMPAssign() const {
358  return ( size() > SMP_SMATDVECMULT_THRESHOLD );
359  }
360  //**********************************************************************************************
361 
362  private:
363  //**Member variables****************************************************************************
364  LeftOperand mat_;
365  RightOperand vec_;
366  //**********************************************************************************************
367 
368  //**Assignment to dense vectors*****************************************************************
384  template< typename VT1 > // Type of the target dense vector
385  friend inline typename EnableIf< UseAssign<VT1> >::Type
386  assign( DenseVector<VT1,false>& lhs, const SMatDVecMultExpr& rhs )
387  {
389 
390  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
391 
393 
394  if( rhs.mat_.columns() == 0UL ) {
395  reset( ~lhs );
396  return;
397  }
398 
399  LT A( serial( rhs.mat_ ) ); // Evaluation of the left-hand side sparse matrix operand
400  RT x( serial( rhs.vec_ ) ); // Evaluation of the right-hand side dense vector operand
401 
402  BLAZE_INTERNAL_ASSERT( A.rows() == rhs.mat_.rows() , "Invalid number of rows" );
403  BLAZE_INTERNAL_ASSERT( A.columns() == rhs.mat_.columns(), "Invalid number of columns" );
404  BLAZE_INTERNAL_ASSERT( x.size() == rhs.vec_.size() , "Invalid vector size" );
405  BLAZE_INTERNAL_ASSERT( A.rows() == (~lhs).size() , "Invalid vector size" );
406 
407  assign( ~lhs, A * x );
408  }
410  //**********************************************************************************************
411 
412  //**Assignment to sparse vectors****************************************************************
428  template< typename VT1 > // Type of the target sparse vector
429  friend inline typename EnableIf< UseAssign<VT1> >::Type
430  assign( SparseVector<VT1,false>& lhs, const SMatDVecMultExpr& rhs )
431  {
433 
437 
438  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
439 
440  const ResultType tmp( serial( rhs ) );
441  assign( ~lhs, tmp );
442  }
444  //**********************************************************************************************
445 
446  //**Addition assignment to dense vectors********************************************************
462  template< typename VT1 > // Type of the target dense vector
463  friend inline typename EnableIf< UseAssign<VT1> >::Type
464  addAssign( DenseVector<VT1,false>& lhs, const SMatDVecMultExpr& rhs )
465  {
467 
468  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
469 
471 
472  if( rhs.mat_.columns() == 0UL ) {
473  return;
474  }
475 
476  LT A( serial( rhs.mat_ ) ); // Evaluation of the left-hand side sparse matrix operand
477  RT x( serial( rhs.vec_ ) ); // Evaluation of the right-hand side dense vector operand
478 
479  BLAZE_INTERNAL_ASSERT( A.rows() == rhs.mat_.rows() , "Invalid number of rows" );
480  BLAZE_INTERNAL_ASSERT( A.columns() == rhs.mat_.columns(), "Invalid number of columns" );
481  BLAZE_INTERNAL_ASSERT( x.size() == rhs.vec_.size() , "Invalid vector size" );
482  BLAZE_INTERNAL_ASSERT( A.rows() == (~lhs).size() , "Invalid vector size" );
483 
484  addAssign( ~lhs, A * x );
485  }
487  //**********************************************************************************************
488 
489  //**Addition assignment to sparse vectors*******************************************************
490  // No special implementation for the addition assignment to sparse vectors.
491  //**********************************************************************************************
492 
493  //**Subtraction assignment to dense vectors*****************************************************
509  template< typename VT1 > // Type of the target dense vector
510  friend inline typename EnableIf< UseAssign<VT1> >::Type
511  subAssign( DenseVector<VT1,false>& lhs, const SMatDVecMultExpr& rhs )
512  {
514 
515  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
516 
518 
519  if( rhs.mat_.columns() == 0UL ) {
520  return;
521  }
522 
523  LT A( serial( rhs.mat_ ) ); // Evaluation of the left-hand side sparse matrix operand
524  RT x( serial( rhs.vec_ ) ); // Evaluation of the right-hand side dense vector operand
525 
526  BLAZE_INTERNAL_ASSERT( A.rows() == rhs.mat_.rows() , "Invalid number of rows" );
527  BLAZE_INTERNAL_ASSERT( A.columns() == rhs.mat_.columns(), "Invalid number of columns" );
528  BLAZE_INTERNAL_ASSERT( x.size() == rhs.vec_.size() , "Invalid vector size" );
529  BLAZE_INTERNAL_ASSERT( A.rows() == (~lhs).size() , "Invalid vector size" );
530 
531  subAssign( ~lhs, A * x );
532  }
534  //**********************************************************************************************
535 
536  //**Subtraction assignment to sparse vectors****************************************************
537  // No special implementation for the subtraction assignment to sparse vectors.
538  //**********************************************************************************************
539 
540  //**Multiplication assignment to dense vectors**************************************************
556  template< typename VT1 > // Type of the target dense vector
557  friend inline typename EnableIf< UseAssign<VT1> >::Type
558  multAssign( DenseVector<VT1,false>& lhs, const SMatDVecMultExpr& rhs )
559  {
561 
565 
566  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
567 
568  const ResultType tmp( serial( rhs ) );
569  multAssign( ~lhs, tmp );
570  }
572  //**********************************************************************************************
573 
574  //**Multiplication assignment to sparse vectors*************************************************
575  // No special implementation for the multiplication assignment to sparse vectors.
576  //**********************************************************************************************
577 
578  //**SMP assignment to dense vectors*************************************************************
593  template< typename VT1 > // Type of the target dense vector
594  friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
595  smpAssign( DenseVector<VT1,false>& lhs, const SMatDVecMultExpr& rhs )
596  {
598 
599  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
600 
602 
603  if( rhs.mat_.columns() == 0UL ) {
604  reset( ~lhs );
605  return;
606  }
607 
608  LT A( rhs.mat_ ); // Evaluation of the left-hand side sparse matrix operand
609  RT x( rhs.vec_ ); // Evaluation of the right-hand side dense vector operand
610 
611  BLAZE_INTERNAL_ASSERT( A.rows() == rhs.mat_.rows() , "Invalid number of rows" );
612  BLAZE_INTERNAL_ASSERT( A.columns() == rhs.mat_.columns(), "Invalid number of columns" );
613  BLAZE_INTERNAL_ASSERT( x.size() == rhs.vec_.size() , "Invalid vector size" );
614  BLAZE_INTERNAL_ASSERT( A.rows() == (~lhs).size() , "Invalid vector size" );
615 
616  smpAssign( ~lhs, A * x );
617  }
619  //**********************************************************************************************
620 
621  //**SMP assignment to sparse vectors************************************************************
636  template< typename VT1 > // Type of the target sparse vector
637  friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
638  smpAssign( SparseVector<VT1,false>& lhs, const SMatDVecMultExpr& rhs )
639  {
641 
645 
646  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
647 
648  const ResultType tmp( rhs );
649  smpAssign( ~lhs, tmp );
650  }
652  //**********************************************************************************************
653 
654  //**SMP addition assignment to dense vectors****************************************************
669  template< typename VT1 > // Type of the target dense vector
670  friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
671  smpAddAssign( DenseVector<VT1,false>& lhs, const SMatDVecMultExpr& rhs )
672  {
674 
675  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
676 
678 
679  if( rhs.mat_.columns() == 0UL ) {
680  return;
681  }
682 
683  LT A( rhs.mat_ ); // Evaluation of the left-hand side sparse matrix operand
684  RT x( rhs.vec_ ); // Evaluation of the right-hand side dense vector operand
685 
686  BLAZE_INTERNAL_ASSERT( A.rows() == rhs.mat_.rows() , "Invalid number of rows" );
687  BLAZE_INTERNAL_ASSERT( A.columns() == rhs.mat_.columns(), "Invalid number of columns" );
688  BLAZE_INTERNAL_ASSERT( x.size() == rhs.vec_.size() , "Invalid vector size" );
689  BLAZE_INTERNAL_ASSERT( A.rows() == (~lhs).size() , "Invalid vector size" );
690 
691  smpAddAssign( ~lhs, A * x );
692  }
694  //**********************************************************************************************
695 
696  //**SMP addition assignment to sparse vectors***************************************************
697  // No special implementation for the SMP addition assignment to sparse vectors.
698  //**********************************************************************************************
699 
700  //**SMP subtraction assignment to dense vectors*************************************************
715  template< typename VT1 > // Type of the target dense vector
716  friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
717  smpSubAssign( DenseVector<VT1,false>& lhs, const SMatDVecMultExpr& rhs )
718  {
720 
721  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
722 
724 
725  if( rhs.mat_.columns() == 0UL ) {
726  return;
727  }
728 
729  LT A( rhs.mat_ ); // Evaluation of the left-hand side sparse matrix operand
730  RT x( rhs.vec_ ); // Evaluation of the right-hand side dense vector operand
731 
732  BLAZE_INTERNAL_ASSERT( A.rows() == rhs.mat_.rows() , "Invalid number of rows" );
733  BLAZE_INTERNAL_ASSERT( A.columns() == rhs.mat_.columns(), "Invalid number of columns" );
734  BLAZE_INTERNAL_ASSERT( x.size() == rhs.vec_.size() , "Invalid vector size" );
735  BLAZE_INTERNAL_ASSERT( A.rows() == (~lhs).size() , "Invalid vector size" );
736 
737  smpSubAssign( ~lhs, A * x );
738  }
740  //**********************************************************************************************
741 
742  //**SMP subtraction assignment to sparse vectors************************************************
743  // No special implementation for the SMP subtraction assignment to sparse vectors.
744  //**********************************************************************************************
745 
746  //**SMP multiplication assignment to dense vectors**********************************************
761  template< typename VT1 > // Type of the target dense vector
762  friend inline typename EnableIf< UseSMPAssign<VT1> >::Type
763  smpMultAssign( DenseVector<VT1,false>& lhs, const SMatDVecMultExpr& rhs )
764  {
766 
770 
771  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
772 
773  const ResultType tmp( rhs );
774  smpMultAssign( ~lhs, tmp );
775  }
777  //**********************************************************************************************
778 
779  //**SMP multiplication assignment to sparse vectors*********************************************
780  // No special implementation for the SMP multiplication assignment to sparse vectors.
781  //**********************************************************************************************
782 
783  //**Compile time checks*************************************************************************
791  //**********************************************************************************************
792 };
793 //*************************************************************************************************
794 
795 
796 
797 
798 //=================================================================================================
799 //
800 // GLOBAL BINARY ARITHMETIC OPERATORS
801 //
802 //=================================================================================================
803 
804 //*************************************************************************************************
835 template< typename T1 // Type of the left-hand side sparse matrix
836  , typename T2 > // Type of the right-hand side dense vector
837 inline const typename DisableIf< IsMatMatMultExpr<T1>, SMatDVecMultExpr<T1,T2> >::Type
839 {
841 
842  if( (~mat).columns() != (~vec).size() ) {
843  BLAZE_THROW_INVALID_ARGUMENT( "Matrix and vector sizes do not match" );
844  }
845 
846  return SMatDVecMultExpr<T1,T2>( ~mat, ~vec );
847 }
848 //*************************************************************************************************
849 
850 
851 
852 
853 //=================================================================================================
854 //
855 // GLOBAL RESTRUCTURING BINARY ARITHMETIC OPERATORS
856 //
857 //=================================================================================================
858 
859 //*************************************************************************************************
872 template< typename T1 // Type of the left-hand side sparse matrix
873  , bool SO // Storage order of the left-hand side sparse matrix
874  , typename T2 > // Type of the right-hand side dense vector
875 inline const typename EnableIf< IsMatMatMultExpr<T1>, typename MultExprTrait<T1,T2>::Type >::Type
877 {
879 
881 
882  return (~mat).leftOperand() * ( (~mat).rightOperand() * vec );
883 }
884 //*************************************************************************************************
885 
886 
887 
888 
889 //=================================================================================================
890 //
891 // SIZE SPECIALIZATIONS
892 //
893 //=================================================================================================
894 
895 //*************************************************************************************************
897 template< typename MT, typename VT >
898 struct Size< SMatDVecMultExpr<MT,VT> > : public Rows<MT>
899 {};
901 //*************************************************************************************************
902 
903 
904 
905 
906 //=================================================================================================
907 //
908 // ISALIGNED SPECIALIZATIONS
909 //
910 //=================================================================================================
911 
912 //*************************************************************************************************
914 template< typename MT, typename VT >
915 struct IsAligned< SMatDVecMultExpr<MT,VT> > : public IsTrue< IsAligned<VT>::value >
916 {};
918 //*************************************************************************************************
919 
920 
921 
922 
923 //=================================================================================================
924 //
925 // EXPRESSION TRAIT SPECIALIZATIONS
926 //
927 //=================================================================================================
928 
929 //*************************************************************************************************
931 template< typename MT, typename VT, bool AF >
932 struct SubvectorExprTrait< SMatDVecMultExpr<MT,VT>, AF >
933 {
934  public:
935  //**********************************************************************************************
936  typedef typename MultExprTrait< typename SubmatrixExprTrait<const MT,AF>::Type
937  , typename SubvectorExprTrait<const VT,AF>::Type >::Type Type;
938  //**********************************************************************************************
939 };
941 //*************************************************************************************************
942 
943 } // namespace blaze
944 
945 #endif
#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.