All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
DMatTDMatAddExpr.h
Go to the documentation of this file.
1 //=================================================================================================
33 //=================================================================================================
34 
35 #ifndef _BLAZE_MATH_EXPRESSIONS_DMATTDMATADDEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_DMATTDMATADDEXPR_H_
37 
38 
39 //*************************************************************************************************
40 // Includes
41 //*************************************************************************************************
42 
43 #include <stdexcept>
66 #include <blaze/util/Assert.h>
68 #include <blaze/util/DisableIf.h>
69 #include <blaze/util/EnableIf.h>
71 #include <blaze/util/mpl/Max.h>
72 #include <blaze/util/SelectType.h>
73 #include <blaze/util/Types.h>
75 
76 
77 namespace blaze {
78 
79 //=================================================================================================
80 //
81 // CLASS DMATTDMATADDEXPR
82 //
83 //=================================================================================================
84 
85 //*************************************************************************************************
92 template< typename MT1 // Type of the left-hand side dense matrix
93  , typename MT2 > // Type of the right-hand side dense matrix
94 class DMatTDMatAddExpr : public DenseMatrix< DMatTDMatAddExpr<MT1,MT2>, false >
95  , private MatMatAddExpr
96  , private Computation
97 {
98  private:
99  //**Type definitions****************************************************************************
100  typedef typename MT1::ResultType RT1;
101  typedef typename MT2::ResultType RT2;
102  typedef typename MT1::ReturnType RN1;
103  typedef typename MT2::ReturnType RN2;
104  typedef typename MT1::CompositeType CT1;
105  typedef typename MT2::CompositeType CT2;
106  //**********************************************************************************************
107 
108  //**Return type evaluation**********************************************************************
110 
115  enum { returnExpr = !IsTemporary<RN1>::value && !IsTemporary<RN2>::value };
116 
119  //**********************************************************************************************
120 
121  //**Serial evaluation strategy******************************************************************
123 
129  enum { useAssign = RequiresEvaluation<MT1>::value || RequiresEvaluation<MT2>::value || !returnExpr };
130 
132  template< typename MT >
134  struct UseAssign {
135  enum { value = useAssign };
136  };
138  //**********************************************************************************************
139 
140  //**Parallel evaluation strategy****************************************************************
142 
148  template< typename MT >
149  struct UseSMPAssign {
150  enum { value = ( !MT1::smpAssignable || !MT2::smpAssignable ) && useAssign };
151  };
153  //**********************************************************************************************
154 
155  public:
156  //**Type definitions****************************************************************************
162 
165 
167  typedef const ResultType CompositeType;
168 
170  typedef typename SelectType< IsExpression<MT1>::value, const MT1, const MT1& >::Type LeftOperand;
171 
173  typedef typename SelectType< IsExpression<MT2>::value, const MT2, const MT2& >::Type RightOperand;
174  //**********************************************************************************************
175 
176  //**Compilation flags***************************************************************************
178  enum { vectorizable = 0 };
179 
181  enum { smpAssignable = MT1::smpAssignable && MT2::smpAssignable };
182  //**********************************************************************************************
183 
184  //**Constructor*********************************************************************************
190  explicit inline DMatTDMatAddExpr( const MT1& lhs, const MT2& rhs )
191  : lhs_( lhs ) // Left-hand side dense matrix of the addition expression
192  , rhs_( rhs ) // Right-hand side dense matrix of the addition expression
193  {
194  BLAZE_INTERNAL_ASSERT( lhs.rows() == rhs.rows() , "Invalid number of rows" );
195  BLAZE_INTERNAL_ASSERT( lhs.columns() == rhs.columns(), "Invalid number of columns" );
196  }
197  //**********************************************************************************************
198 
199  //**Access operator*****************************************************************************
206  inline ReturnType operator()( size_t i, size_t j ) const {
207  BLAZE_INTERNAL_ASSERT( i < lhs_.rows() , "Invalid row access index" );
208  BLAZE_INTERNAL_ASSERT( j < lhs_.columns(), "Invalid column access index" );
209  return lhs_(i,j) + rhs_(i,j);
210  }
211  //**********************************************************************************************
212 
213  //**Rows function*******************************************************************************
218  inline size_t rows() const {
219  return lhs_.rows();
220  }
221  //**********************************************************************************************
222 
223  //**Columns function****************************************************************************
228  inline size_t columns() const {
229  return lhs_.columns();
230  }
231  //**********************************************************************************************
232 
233  //**Left operand access*************************************************************************
238  inline LeftOperand leftOperand() const {
239  return lhs_;
240  }
241  //**********************************************************************************************
242 
243  //**Right operand access************************************************************************
248  inline RightOperand rightOperand() const {
249  return rhs_;
250  }
251  //**********************************************************************************************
252 
253  //**********************************************************************************************
259  template< typename T >
260  inline bool canAlias( const T* alias ) const {
261  return ( IsExpression<MT1>::value && ( RequiresEvaluation<MT1>::value ? lhs_.isAliased( alias ) : lhs_.canAlias( alias ) ) ) ||
262  ( IsExpression<MT2>::value && ( RequiresEvaluation<MT2>::value ? rhs_.isAliased( alias ) : rhs_.canAlias( alias ) ) );
263  }
264  //**********************************************************************************************
265 
266  //**********************************************************************************************
272  template< typename T >
273  inline bool isAliased( const T* alias ) const {
274  return ( lhs_.isAliased( alias ) || rhs_.isAliased( alias ) );
275  }
276  //**********************************************************************************************
277 
278  //**********************************************************************************************
283  inline bool isAligned() const {
284  return lhs_.isAligned() && rhs_.isAligned();
285  }
286  //**********************************************************************************************
287 
288  //**********************************************************************************************
293  inline bool canSMPAssign() const {
294  return lhs_.canSMPAssign() || rhs_.canSMPAssign() ||
296  }
297  //**********************************************************************************************
298 
299  private:
300  //**Member variables****************************************************************************
303  //**********************************************************************************************
304 
305  //**Assignment to dense matrices****************************************************************
319  template< typename MT // Type of the target dense matrix
320  , bool SO2 > // Storage order of the target dense matrix
321  friend inline typename DisableIf< UseAssign<MT> >::Type
322  assign( DenseMatrix<MT,SO2>& lhs, const DMatTDMatAddExpr& rhs )
323  {
325 
326  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
327  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
328 
329  const size_t m( rhs.rows() );
330  const size_t n( rhs.columns() );
331  const size_t block( 16UL );
332 
333  for( size_t ii=0UL; ii<m; ii+=block ) {
334  const size_t iend( ( m < ii+block )?( m ):( ii+block ) );
335  for( size_t jj=0UL; jj<n; jj+=block ) {
336  const size_t jend( ( n < jj+block )?( n ):( jj+block ) );
337  for( size_t i=ii; i<iend; ++i ) {
338  for( size_t j=jj; j<jend; ++j ) {
339  (~lhs)(i,j) = rhs.lhs_(i,j) + rhs.rhs_(i,j);
340  }
341  }
342  }
343  }
344  }
346  //**********************************************************************************************
347 
348  //**Assignment to dense matrices****************************************************************
362  template< typename MT // Type of the target dense matrix
363  , bool SO2 > // Storage order of the target dense matrix
364  friend inline typename EnableIf< UseAssign<MT> >::Type
365  assign( DenseMatrix<MT,SO2>& lhs, const DMatTDMatAddExpr& rhs )
366  {
368 
369  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
370  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
371 
372  if( !IsExpression<MT1>::value && isSame( ~lhs, rhs.lhs_ ) ) {
373  addAssign( ~lhs, rhs.rhs_ );
374  }
375  else if( !IsExpression<MT2>::value && isSame( ~lhs, rhs.rhs_ ) ) {
376  addAssign( ~lhs, rhs.lhs_ );
377  }
378  else {
379  assign ( ~lhs, rhs.lhs_ );
380  addAssign( ~lhs, rhs.rhs_ );
381  }
382  }
384  //**********************************************************************************************
385 
386  //**Assignment to sparse matrices***************************************************************
398  template< typename MT // Type of the target sparse matrix
399  , bool SO2 > // Storage order of the target sparse matrix
400  friend inline void assign( SparseMatrix<MT,SO2>& lhs, const DMatTDMatAddExpr& rhs )
401  {
403 
404  typedef typename SelectType< SO2, OppositeType, ResultType >::Type TmpType;
405 
412 
413  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
414  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
415 
416  const TmpType tmp( serial( rhs ) );
417  assign( ~lhs, tmp );
418  }
420  //**********************************************************************************************
421 
422  //**Addition assignment to dense matrices*******************************************************
436  template< typename MT // Type of the target dense matrix
437  , bool SO2 > // Storage order of the target dense matrix
438  friend inline typename DisableIf< UseAssign<MT> >::Type
439  addAssign( DenseMatrix<MT,SO2>& lhs, const DMatTDMatAddExpr& rhs )
440  {
442 
443  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
444  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
445 
446  const size_t m( rhs.rows() );
447  const size_t n( rhs.columns() );
448  const size_t block( 16UL );
449 
450  for( size_t ii=0UL; ii<m; ii+=block ) {
451  const size_t iend( ( m < ii+block )?( m ):( ii+block ) );
452  for( size_t jj=0UL; jj<n; jj+=block ) {
453  const size_t jend( ( n < jj+block )?( n ):( jj+block ) );
454  for( size_t i=ii; i<iend; ++i ) {
455  for( size_t j=jj; j<jend; ++j ) {
456  (~lhs)(i,j) += rhs.lhs_(i,j) + rhs.rhs_(i,j);
457  }
458  }
459  }
460  }
461  }
463  //**********************************************************************************************
464 
465  //**Addition assignment to dense matrices*******************************************************
479  template< typename MT // Type of the target dense matrix
480  , bool SO2 > // Storage order of the target dense matrix
481  friend inline typename EnableIf< UseAssign<MT> >::Type
482  addAssign( DenseMatrix<MT,SO2>& lhs, const DMatTDMatAddExpr& rhs )
483  {
485 
486  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
487  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
488 
489  addAssign( ~lhs, rhs.lhs_ );
490  addAssign( ~lhs, rhs.rhs_ );
491  }
493  //**********************************************************************************************
494 
495  //**Addition assignment to sparse matrices******************************************************
496  // No special implementation for the addition assignment to sparse matrices.
497  //**********************************************************************************************
498 
499  //**Subtraction assignment to dense matrices****************************************************
513  template< typename MT // Type of the target dense matrix
514  , bool SO2 > // Storage order of the target dense matrix
515  friend inline typename DisableIf< UseAssign<MT> >::Type
516  subAssign( DenseMatrix<MT,SO2>& lhs, const DMatTDMatAddExpr& rhs )
517  {
519 
520  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
521  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
522 
523  const size_t m( rhs.rows() );
524  const size_t n( rhs.columns() );
525  const size_t block( 16UL );
526 
527  for( size_t ii=0UL; ii<m; ii+=block ) {
528  const size_t iend( ( m < ii+block )?( m ):( ii+block ) );
529  for( size_t jj=0UL; jj<n; jj+=block ) {
530  const size_t jend( ( n < jj+block )?( n ):( jj+block ) );
531  for( size_t i=ii; i<iend; ++i ) {
532  for( size_t j=jj; j<jend; ++j ) {
533  (~lhs)(i,j) -= rhs.lhs_(i,j) + rhs.rhs_(i,j);
534  }
535  }
536  }
537  }
538  }
540  //**********************************************************************************************
541 
542  //**Subtraction assignment to dense matrices****************************************************
556  template< typename MT // Type of the target dense matrix
557  , bool SO2 > // Storage order of the target dense matrix
558  friend inline typename EnableIf< UseAssign<MT> >::Type
559  subAssign( DenseMatrix<MT,SO2>& lhs, const DMatTDMatAddExpr& rhs )
560  {
562 
563  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
564  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
565 
566  subAssign( ~lhs, rhs.lhs_ );
567  subAssign( ~lhs, rhs.rhs_ );
568  }
570  //**********************************************************************************************
571 
572  //**Subtraction assignment to sparse matrices***************************************************
573  // No special implementation for the subtraction assignment to sparse matrices.
574  //**********************************************************************************************
575 
576  //**Multiplication assignment to dense matrices*************************************************
577  // No special implementation for the multiplication assignment to dense matrices.
578  //**********************************************************************************************
579 
580  //**Multiplication assignment to sparse matrices************************************************
581  // No special implementation for the multiplication assignment to sparse matrices.
582  //**********************************************************************************************
583 
584  //**SMP assignment to dense matrices************************************************************
598  template< typename MT // Type of the target dense matrix
599  , bool SO2 > // Storage order of the target dense matrix
600  friend inline typename EnableIf< UseSMPAssign<MT> >::Type
601  smpAssign( DenseMatrix<MT,SO2>& lhs, const DMatTDMatAddExpr& rhs )
602  {
604 
605  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
606  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
607 
608  if( !IsExpression<MT1>::value && isSame( ~lhs, rhs.lhs_ ) ) {
609  smpAddAssign( ~lhs, rhs.rhs_ );
610  }
611  else if( !IsExpression<MT2>::value && isSame( ~lhs, rhs.rhs_ ) ) {
612  smpAddAssign( ~lhs, rhs.lhs_ );
613  }
614  else {
615  smpAssign ( ~lhs, rhs.lhs_ );
616  smpAddAssign( ~lhs, rhs.rhs_ );
617  }
618  }
620  //**********************************************************************************************
621 
622  //**SMP assignment to sparse matrices***********************************************************
636  template< typename MT // Type of the target sparse matrix
637  , bool SO2 > // Storage order of the target sparse matrix
638  friend inline typename EnableIf< UseSMPAssign<MT> >::Type
639  smpAssign( SparseMatrix<MT,SO2>& lhs, const DMatTDMatAddExpr& rhs )
640  {
642 
643  typedef typename SelectType< SO2, OppositeType, ResultType >::Type TmpType;
644 
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  const TmpType tmp( rhs );
656  smpAssign( ~lhs, tmp );
657  }
659  //**********************************************************************************************
660 
661  //**SMP addition assignment to dense matrices***************************************************
676  template< typename MT // Type of the target dense matrix
677  , bool SO2 > // Storage order of the target dense matrix
678  friend inline typename EnableIf< UseSMPAssign<MT> >::Type
679  smpAddAssign( DenseMatrix<MT,SO2>& lhs, const DMatTDMatAddExpr& rhs )
680  {
682 
683  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
684  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
685 
686  smpAddAssign( ~lhs, rhs.lhs_ );
687  smpAddAssign( ~lhs, rhs.rhs_ );
688  }
690  //**********************************************************************************************
691 
692  //**SMP addition assignment to sparse matrices**************************************************
693  // No special implementation for the SMP addition assignment to sparse matrices.
694  //**********************************************************************************************
695 
696  //**SMP subtraction assignment to dense matrices************************************************
711  template< typename MT // Type of the target dense matrix
712  , bool SO2 > // Storage order of the target dense matrix
713  friend inline typename EnableIf< UseSMPAssign<MT> >::Type
714  smpSubAssign( DenseMatrix<MT,SO2>& lhs, const DMatTDMatAddExpr& rhs )
715  {
717 
718  BLAZE_INTERNAL_ASSERT( (~lhs).rows() == rhs.rows() , "Invalid number of rows" );
719  BLAZE_INTERNAL_ASSERT( (~lhs).columns() == rhs.columns(), "Invalid number of columns" );
720 
721  smpSubAssign( ~lhs, rhs.lhs_ );
722  smpSubAssign( ~lhs, rhs.rhs_ );
723  }
725  //**********************************************************************************************
726 
727  //**SMP subtraction assignment to sparse matrices***********************************************
728  // No special implementation for the SMP subtraction assignment to sparse matrices.
729  //**********************************************************************************************
730 
731  //**SMP multiplication assignment to dense matrices*********************************************
732  // No special implementation for the SMP multiplication assignment to dense matrices.
733  //**********************************************************************************************
734 
735  //**SMP multiplication assignment to sparse matrices********************************************
736  // No special implementation for the SMP multiplication assignment to sparse matrices.
737  //**********************************************************************************************
738 
739  //**Compile time checks*************************************************************************
747  //**********************************************************************************************
748 };
749 //*************************************************************************************************
750 
751 
752 
753 
754 //=================================================================================================
755 //
756 // GLOBAL BINARY ARITHMETIC OPERATORS
757 //
758 //=================================================================================================
759 
760 //*************************************************************************************************
789 template< typename T1 // Type of the left-hand side dense matrix
790  , typename T2 > // Type of the right-hand side dense matrix
791 inline typename EnableIf< And< Not< IsSymmetric<T1> >, Not< IsSymmetric<T2> > >
792  , const DMatTDMatAddExpr<T1,T2> >::Type
794 {
796 
797  if( (~lhs).rows() != (~rhs).rows() || (~lhs).columns() != (~rhs).columns() )
798  throw std::invalid_argument( "Matrix sizes do not match" );
799 
800  return DMatTDMatAddExpr<T1,T2>( ~lhs, ~rhs );
801 }
802 //*************************************************************************************************
803 
804 
805 //*************************************************************************************************
834 template< typename T1 // Type of the left-hand side dense matrix
835  , typename T2 > // Type of the right-hand side dense matrix
836 inline typename EnableIf< And< Not< IsSymmetric<T1> >, Not< IsSymmetric<T2> > >
837  , const DMatTDMatAddExpr<T2,T1> >::Type
839 {
841 
842  if( (~lhs).rows() != (~rhs).rows() || (~lhs).columns() != (~rhs).columns() )
843  throw std::invalid_argument( "Matrix sizes do not match" );
844 
845  return DMatTDMatAddExpr<T2,T1>( ~rhs, ~lhs );
846 }
847 //*************************************************************************************************
848 
849 
850 
851 
852 //=================================================================================================
853 //
854 // GLOBAL RESTRUCTURING BINARY ARITHMETIC OPERATORS
855 //
856 //=================================================================================================
857 
858 //*************************************************************************************************
872 template< typename T1 // Type of the left-hand side dense matrix
873  , typename T2 > // Type of the right-hand side dense matrix
874 inline typename EnableIf< And< IsSymmetric<T1>, Not< IsSymmetric<T2> > >
875  , const typename AddExprTrait<T1,T2>::Type >::Type
876  operator+( const DenseMatrix<T1,false>& lhs, const DenseMatrix<T2,true>& rhs )
877 {
879 
880  if( (~lhs).rows() != (~rhs).rows() || (~lhs).columns() != (~rhs).columns() )
881  throw std::invalid_argument( "Matrix sizes do not match" );
882 
883  return trans( ~lhs ) + ~rhs;
884 }
886 //*************************************************************************************************
887 
888 
889 //*************************************************************************************************
903 template< typename T1 // Type of the left-hand side dense matrix
904  , typename T2 > // Type of the right-hand side dense matrix
905 inline typename EnableIf< IsSymmetric<T2>
906  , const typename AddExprTrait<T1,T2>::Type >::Type
907  operator+( const DenseMatrix<T1,false>& lhs, const DenseMatrix<T2,true>& rhs )
908 {
910 
911  if( (~lhs).rows() != (~rhs).rows() || (~lhs).columns() != (~rhs).columns() )
912  throw std::invalid_argument( "Matrix sizes do not match" );
913 
914  return (~lhs) + trans( ~rhs );
915 }
917 //*************************************************************************************************
918 
919 
920 //*************************************************************************************************
934 template< typename T1 // Type of the left-hand side dense matrix
935  , typename T2 > // Type of the right-hand side dense matrix
936 inline typename EnableIf< And< Not< IsSymmetric<T1> >, IsSymmetric<T2> >
937  , const typename AddExprTrait<T2,T1>::Type >::Type
938  operator+( const DenseMatrix<T1,true>& lhs, const DenseMatrix<T2,false>& rhs )
939 {
941 
942  if( (~lhs).rows() != (~rhs).rows() || (~lhs).columns() != (~rhs).columns() )
943  throw std::invalid_argument( "Matrix sizes do not match" );
944 
945  return trans( ~rhs ) + (~lhs);
946 }
948 //*************************************************************************************************
949 
950 
951 //*************************************************************************************************
965 template< typename T1 // Type of the left-hand side dense matrix
966  , typename T2 > // Type of the right-hand side dense matrix
967 inline typename EnableIf< IsSymmetric<T1>
968  , const typename AddExprTrait<T2,T1>::Type >::Type
969  operator+( const DenseMatrix<T1,true>& lhs, const DenseMatrix<T2,false>& rhs )
970 {
972 
973  if( (~lhs).rows() != (~rhs).rows() || (~lhs).columns() != (~rhs).columns() )
974  throw std::invalid_argument( "Matrix sizes do not match" );
975 
976  return (~rhs) + trans( ~lhs );
977 }
979 //*************************************************************************************************
980 
981 
982 
983 
984 //=================================================================================================
985 //
986 // ROWS SPECIALIZATIONS
987 //
988 //=================================================================================================
989 
990 //*************************************************************************************************
992 template< typename MT1, typename MT2 >
993 struct Rows< DMatTDMatAddExpr<MT1,MT2> >
994  : public Max< Rows<MT1>, Rows<MT2> >::Type
995 {};
997 //*************************************************************************************************
998 
999 
1000 
1001 
1002 //=================================================================================================
1003 //
1004 // COLUMNS SPECIALIZATIONS
1005 //
1006 //=================================================================================================
1007 
1008 //*************************************************************************************************
1010 template< typename MT1, typename MT2 >
1011 struct Columns< DMatTDMatAddExpr<MT1,MT2> >
1012  : public Max< Columns<MT1>, Columns<MT2> >::Type
1013 {};
1015 //*************************************************************************************************
1016 
1017 
1018 
1019 
1020 //=================================================================================================
1021 //
1022 // ISSYMMETRIC SPECIALIZATIONS
1023 //
1024 //=================================================================================================
1025 
1026 //*************************************************************************************************
1028 template< typename MT1, typename MT2 >
1029 struct IsSymmetric< DMatTDMatAddExpr<MT1,MT2> >
1030  : public IsTrue< IsSymmetric<MT1>::value && IsSymmetric<MT2>::value >
1031 {};
1033 //*************************************************************************************************
1034 
1035 
1036 
1037 
1038 //=================================================================================================
1039 //
1040 // ISLOWER SPECIALIZATIONS
1041 //
1042 //=================================================================================================
1043 
1044 //*************************************************************************************************
1046 template< typename MT1, typename MT2 >
1047 struct IsLower< DMatTDMatAddExpr<MT1,MT2> >
1048  : public IsTrue< IsLower<MT1>::value && IsLower<MT2>::value >
1049 {};
1051 //*************************************************************************************************
1052 
1053 
1054 
1055 
1056 //=================================================================================================
1057 //
1058 // ISUPPER SPECIALIZATIONS
1059 //
1060 //=================================================================================================
1061 
1062 //*************************************************************************************************
1064 template< typename MT1, typename MT2 >
1065 struct IsUpper< DMatTDMatAddExpr<MT1,MT2> >
1066  : public IsTrue< IsUpper<MT1>::value && IsUpper<MT2>::value >
1067 {};
1069 //*************************************************************************************************
1070 
1071 
1072 
1073 
1074 //=================================================================================================
1075 //
1076 // EXPRESSION TRAIT SPECIALIZATIONS
1077 //
1078 //=================================================================================================
1079 
1080 //*************************************************************************************************
1082 template< typename MT1, typename MT2, bool AF >
1083 struct SubmatrixExprTrait< DMatTDMatAddExpr<MT1,MT2>, AF >
1084 {
1085  public:
1086  //**********************************************************************************************
1087  typedef typename AddExprTrait< typename SubmatrixExprTrait<const MT1,AF>::Type
1088  , typename SubmatrixExprTrait<const MT2,AF>::Type >::Type Type;
1089  //**********************************************************************************************
1090 };
1092 //*************************************************************************************************
1093 
1094 
1095 //*************************************************************************************************
1097 template< typename MT1, typename MT2 >
1098 struct RowExprTrait< DMatTDMatAddExpr<MT1,MT2> >
1099 {
1100  public:
1101  //**********************************************************************************************
1102  typedef typename AddExprTrait< typename RowExprTrait<const MT1>::Type
1103  , typename RowExprTrait<const MT2>::Type >::Type Type;
1104  //**********************************************************************************************
1105 };
1107 //*************************************************************************************************
1108 
1109 
1110 //*************************************************************************************************
1112 template< typename MT1, typename MT2 >
1113 struct ColumnExprTrait< DMatTDMatAddExpr<MT1,MT2> >
1114 {
1115  public:
1116  //**********************************************************************************************
1117  typedef typename AddExprTrait< typename ColumnExprTrait<const MT1>::Type
1118  , typename ColumnExprTrait<const MT2>::Type >::Type Type;
1119  //**********************************************************************************************
1120 };
1122 //*************************************************************************************************
1123 
1124 } // namespace blaze
1125 
1126 #endif
Header file for the Max class template.
Evaluation of the return type of an addition expression.Via this type trait it is possible to evaluat...
Definition: AddExprTrait.h:104
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.
Efficient implementation of a compressed matrix.The CompressedMatrix class template is the represent...
Definition: CompressedMatrix.h:205
#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
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:946
Header file for the ColumnExprTrait class template.
ResultType::OppositeType OppositeType
Result type with opposite storage order for expression template evaluations.
Definition: DMatTDMatAddExpr.h:159
ResultType::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: DMatTDMatAddExpr.h:160
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
AddTrait< RT1, RT2 >::Type ResultType
Result type for expression template evaluations.
Definition: DMatTDMatAddExpr.h:158
Header file for the AddExprTrait class template.
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.
bool canAlias(const T *alias) const
Returns whether the expression can alias with the given address alias.
Definition: DMatTDMatAddExpr.h:260
Header file for the RequiresEvaluation type trait.
MT1::CompositeType CT1
Composite type of the left-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:104
Base class for dense matrices.The DenseMatrix class is a base class for all dense matrix classes...
Definition: DenseMatrix.h:70
Constraint on the data type.
DMatTDMatAddExpr(const MT1 &lhs, const MT2 &rhs)
Constructor for the DMatTDMatAddExpr class.
Definition: DMatTDMatAddExpr.h:190
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
MT1::ReturnType RN1
Return type of the left-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:102
size_t rows() const
Returns the current number of rows of the matrix.
Definition: DMatTDMatAddExpr.h:218
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 IsTemporary type trait class.
Header file for the IsSymmetric type trait.
const ResultType CompositeType
Data type for composite expression templates.
Definition: DMatTDMatAddExpr.h:167
#define BLAZE_CONSTRAINT_MUST_BE_COLUMN_MAJOR_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a column-major dense or sparse matri...
Definition: StorageOrder.h:161
const SelectType< returnExpr, ExprReturnType, ElementType >::Type ReturnType
Return type for expression template evaluations.
Definition: DMatTDMatAddExpr.h:164
Header file for the DenseMatrix base class.
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
Header file for the Columns type trait.
Base class for all matrix/matrix addition expression templates.The MatMatAddExpr class serves as a ta...
Definition: MatMatAddExpr.h:65
const DenseIterator< Type > operator+(const DenseIterator< Type > &it, ptrdiff_t inc)
Addition between a DenseIterator and an integral value.
Definition: DenseIterator.h:556
Header file for the IsLower type trait.
AddExprTrait< RN1, RN2 >::Type ExprReturnType
Expression return type for the subscript operator.
Definition: DMatTDMatAddExpr.h:118
#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
size_t columns() const
Returns the current number of columns of the matrix.
Definition: DMatTDMatAddExpr.h:228
Constraints on the storage order of matrix types.
#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
Header file for the SelectType class template.
Header file for the RowExprTrait class template.
Header file for all forward declarations for expression class templates.
bool isAliased(const T *alias) const
Returns whether the expression is aliased with the given address alias.
Definition: DMatTDMatAddExpr.h:273
Header file for the EnableIf class template.
DMatTDMatAddExpr< MT1, MT2 > This
Type of this DMatTDMatAdd instance.
Definition: DMatTDMatAddExpr.h:157
Header file for the serial shim.
MT2::ResultType RT2
Result type of the right-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:101
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.
SelectType< IsExpression< MT2 >::value, const MT2, const MT2 & >::Type RightOperand
Composite type of the right-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:173
#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: StorageOrder.h:81
const Type & ReturnType
Return type for expression template evaluations.
Definition: CompressedMatrix.h:2477
LeftOperand lhs_
Left-hand side dense matrix of the addition expression.
Definition: DMatTDMatAddExpr.h:301
Header file for run time assertion macros.
Base template for the AddTrait class.
Definition: AddTrait.h:142
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
Header file for the addition trait.
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::ElementType ElementType
Resulting element type.
Definition: DMatTDMatAddExpr.h:161
RightOperand rhs_
Right-hand side dense matrix of the addition expression.
Definition: DMatTDMatAddExpr.h:302
RightOperand rightOperand() const
Returns the right-hand side transpose dense matrix operand.
Definition: DMatTDMatAddExpr.h:248
LeftOperand leftOperand() const
Returns the left-hand side dense matrix operand.
Definition: DMatTDMatAddExpr.h:238
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
const size_t SMP_DMATTDMATADD_THRESHOLD
SMP row-major dense matrix/column-major dense matrix addition threshold.This threshold specifies when...
Definition: Thresholds.h:739
MT2::ReturnType RN2
Return type of the right-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:103
Header file for the MatMatAddExpr base class.
Substitution Failure Is Not An Error (SFINAE) class.The DisableIf class template is an auxiliary tool...
Definition: DisableIf.h:184
#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:283
SelectType< IsExpression< MT1 >::value, const MT1, const MT1 & >::Type LeftOperand
Composite type of the left-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:170
MT1::ResultType RT1
Result type of the left-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:100
ReturnType operator()(size_t i, size_t j) const
2D-access to the matrix elements.
Definition: DMatTDMatAddExpr.h:206
const DMatTransExpr< MT,!SO > trans(const DenseMatrix< MT, SO > &dm)
Calculation of the transpose of the given dense matrix.
Definition: DMatTransExpr.h:932
Base class for all compute expression templates.The Computation class serves as a tag for all computa...
Definition: Computation.h:59
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
#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
bool isAligned() const
Returns whether the operands of the expression are properly aligned in memory.
Definition: DMatTDMatAddExpr.h:283
This ResultType
Result type for expression template evaluations.
Definition: CompressedMatrix.h:2473
Header file for the IsTrue value trait.
Header file for basic type definitions.
Header file for the IsUpper type trait.
MT2::CompositeType CT2
Composite type of the right-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:105
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
bool canSMPAssign() const
Returns whether the expression can be used in SMP assignments.
Definition: DMatTDMatAddExpr.h:293
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.
Expression object for dense matrix-transpose dense matrix additions.The DMatTDMatAddExpr class repres...
Definition: DMatTDMatAddExpr.h:94
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