DMatDMatAddExpr.h
Go to the documentation of this file.
1 //=================================================================================================
33 //=================================================================================================
34 
35 #ifndef _BLAZE_MATH_EXPRESSIONS_DMATDMATADDEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_DMATDMATADDEXPR_H_
37 
38 
39 //*************************************************************************************************
40 // Includes
41 //*************************************************************************************************
42 
43 #include <iterator>
51 #include <blaze/math/Intrinsics.h>
73 #include <blaze/system/Inline.h>
75 #include <blaze/util/Assert.h>
77 #include <blaze/util/EnableIf.h>
78 #include <blaze/util/Exception.h>
80 #include <blaze/util/mpl/And.h>
81 #include <blaze/util/mpl/Max.h>
82 #include <blaze/util/mpl/Or.h>
83 #include <blaze/util/SelectType.h>
84 #include <blaze/util/Types.h>
87 
88 
89 namespace blaze {
90 
91 //=================================================================================================
92 //
93 // CLASS DMATDMATADDEXPR
94 //
95 //=================================================================================================
96 
97 //*************************************************************************************************
104 template< typename MT1 // Type of the left-hand side dense matrix
105  , typename MT2 // Type of the right-hand side dense matrix
106  , bool SO > // Storage order
107 class DMatDMatAddExpr : public DenseMatrix< DMatDMatAddExpr<MT1,MT2,SO>, SO >
108  , private MatMatAddExpr
109  , private Computation
110 {
111  private:
112  //**Type definitions****************************************************************************
113  typedef typename MT1::ResultType RT1;
114  typedef typename MT2::ResultType RT2;
115  typedef typename MT1::ReturnType RN1;
116  typedef typename MT2::ReturnType RN2;
117  typedef typename MT1::CompositeType CT1;
118  typedef typename MT2::CompositeType CT2;
119  typedef typename MT1::ElementType ET1;
120  typedef typename MT2::ElementType ET2;
121  //**********************************************************************************************
122 
123  //**Return type evaluation**********************************************************************
125 
130  enum { returnExpr = !IsTemporary<RN1>::value && !IsTemporary<RN2>::value };
131 
134  //**********************************************************************************************
135 
136  //**Serial evaluation strategy******************************************************************
138 
144  enum { useAssign = RequiresEvaluation<MT1>::value || RequiresEvaluation<MT2>::value || !returnExpr };
145 
147  template< typename MT >
149  struct UseAssign {
150  enum { value = useAssign };
151  };
153  //**********************************************************************************************
154 
155  //**Parallel evaluation strategy****************************************************************
157 
163  template< typename MT >
164  struct UseSMPAssign {
165  enum { value = ( !MT1::smpAssignable || !MT2::smpAssignable ) && useAssign };
166  };
168  //**********************************************************************************************
169 
170  public:
171  //**Type definitions****************************************************************************
178 
181 
184 
186  typedef typename SelectType< IsExpression<MT1>::value, const MT1, const MT1& >::Type LeftOperand;
187 
189  typedef typename SelectType< IsExpression<MT2>::value, const MT2, const MT2& >::Type RightOperand;
190  //**********************************************************************************************
191 
192  //**ConstIterator class definition**************************************************************
196  {
197  public:
198  //**Type definitions*************************************************************************
199  typedef std::random_access_iterator_tag IteratorCategory;
200  typedef ElementType ValueType;
201  typedef ElementType* PointerType;
202  typedef ElementType& ReferenceType;
204 
205  // STL iterator requirements
206  typedef IteratorCategory iterator_category;
207  typedef ValueType value_type;
208  typedef PointerType pointer;
209  typedef ReferenceType reference;
210  typedef DifferenceType difference_type;
211 
214 
217  //*******************************************************************************************
218 
219  //**Constructor******************************************************************************
225  explicit inline ConstIterator( LeftIteratorType left, RightIteratorType right )
226  : left_ ( left ) // Iterator to the current left-hand side element
227  , right_( right ) // Iterator to the current right-hand side element
228  {}
229  //*******************************************************************************************
230 
231  //**Addition assignment operator*************************************************************
237  inline ConstIterator& operator+=( size_t inc ) {
238  left_ += inc;
239  right_ += inc;
240  return *this;
241  }
242  //*******************************************************************************************
243 
244  //**Subtraction assignment operator**********************************************************
250  inline ConstIterator& operator-=( size_t dec ) {
251  left_ -= dec;
252  right_ -= dec;
253  return *this;
254  }
255  //*******************************************************************************************
256 
257  //**Prefix increment operator****************************************************************
263  ++left_;
264  ++right_;
265  return *this;
266  }
267  //*******************************************************************************************
268 
269  //**Postfix increment operator***************************************************************
274  inline const ConstIterator operator++( int ) {
275  return ConstIterator( left_++, right_++ );
276  }
277  //*******************************************************************************************
278 
279  //**Prefix decrement operator****************************************************************
285  --left_;
286  --right_;
287  return *this;
288  }
289  //*******************************************************************************************
290 
291  //**Postfix decrement operator***************************************************************
296  inline const ConstIterator operator--( int ) {
297  return ConstIterator( left_--, right_-- );
298  }
299  //*******************************************************************************************
300 
301  //**Element access operator******************************************************************
306  inline ReturnType operator*() const {
307  return (*left_) + (*right_);
308  }
309  //*******************************************************************************************
310 
311  //**Load function****************************************************************************
316  inline IntrinsicType load() const {
317  return left_.load() + right_.load();
318  }
319  //*******************************************************************************************
320 
321  //**Equality operator************************************************************************
327  inline bool operator==( const ConstIterator& rhs ) const {
328  return left_ == rhs.left_;
329  }
330  //*******************************************************************************************
331 
332  //**Inequality operator**********************************************************************
338  inline bool operator!=( const ConstIterator& rhs ) const {
339  return left_ != rhs.left_;
340  }
341  //*******************************************************************************************
342 
343  //**Less-than operator***********************************************************************
349  inline bool operator<( const ConstIterator& rhs ) const {
350  return left_ < rhs.left_;
351  }
352  //*******************************************************************************************
353 
354  //**Greater-than operator********************************************************************
360  inline bool operator>( const ConstIterator& rhs ) const {
361  return left_ > rhs.left_;
362  }
363  //*******************************************************************************************
364 
365  //**Less-or-equal-than operator**************************************************************
371  inline bool operator<=( const ConstIterator& rhs ) const {
372  return left_ <= rhs.left_;
373  }
374  //*******************************************************************************************
375 
376  //**Greater-or-equal-than operator***********************************************************
382  inline bool operator>=( const ConstIterator& rhs ) const {
383  return left_ >= rhs.left_;
384  }
385  //*******************************************************************************************
386 
387  //**Subtraction operator*********************************************************************
393  inline DifferenceType operator-( const ConstIterator& rhs ) const {
394  return left_ - rhs.left_;
395  }
396  //*******************************************************************************************
397 
398  //**Addition operator************************************************************************
405  friend inline const ConstIterator operator+( const ConstIterator& it, size_t inc ) {
406  return ConstIterator( it.left_ + inc, it.right_ + inc );
407  }
408  //*******************************************************************************************
409 
410  //**Addition operator************************************************************************
417  friend inline const ConstIterator operator+( size_t inc, const ConstIterator& it ) {
418  return ConstIterator( it.left_ + inc, it.right_ + inc );
419  }
420  //*******************************************************************************************
421 
422  //**Subtraction operator*********************************************************************
429  friend inline const ConstIterator operator-( const ConstIterator& it, size_t dec ) {
430  return ConstIterator( it.left_ - dec, it.right_ - dec );
431  }
432  //*******************************************************************************************
433 
434  private:
435  //**Member variables*************************************************************************
436  LeftIteratorType left_;
437  RightIteratorType right_;
438  //*******************************************************************************************
439  };
440  //**********************************************************************************************
441 
442  //**Compilation flags***************************************************************************
444  enum { vectorizable = MT1::vectorizable && MT2::vectorizable &&
447 
449  enum { smpAssignable = MT1::smpAssignable && MT2::smpAssignable };
450  //**********************************************************************************************
451 
452  //**Constructor*********************************************************************************
458  explicit inline DMatDMatAddExpr( const MT1& lhs, const MT2& rhs )
459  : lhs_( lhs ) // Left-hand side dense matrix of the addition expression
460  , rhs_( rhs ) // Right-hand side dense matrix of the addition expression
461  {
462  BLAZE_INTERNAL_ASSERT( lhs.rows() == rhs.rows() , "Invalid number of rows" );
463  BLAZE_INTERNAL_ASSERT( lhs.columns() == rhs.columns(), "Invalid number of columns" );
464  }
465  //**********************************************************************************************
466 
467  //**Access operator*****************************************************************************
474  inline ReturnType operator()( size_t i, size_t j ) const {
475  BLAZE_INTERNAL_ASSERT( i < lhs_.rows() , "Invalid row access index" );
476  BLAZE_INTERNAL_ASSERT( j < lhs_.columns(), "Invalid column access index" );
477  return lhs_(i,j) + rhs_(i,j);
478  }
479  //**********************************************************************************************
480 
481  //**At function*********************************************************************************
489  inline ReturnType at( size_t i, size_t j ) const {
490  if( i >= lhs_.rows() ) {
491  BLAZE_THROW_OUT_OF_RANGE( "Invalid row access index" );
492  }
493  if( j >= lhs_.columns() ) {
494  BLAZE_THROW_OUT_OF_RANGE( "Invalid column access index" );
495  }
496  return (*this)(i,j);
497  }
498  //**********************************************************************************************
499 
500  //**Load function*******************************************************************************
507  BLAZE_ALWAYS_INLINE IntrinsicType load( size_t i, size_t j ) const {
508  typedef IntrinsicTrait<ElementType> IT;
509  BLAZE_INTERNAL_ASSERT( i < lhs_.rows() , "Invalid row access index" );
510  BLAZE_INTERNAL_ASSERT( j < lhs_.columns(), "Invalid column access index" );
511  BLAZE_INTERNAL_ASSERT( !SO || ( i % IT::size == 0UL ), "Invalid row access index" );
512  BLAZE_INTERNAL_ASSERT( SO || ( j % IT::size == 0UL ), "Invalid column access index" );
513  return lhs_.load(i,j) + rhs_.load(i,j);
514  }
515  //**********************************************************************************************
516 
517  //**Begin function******************************************************************************
523  inline ConstIterator begin( size_t i ) const {
524  return ConstIterator( lhs_.begin(i), rhs_.begin(i) );
525  }
526  //**********************************************************************************************
527 
528  //**End function********************************************************************************
534  inline ConstIterator end( size_t i ) const {
535  return ConstIterator( lhs_.end(i), rhs_.end(i) );
536  }
537  //**********************************************************************************************
538 
539  //**Rows function*******************************************************************************
544  inline size_t rows() const {
545  return lhs_.rows();
546  }
547  //**********************************************************************************************
548 
549  //**Columns function****************************************************************************
554  inline size_t columns() const {
555  return lhs_.columns();
556  }
557  //**********************************************************************************************
558 
559  //**Left operand access*************************************************************************
564  inline LeftOperand leftOperand() const {
565  return lhs_;
566  }
567  //**********************************************************************************************
568 
569  //**Right operand access************************************************************************
574  inline RightOperand rightOperand() const {
575  return rhs_;
576  }
577  //**********************************************************************************************
578 
579  //**********************************************************************************************
585  template< typename T >
586  inline bool canAlias( const T* alias ) const {
587  return ( IsExpression<MT1>::value && ( RequiresEvaluation<MT1>::value ? lhs_.isAliased( alias ) : lhs_.canAlias( alias ) ) ) ||
588  ( IsExpression<MT2>::value && ( RequiresEvaluation<MT2>::value ? rhs_.isAliased( alias ) : rhs_.canAlias( alias ) ) );
589  }
590  //**********************************************************************************************
591 
592  //**********************************************************************************************
598  template< typename T >
599  inline bool isAliased( const T* alias ) const {
600  return ( lhs_.isAliased( alias ) || rhs_.isAliased( alias ) );
601  }
602  //**********************************************************************************************
603 
604  //**********************************************************************************************
609  inline bool isAligned() const {
610  return lhs_.isAligned() && rhs_.isAligned();
611  }
612  //**********************************************************************************************
613 
614  //**********************************************************************************************
619  inline bool canSMPAssign() const {
620  return lhs_.canSMPAssign() || rhs_.canSMPAssign() ||
621  ( ( ( SO == rowMajor ) ? rows() : columns() ) > SMP_DMATDMATADD_THRESHOLD );
622  }
623  //**********************************************************************************************
624 
625  private:
626  //**Member variables****************************************************************************
627  LeftOperand lhs_;
628  RightOperand rhs_;
629  //**********************************************************************************************
630 
631  //**Assignment to dense matrices****************************************************************
645  template< typename MT // Type of the target dense matrix
646  , bool SO2 > // Storage order of the target dense matrix
647  friend inline typename EnableIf< UseAssign<MT> >::Type
648  assign( DenseMatrix<MT,SO2>& lhs, const DMatDMatAddExpr& rhs )
649  {
651 
652  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
653  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
654 
655  if( !IsExpression<MT1>::value && isSame( ~lhs, rhs.lhs_ ) ) {
656  addAssign( ~lhs, rhs.rhs_ );
657  }
658  else if( !IsExpression<MT2>::value && isSame( ~lhs, rhs.rhs_ ) ) {
659  addAssign( ~lhs, rhs.lhs_ );
660  }
661  else {
662  assign ( ~lhs, rhs.lhs_ );
663  addAssign( ~lhs, rhs.rhs_ );
664  }
665  }
667  //**********************************************************************************************
668 
669  //**Assignment to sparse matrices***************************************************************
683  template< typename MT // Type of the target sparse matrix
684  , bool SO2 > // Storage order of the target sparse matrix
685  friend inline typename EnableIf< UseAssign<MT> >::Type
686  assign( SparseMatrix<MT,SO2>& lhs, const DMatDMatAddExpr& rhs )
687  {
689 
691 
698 
699  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
700  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
701 
702  const TmpType tmp( serial( rhs ) );
703  assign( ~lhs, tmp );
704  }
706  //**********************************************************************************************
707 
708  //**Addition assignment to dense matrices*******************************************************
722  template< typename MT // Type of the target dense matrix
723  , bool SO2 > // Storage order of the target dense matrix
724  friend inline typename EnableIf< UseAssign<MT> >::Type
725  addAssign( DenseMatrix<MT,SO2>& lhs, const DMatDMatAddExpr& rhs )
726  {
728 
729  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
730  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
731 
732  addAssign( ~lhs, rhs.lhs_ );
733  addAssign( ~lhs, rhs.rhs_ );
734  }
736  //**********************************************************************************************
737 
738  //**Addition assignment to sparse matrices******************************************************
739  // No special implementation for the addition assignment to sparse matrices.
740  //**********************************************************************************************
741 
742  //**Subtraction assignment to dense matrices****************************************************
756  template< typename MT // Type of the target dense matrix
757  , bool SO2 > // Storage order of the target dense matrix
758  friend inline typename EnableIf< UseAssign<MT> >::Type
759  subAssign( DenseMatrix<MT,SO2>& lhs, const DMatDMatAddExpr& rhs )
760  {
762 
763  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
764  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
765 
766  subAssign( ~lhs, rhs.lhs_ );
767  subAssign( ~lhs, rhs.rhs_ );
768  }
770  //**********************************************************************************************
771 
772  //**Subtraction assignment to sparse matrices***************************************************
773  // No special implementation for the subtraction assignment to sparse matrices.
774  //**********************************************************************************************
775 
776  //**Multiplication assignment to dense matrices*************************************************
777  // No special implementation for the multiplication assignment to dense matrices.
778  //**********************************************************************************************
779 
780  //**Multiplication assignment to sparse matrices************************************************
781  // No special implementation for the multiplication assignment to sparse matrices.
782  //**********************************************************************************************
783 
784  //**SMP assignment to dense matrices************************************************************
798  template< typename MT // Type of the target dense matrix
799  , bool SO2 > // Storage order of the target dense matrix
800  friend inline typename EnableIf< UseSMPAssign<MT> >::Type
801  smpAssign( DenseMatrix<MT,SO2>& lhs, const DMatDMatAddExpr& rhs )
802  {
804 
805  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
806  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
807 
808  if( !IsExpression<MT1>::value && isSame( ~lhs, rhs.lhs_ ) ) {
809  smpAddAssign( ~lhs, rhs.rhs_ );
810  }
811  else if( !IsExpression<MT2>::value && isSame( ~lhs, rhs.rhs_ ) ) {
812  smpAddAssign( ~lhs, rhs.lhs_ );
813  }
814  else {
815  smpAssign ( ~lhs, rhs.lhs_ );
816  smpAddAssign( ~lhs, rhs.rhs_ );
817  }
818  }
820  //**********************************************************************************************
821 
822  //**SMP assignment to sparse matrices***********************************************************
836  template< typename MT // Type of the target sparse matrix
837  , bool SO2 > // Storage order of the target sparse matrix
838  friend inline typename EnableIf< UseSMPAssign<MT> >::Type
839  smpAssign( SparseMatrix<MT,SO2>& lhs, const DMatDMatAddExpr& rhs )
840  {
842 
843  typedef typename SelectType< SO == SO2, ResultType, OppositeType >::Type TmpType;
844 
851 
852  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
853  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
854 
855  const TmpType tmp( rhs );
856  smpAssign( ~lhs, tmp );
857  }
859  //**********************************************************************************************
860 
861  //**SMP addition assignment to dense matrices***************************************************
875  template< typename MT // Type of the target dense matrix
876  , bool SO2 > // Storage order of the target dense matrix
877  friend inline typename EnableIf< UseSMPAssign<MT> >::Type
878  smpAddAssign( DenseMatrix<MT,SO2>& lhs, const DMatDMatAddExpr& rhs )
879  {
881 
882  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
883  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
884 
885  smpAddAssign( ~lhs, rhs.lhs_ );
886  smpAddAssign( ~lhs, rhs.rhs_ );
887  }
889  //**********************************************************************************************
890 
891  //**SMP addition assignment to sparse matrices**************************************************
892  // No special implementation for the SMP addition assignment to sparse matrices.
893  //**********************************************************************************************
894 
895  //**SMP subtraction assignment to dense matrices************************************************
909  template< typename MT // Type of the target dense matrix
910  , bool SO2 > // Storage order of the target dense matrix
911  friend inline typename EnableIf< UseSMPAssign<MT> >::Type
912  smpSubAssign( DenseMatrix<MT,SO2>& lhs, const DMatDMatAddExpr& rhs )
913  {
915 
916  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
917  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
918 
919  smpSubAssign( ~lhs, rhs.lhs_ );
920  smpSubAssign( ~lhs, rhs.rhs_ );
921  }
923  //**********************************************************************************************
924 
925  //**SMP subtraction assignment to sparse matrices***********************************************
926  // No special implementation for the SMP subtraction assignment to sparse matrices.
927  //**********************************************************************************************
928 
929  //**SMP multiplication assignment to dense matrices*********************************************
930  // No special implementation for the SMP multiplication assignment to dense matrices.
931  //**********************************************************************************************
932 
933  //**SMP multiplication assignment to sparse matrices********************************************
934  // No special implementation for the SMP multiplication assignment to sparse matrices.
935  //**********************************************************************************************
936 
937  //**Compile time checks*************************************************************************
944  //**********************************************************************************************
945 };
946 //*************************************************************************************************
947 
948 
949 
950 
951 //=================================================================================================
952 //
953 // GLOBAL BINARY ARITHMETIC OPERATORS
954 //
955 //=================================================================================================
956 
957 //*************************************************************************************************
984 template< typename T1 // Type of the left-hand side dense matrix
985  , typename T2 // Type of the right-hand side dense matrix
986  , bool SO > // Storage order
987 inline const DMatDMatAddExpr<T1,T2,SO>
989 {
991 
992  if( (~lhs).rows() != (~rhs).rows() || (~lhs).columns() != (~rhs).columns() ) {
993  BLAZE_THROW_INVALID_ARGUMENT( "Matrix sizes do not match" );
994  }
995 
996  return DMatDMatAddExpr<T1,T2,SO>( ~lhs, ~rhs );
997 }
998 //*************************************************************************************************
999 
1000 
1001 
1002 
1003 //=================================================================================================
1004 //
1005 // ROWS SPECIALIZATIONS
1006 //
1007 //=================================================================================================
1008 
1009 //*************************************************************************************************
1011 template< typename MT1, typename MT2, bool SO >
1012 struct Rows< DMatDMatAddExpr<MT1,MT2,SO> >
1013  : public Max< Rows<MT1>, Rows<MT2> >
1014 {};
1016 //*************************************************************************************************
1017 
1018 
1019 
1020 
1021 //=================================================================================================
1022 //
1023 // COLUMNS SPECIALIZATIONS
1024 //
1025 //=================================================================================================
1026 
1027 //*************************************************************************************************
1029 template< typename MT1, typename MT2, bool SO >
1030 struct Columns< DMatDMatAddExpr<MT1,MT2,SO> >
1031  : public Max< Columns<MT1>, Columns<MT2> >
1032 {};
1034 //*************************************************************************************************
1035 
1036 
1037 
1038 
1039 //=================================================================================================
1040 //
1041 // ISALIGNED SPECIALIZATIONS
1042 //
1043 //=================================================================================================
1044 
1045 //*************************************************************************************************
1047 template< typename MT1, typename MT2, bool SO >
1048 struct IsAligned< DMatDMatAddExpr<MT1,MT2,SO> >
1049  : public IsTrue< And< IsAligned<MT1>, IsAligned<MT2> >::value >
1050 {};
1052 //*************************************************************************************************
1053 
1054 
1055 
1056 
1057 //=================================================================================================
1058 //
1059 // ISPADDED SPECIALIZATIONS
1060 //
1061 //=================================================================================================
1062 
1063 //*************************************************************************************************
1065 template< typename MT1, typename MT2, bool SO >
1066 struct IsPadded< DMatDMatAddExpr<MT1,MT2,SO> >
1067  : public IsTrue< And< IsPadded<MT1>, IsPadded<MT2> >::value >
1068 {};
1070 //*************************************************************************************************
1071 
1072 
1073 
1074 
1075 //=================================================================================================
1076 //
1077 // ISSYMMETRIC SPECIALIZATIONS
1078 //
1079 //=================================================================================================
1080 
1081 //*************************************************************************************************
1083 template< typename MT1, typename MT2, bool SO >
1084 struct IsSymmetric< DMatDMatAddExpr<MT1,MT2,SO> >
1085  : public IsTrue< IsSymmetric<MT1>::value && IsSymmetric<MT2>::value >
1086 {};
1088 //*************************************************************************************************
1089 
1090 
1091 
1092 
1093 //=================================================================================================
1094 //
1095 // ISHERMITIAN SPECIALIZATIONS
1096 //
1097 //=================================================================================================
1098 
1099 //*************************************************************************************************
1101 template< typename MT1, typename MT2, bool SO >
1102 struct IsHermitian< DMatDMatAddExpr<MT1,MT2,SO> >
1103  : public IsTrue< IsHermitian<MT1>::value && IsHermitian<MT2>::value >
1104 {};
1106 //*************************************************************************************************
1107 
1108 
1109 
1110 
1111 //=================================================================================================
1112 //
1113 // ISLOWER SPECIALIZATIONS
1114 //
1115 //=================================================================================================
1116 
1117 //*************************************************************************************************
1119 template< typename MT1, typename MT2, bool SO >
1120 struct IsLower< DMatDMatAddExpr<MT1,MT2,SO> >
1121  : public IsTrue< And< IsLower<MT1>, IsLower<MT2> >::value >
1122 {};
1124 //*************************************************************************************************
1125 
1126 
1127 
1128 
1129 //=================================================================================================
1130 //
1131 // ISUNILOWER SPECIALIZATIONS
1132 //
1133 //=================================================================================================
1134 
1135 //*************************************************************************************************
1137 template< typename MT1, typename MT2, bool SO >
1138 struct IsUniLower< DMatDMatAddExpr<MT1,MT2,SO> >
1139  : public IsTrue< Or< And< IsUniLower<MT1>, IsStrictlyLower<MT2> >
1140  , And< IsUniLower<MT2>, IsStrictlyLower<MT1> > >::value >
1141 {};
1143 //*************************************************************************************************
1144 
1145 
1146 
1147 
1148 //=================================================================================================
1149 //
1150 // ISSTRICTLYLOWER SPECIALIZATIONS
1151 //
1152 //=================================================================================================
1153 
1154 //*************************************************************************************************
1156 template< typename MT1, typename MT2, bool SO >
1157 struct IsStrictlyLower< DMatDMatAddExpr<MT1,MT2,SO> >
1158  : public IsTrue< And< IsStrictlyLower<MT1>, IsStrictlyLower<MT2> >::value >
1159 {};
1161 //*************************************************************************************************
1162 
1163 
1164 
1165 
1166 //=================================================================================================
1167 //
1168 // ISUPPER SPECIALIZATIONS
1169 //
1170 //=================================================================================================
1171 
1172 //*************************************************************************************************
1174 template< typename MT1, typename MT2, bool SO >
1175 struct IsUpper< DMatDMatAddExpr<MT1,MT2,SO> >
1176  : public IsTrue< And< IsUpper<MT1>, IsUpper<MT2> >::value >
1177 {};
1179 //*************************************************************************************************
1180 
1181 
1182 
1183 
1184 //=================================================================================================
1185 //
1186 // ISUNIUPPER SPECIALIZATIONS
1187 //
1188 //=================================================================================================
1189 
1190 //*************************************************************************************************
1192 template< typename MT1, typename MT2, bool SO >
1193 struct IsUniUpper< DMatDMatAddExpr<MT1,MT2,SO> >
1194  : public IsTrue< Or< And< IsUniUpper<MT1>, IsStrictlyUpper<MT2> >
1195  , And< IsUniUpper<MT2>, IsStrictlyUpper<MT1> > >::value >
1196 {};
1198 //*************************************************************************************************
1199 
1200 
1201 
1202 
1203 //=================================================================================================
1204 //
1205 // ISSTRICTLYUPPER SPECIALIZATIONS
1206 //
1207 //=================================================================================================
1208 
1209 //*************************************************************************************************
1211 template< typename MT1, typename MT2, bool SO >
1212 struct IsStrictlyUpper< DMatDMatAddExpr<MT1,MT2,SO> >
1213  : public IsTrue< And< IsStrictlyUpper<MT1>, IsStrictlyUpper<MT2> >::value >
1214 {};
1216 //*************************************************************************************************
1217 
1218 
1219 
1220 
1221 //=================================================================================================
1222 //
1223 // EXPRESSION TRAIT SPECIALIZATIONS
1224 //
1225 //=================================================================================================
1226 
1227 //*************************************************************************************************
1229 template< typename MT1, typename MT2, bool SO, bool AF >
1230 struct SubmatrixExprTrait< DMatDMatAddExpr<MT1,MT2,SO>, AF >
1231 {
1232  public:
1233  //**********************************************************************************************
1234  typedef typename AddExprTrait< typename SubmatrixExprTrait<const MT1,AF>::Type
1235  , typename SubmatrixExprTrait<const MT2,AF>::Type >::Type Type;
1236  //**********************************************************************************************
1237 };
1239 //*************************************************************************************************
1240 
1241 
1242 //*************************************************************************************************
1244 template< typename MT1, typename MT2, bool SO >
1245 struct RowExprTrait< DMatDMatAddExpr<MT1,MT2,SO> >
1246 {
1247  public:
1248  //**********************************************************************************************
1249  typedef typename AddExprTrait< typename RowExprTrait<const MT1>::Type
1250  , typename RowExprTrait<const MT2>::Type >::Type Type;
1251  //**********************************************************************************************
1252 };
1254 //*************************************************************************************************
1255 
1256 
1257 //*************************************************************************************************
1259 template< typename MT1, typename MT2, bool SO >
1260 struct ColumnExprTrait< DMatDMatAddExpr<MT1,MT2,SO> >
1261 {
1262  public:
1263  //**********************************************************************************************
1264  typedef typename AddExprTrait< typename ColumnExprTrait<const MT1>::Type
1265  , typename ColumnExprTrait<const MT2>::Type >::Type Type;
1266  //**********************************************************************************************
1267 };
1269 //*************************************************************************************************
1270 
1271 } // namespace blaze
1272 
1273 #endif
ConstIterator end(size_t i) const
Returns an iterator just past the last non-zero element of row i.
Definition: DMatDMatAddExpr.h:534
#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
Pointer difference type of the Blaze library.
Header file for the Max class template.
bool operator>(const ConstIterator &rhs) const
Greater-than comparison between two ConstIterator objects.
Definition: DMatDMatAddExpr.h:360
ConstIterator & operator++()
Pre-increment operator.
Definition: DMatDMatAddExpr.h:262
ConstIterator & operator+=(size_t inc)
Addition assignment operator.
Definition: DMatDMatAddExpr.h:237
ConstIterator(LeftIteratorType left, RightIteratorType right)
Constructor for the ConstIterator class.
Definition: DMatDMatAddExpr.h:225
RightOperand rightOperand() const
Returns the right-hand side dense matrix operand.
Definition: DMatDMatAddExpr.h:574
Evaluation of the return type of an addition expression.Via this type trait it is possible to evaluat...
Definition: AddExprTrait.h:104
PointerType pointer
Pointer return type.
Definition: DMatDMatAddExpr.h:208
ConstIterator & operator-=(size_t dec)
Subtraction assignment operator.
Definition: DMatDMatAddExpr.h:250
ptrdiff_t DifferenceType
Difference between two iterators.
Definition: DMatDMatAddExpr.h:203
Compile time check whether the given type is a temporary vector or matrix type.This type trait class ...
Definition: IsTemporary.h:87
Header file for the Rows type trait.
Header file for the IsUniUpper type trait.
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
bool operator<=(const ConstIterator &rhs) const
Less-than comparison between two ConstIterator objects.
Definition: DMatDMatAddExpr.h:371
MT1::ElementType ET1
Element type of the left-hand side dense matrix expression.
Definition: DMatDMatAddExpr.h:119
#define BLAZE_CONSTRAINT_MUST_BE_MATRIX_WITH_STORAGE_ORDER(T, SO)
Constraint on the data type.In case the given data type T is not a dense or sparse matrix type and in...
Definition: StorageOrder.h:81
Efficient implementation of a compressed matrix.The CompressedMatrix class template is the represent...
Definition: CompressedMatrix.h:207
#define BLAZE_CONSTRAINT_MUST_BE_DENSE_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a dense, N-dimensional matrix type...
Definition: DenseMatrix.h:79
ReturnType operator*() const
Direct access to the element at the current iterator position.
Definition: DMatDMatAddExpr.h:306
BLAZE_ALWAYS_INLINE bool isSame(const Matrix< MT1, SO1 > &a, const Matrix< MT2, SO2 > &b)
Returns whether the two given matrices represent the same observable state.
Definition: Matrix.h:647
Header file for the ColumnExprTrait class template.
Header file for the IsSame and IsStrictlySame type traits.
bool operator!=(const ConstIterator &rhs) const
Inequality comparison between two ConstIterator objects.
Definition: DMatDMatAddExpr.h:338
MT2::ResultType RT2
Result type of the right-hand side dense matrix expression.
Definition: DMatDMatAddExpr.h:114
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
MT2::ConstIterator RightIteratorType
ConstIterator type of the right-hand side dense matrix expression.
Definition: DMatDMatAddExpr.h:216
Header file for the And class template.
ElementType * PointerType
Pointer return type.
Definition: DMatDMatAddExpr.h:201
Header file for the AddExprTrait class template.
std::random_access_iterator_tag IteratorCategory
The iterator category.
Definition: DMatDMatAddExpr.h:199
bool canSMPAssign() const
Returns whether the expression can be used in SMP assignments.
Definition: DMatDMatAddExpr.h:619
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.
Type relationship analysis.This class tests if the two data types A and B are equal. For this type comparison, the cv-qualifiers of both data types are ignored. If A and B are the same data type (ignoring the cv-qualifiers), then the value member enumeration is set to 1, the nested type definition Type is TrueType, and the class derives from TrueType. Otherwise value is set to 0, Type is FalseType, and the class derives from FalseType.
Definition: IsSame.h:158
Header file for the RequiresEvaluation type trait.
ResultType::ElementType ElementType
Resulting element type.
Definition: DMatDMatAddExpr.h:176
Header file for the IsUniLower type trait.
BLAZE_ALWAYS_INLINE IntrinsicType load(size_t i, size_t j) const
Access to the intrinsic elements of the matrix.
Definition: DMatDMatAddExpr.h:507
Base class for dense matrices.The DenseMatrix class is a base class for all dense matrix classes...
Definition: DenseMatrix.h:70
MT2::ReturnType RN2
Return type of the right-hand side dense matrix expression.
Definition: DMatDMatAddExpr.h:116
Base class for sparse matrices.The SparseMatrix class is a base class for all sparse matrix classes...
Definition: Forward.h:117
IntrinsicType load() const
Access to the intrinsic elements of the matrix.
Definition: DMatDMatAddExpr.h:316
Constraint on the data type.
ReturnType at(size_t i, size_t j) const
Checked access to the matrix elements.
Definition: DMatDMatAddExpr.h:489
Iterator over the elements of the dense matrix.
Definition: DMatDMatAddExpr.h:195
ResultType::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: DMatDMatAddExpr.h:175
Constraint on the data type.
Compile time check to query the requirement to evaluate an expression.Via this type trait it is possi...
Definition: RequiresEvaluation.h:90
RightIteratorType right_
Iterator to the current right-hand side element.
Definition: DMatDMatAddExpr.h:437
Expression object for dense matrix-dense matrix additions.The DMatDMatAddExpr class represents the co...
Definition: DMatDMatAddExpr.h:107
MT1::ResultType RT1
Result type of the left-hand side dense matrix expression.
Definition: DMatDMatAddExpr.h:113
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 IsStrictlyUpper type trait.
ConstIterator begin(size_t i) const
Returns an iterator to the first non-zero element of row i.
Definition: DMatDMatAddExpr.h:523
Header file for the IsSymmetric type trait.
Namespace of the Blaze C++ math library.
Definition: Blaze.h:57
#define BLAZE_ALWAYS_INLINE
Platform dependent setup of an enforced inline keyword.
Definition: Inline.h:85
const ConstIterator operator--(int)
Post-decrement operator.
Definition: DMatDMatAddExpr.h:296
AddExprTrait< RN1, RN2 >::Type ExprReturnType
Expression return type for the subscript operator.
Definition: DMatDMatAddExpr.h:133
AddTrait< RT1, RT2 >::Type ResultType
Result type for expression template evaluations.
Definition: DMatDMatAddExpr.h:173
const Element * ConstIterator
Iterator over constant elements.
Definition: CompressedMatrix.h:2592
Header file for the Or class template.
SelectType< useAssign, const ResultType, const DMatDMatAddExpr & >::Type CompositeType
Data type for composite expression templates.
Definition: DMatDMatAddExpr.h:183
bool isAliased(const T *alias) const
Returns whether the expression is aliased with the given address alias.
Definition: DMatDMatAddExpr.h:599
#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
const DenseIterator< Type, AF > operator+(const DenseIterator< Type, AF > &it, ptrdiff_t inc)
Addition between a DenseIterator and an integral value.
Definition: DenseIterator.h:610
ConstIterator & operator--()
Pre-decrement operator.
Definition: DMatDMatAddExpr.h:284
IntrinsicTrait< ElementType >::Type IntrinsicType
Resulting intrinsic element type.
Definition: DMatDMatAddExpr.h:177
Header file for the DenseMatrix base class.
Header file for the Columns type trait.
friend const ConstIterator operator+(const ConstIterator &it, size_t inc)
Addition between a ConstIterator and an integral value.
Definition: DMatDMatAddExpr.h:405
Base class for all matrix/matrix addition expression templates.The MatMatAddExpr class serves as a ta...
Definition: MatMatAddExpr.h:65
ReferenceType reference
Reference return type.
Definition: DMatDMatAddExpr.h:209
MT2::CompositeType CT2
Composite type of the right-hand side dense matrix expression.
Definition: DMatDMatAddExpr.h:118
Header file for the IsLower type trait.
ResultType::OppositeType OppositeType
Result type with opposite storage order for expression template evaluations.
Definition: DMatDMatAddExpr.h:174
Header file for the IsAligned type trait.
bool operator<(const ConstIterator &rhs) const
Less-than comparison between two ConstIterator objects.
Definition: DMatDMatAddExpr.h:349
DMatDMatAddExpr(const MT1 &lhs, const MT2 &rhs)
Constructor for the DMatDMatAddExpr class.
Definition: DMatDMatAddExpr.h:458
#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
Constraints on the storage order of matrix types.
bool operator==(const ConstIterator &rhs) const
Equality comparison between two ConstIterator objects.
Definition: DMatDMatAddExpr.h:327
Type ElementType
Type of the sparse matrix elements.
Definition: CompressedMatrix.h:2586
#define BLAZE_CONSTRAINT_MUST_FORM_VALID_MATMATADDEXPR(T1, T2)
Constraint on the data type.In case the given data types T1 and T2 do not form a valid matrix/matrix ...
Definition: MatMatAddExpr.h:165
MT1::ConstIterator LeftIteratorType
ConstIterator type of the left-hand side dense matrix expression.
Definition: DMatDMatAddExpr.h:213
Header file for the SelectType class template.
Header file for the RowExprTrait class template.
Header file for all forward declarations for expression class templates.
RightOperand rhs_
Right-hand side dense matrix of the addition expression.
Definition: DMatDMatAddExpr.h:628
Header file for the EnableIf class template.
Header file for the IsStrictlyLower type trait.
DifferenceType operator-(const ConstIterator &rhs) const
Calculating the number of elements between two iterators.
Definition: DMatDMatAddExpr.h:393
Header file for the IsPadded type trait.
Header file for the serial shim.
size_t columns() const
Returns the current number of columns of the matrix.
Definition: DMatDMatAddExpr.h:554
bool canAlias(const T *alias) const
Returns whether the expression can alias with the given address alias.
Definition: DMatDMatAddExpr.h:586
MT2::ElementType ET2
Element type of the right-hand side dense matrix expression.
Definition: DMatDMatAddExpr.h:120
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
Header file for the SubmatrixExprTrait class template.
const Type & ReturnType
Return type for expression template evaluations.
Definition: CompressedMatrix.h:2587
Intrinsic characteristics of data types.The IntrinsicTrait class template provides the intrinsic char...
Definition: IntrinsicTrait.h:1232
Header file for run time assertion macros.
Base template for the AddTrait class.
Definition: AddTrait.h:138
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
size_t rows() const
Returns the current number of rows of the matrix.
Definition: DMatDMatAddExpr.h:544
Header file for the addition trait.
ElementType & ReferenceType
Reference return type.
Definition: DMatDMatAddExpr.h:202
Constraint on the data type.
Substitution Failure Is Not An Error (SFINAE) class.The EnableIf class template is an auxiliary tool ...
Definition: EnableIf.h:184
ElementType ValueType
Type of the underlying elements.
Definition: DMatDMatAddExpr.h:200
const SelectType< returnExpr, ExprReturnType, ElementType >::Type ReturnType
Return type for expression template evaluations.
Definition: DMatDMatAddExpr.h:180
bool isAligned() const
Returns whether the operands of the expression are properly aligned in memory.
Definition: DMatDMatAddExpr.h:609
Header file for the MatMatAddExpr base class.
const ConstIterator operator++(int)
Post-increment operator.
Definition: DMatDMatAddExpr.h:274
MT1::CompositeType CT1
Composite type of the left-hand side dense matrix expression.
Definition: DMatDMatAddExpr.h:117
#define BLAZE_CONSTRAINT_MATRICES_MUST_HAVE_SAME_STORAGE_ORDER(T1, T2)
Constraint on the data type.In case either of the two given data types T1 or T2 is not a matrix type ...
Definition: StorageOrder.h:122
friend const ConstIterator operator+(size_t inc, const ConstIterator &it)
Addition between an integral value and a ConstIterator.
Definition: DMatDMatAddExpr.h:417
Header file for all intrinsic functionality.
SelectType< IsExpression< MT2 >::value, const MT2, const MT2 & >::Type RightOperand
Composite type of the right-hand side dense matrix expression.
Definition: DMatDMatAddExpr.h:189
LeftIteratorType left_
Iterator to the current left-hand side element.
Definition: DMatDMatAddExpr.h:436
const bool rowMajor
Storage order flag for row-major matrices.
Definition: StorageOrder.h:71
Base class for all compute expression templates.The Computation class serves as a tag for all computa...
Definition: Computation.h:59
IteratorCategory iterator_category
The iterator category.
Definition: DMatDMatAddExpr.h:206
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
LeftOperand lhs_
Left-hand side dense matrix of the addition expression.
Definition: DMatDMatAddExpr.h:627
LeftOperand leftOperand() const
Returns the left-hand side dense matrix operand.
Definition: DMatDMatAddExpr.h:564
#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
Header file for the IsTrue value trait.
friend const ConstIterator operator-(const ConstIterator &it, size_t dec)
Subtraction between a ConstIterator and an integral value.
Definition: DMatDMatAddExpr.h:429
bool operator>=(const ConstIterator &rhs) const
Greater-than comparison between two ConstIterator objects.
Definition: DMatDMatAddExpr.h:382
Header file for the IsUpper type trait.
Header file for exception macros.
ReturnType operator()(size_t i, size_t j) const
2D-access to the matrix elements.
Definition: DMatDMatAddExpr.h:474
MT1::ReturnType RN1
Return type of the left-hand side dense matrix expression.
Definition: DMatDMatAddExpr.h:115
Header file for the IsHermitian type trait.
System settings for the inline keywords.
Header file for the thresholds for matrix/vector and matrix/matrix multiplications.
DifferenceType difference_type
Difference between two iterators.
Definition: DMatDMatAddExpr.h:210
#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
DMatDMatAddExpr< MT1, MT2, SO > This
Type of this DMatDMatAdd instance.
Definition: DMatDMatAddExpr.h:172
SelectType< IsExpression< MT1 >::value, const MT1, const MT1 & >::Type LeftOperand
Composite type of the left-hand side dense matrix expression.
Definition: DMatDMatAddExpr.h:186
Compile time check whether the given type is an expression template.This type trait class tests wheth...
Definition: IsExpression.h:87
Header file for the IsExpression type trait class.
Header file for the FunctionTrace class.
ValueType value_type
Type of the underlying elements.
Definition: DMatDMatAddExpr.h:207