DVecScalarDivExpr.h
Go to the documentation of this file.
1 //=================================================================================================
33 //=================================================================================================
34 
35 #ifndef _BLAZE_MATH_EXPRESSIONS_DVECSCALARDIVEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_DVECSCALARDIVEXPR_H_
37 
38 
39 //*************************************************************************************************
40 // Includes
41 //*************************************************************************************************
42 
43 #include <iterator>
44 #include <blaze/math/Aliases.h>
48 #include <blaze/math/Exception.h>
54 #include <blaze/math/SIMD.h>
71 #include <blaze/system/Inline.h>
73 #include <blaze/util/Assert.h>
77 #include <blaze/util/EnableIf.h>
80 #include <blaze/util/InvalidType.h>
81 #include <blaze/util/mpl/And.h>
82 #include <blaze/util/mpl/If.h>
83 #include <blaze/util/mpl/Or.h>
84 #include <blaze/util/Types.h>
89 
90 
91 namespace blaze {
92 
93 //=================================================================================================
94 //
95 // CLASS DVECSCALARDIVEXPR
96 //
97 //=================================================================================================
98 
99 //*************************************************************************************************
106 template< typename VT // Type of the left-hand side dense vector
107  , typename ST // Type of the right-hand side scalar value
108  , bool TF > // Transpose flag
110  : public VecScalarDivExpr< DenseVector< DVecScalarDivExpr<VT,ST,TF>, TF > >
111  , private Computation
112 {
113  private:
114  //**Type definitions****************************************************************************
115  using RT = ResultType_<VT>;
116  using RN = ReturnType_<VT>;
119  //**********************************************************************************************
120 
121  //**Return type evaluation**********************************************************************
123 
128  enum : bool { returnExpr = !IsTemporary<RN>::value };
129 
132  //**********************************************************************************************
133 
134  //**Serial evaluation strategy******************************************************************
136 
142  enum : bool { useAssign = IsComputation<VT>::value && RequiresEvaluation<VT>::value };
143 
145  template< typename VT2 >
147  struct UseAssign {
148  enum : bool { value = useAssign };
149  };
151  //**********************************************************************************************
152 
153  //**Parallel evaluation strategy****************************************************************
155 
161  template< typename VT2 >
162  struct UseSMPAssign {
163  enum : bool { value = ( !VT2::smpAssignable || !VT::smpAssignable ) && useAssign };
164  };
166  //**********************************************************************************************
167 
168  public:
169  //**Type definitions****************************************************************************
174 
177 
180 
182  using LeftOperand = If_< IsExpression<VT>, const VT, const VT& >;
183 
185  using RightOperand = ST;
186  //**********************************************************************************************
187 
188  //**ConstIterator class definition**************************************************************
192  {
193  public:
194  //**Type definitions*************************************************************************
195  using IteratorCategory = std::random_access_iterator_tag;
200 
201  // STL iterator requirements
207 
210  //*******************************************************************************************
211 
212  //**Constructor******************************************************************************
218  explicit inline ConstIterator( IteratorType iterator, RightOperand scalar )
219  : iterator_( iterator ) // Iterator to the current element
220  , scalar_ ( scalar ) // Scalar of the division expression
221  {}
222  //*******************************************************************************************
223 
224  //**Addition assignment operator*************************************************************
230  inline ConstIterator& operator+=( size_t inc ) {
231  iterator_ += inc;
232  return *this;
233  }
234  //*******************************************************************************************
235 
236  //**Subtraction assignment operator**********************************************************
242  inline ConstIterator& operator-=( size_t dec ) {
243  iterator_ -= dec;
244  return *this;
245  }
246  //*******************************************************************************************
247 
248  //**Prefix increment operator****************************************************************
254  ++iterator_;
255  return *this;
256  }
257  //*******************************************************************************************
258 
259  //**Postfix increment operator***************************************************************
264  inline const ConstIterator operator++( int ) {
265  return ConstIterator( iterator_++ );
266  }
267  //*******************************************************************************************
268 
269  //**Prefix decrement operator****************************************************************
275  --iterator_;
276  return *this;
277  }
278  //*******************************************************************************************
279 
280  //**Postfix decrement operator***************************************************************
285  inline const ConstIterator operator--( int ) {
286  return ConstIterator( iterator_-- );
287  }
288  //*******************************************************************************************
289 
290  //**Element access operator******************************************************************
295  inline ReturnType operator*() const {
296  return *iterator_ / scalar_;
297  }
298  //*******************************************************************************************
299 
300  //**Load function****************************************************************************
305  inline auto load() const noexcept {
306  return iterator_.load() / set( scalar_ );
307  }
308  //*******************************************************************************************
309 
310  //**Equality operator************************************************************************
316  inline bool operator==( const ConstIterator& rhs ) const {
317  return iterator_ == rhs.iterator_;
318  }
319  //*******************************************************************************************
320 
321  //**Inequality operator**********************************************************************
327  inline bool operator!=( const ConstIterator& rhs ) const {
328  return iterator_ != rhs.iterator_;
329  }
330  //*******************************************************************************************
331 
332  //**Less-than operator***********************************************************************
338  inline bool operator<( const ConstIterator& rhs ) const {
339  return iterator_ < rhs.iterator_;
340  }
341  //*******************************************************************************************
342 
343  //**Greater-than operator********************************************************************
349  inline bool operator>( const ConstIterator& rhs ) const {
350  return iterator_ > rhs.iterator_;
351  }
352  //*******************************************************************************************
353 
354  //**Less-or-equal-than operator**************************************************************
360  inline bool operator<=( const ConstIterator& rhs ) const {
361  return iterator_ <= rhs.iterator_;
362  }
363  //*******************************************************************************************
364 
365  //**Greater-or-equal-than operator***********************************************************
371  inline bool operator>=( const ConstIterator& rhs ) const {
372  return iterator_ >= rhs.iterator_;
373  }
374  //*******************************************************************************************
375 
376  //**Subtraction operator*********************************************************************
382  inline DifferenceType operator-( const ConstIterator& rhs ) const {
383  return iterator_ - rhs.iterator_;
384  }
385  //*******************************************************************************************
386 
387  //**Addition operator************************************************************************
394  friend inline const ConstIterator operator+( const ConstIterator& it, size_t inc ) {
395  return ConstIterator( it.iterator_ + inc );
396  }
397  //*******************************************************************************************
398 
399  //**Addition operator************************************************************************
406  friend inline const ConstIterator operator+( size_t inc, const ConstIterator& it ) {
407  return ConstIterator( it.iterator_ + inc );
408  }
409  //*******************************************************************************************
410 
411  //**Subtraction operator*********************************************************************
418  friend inline const ConstIterator operator-( const ConstIterator& it, size_t dec ) {
419  return ConstIterator( it.iterator_ - dec );
420  }
421  //*******************************************************************************************
422 
423  private:
424  //**Member variables*************************************************************************
427  //*******************************************************************************************
428  };
429  //**********************************************************************************************
430 
431  //**Compilation flags***************************************************************************
433  enum : bool { simdEnabled = VT::simdEnabled &&
436  HasSIMDDiv<UnderlyingElement_<ET>,ST>::value ) };
437 
439  enum : bool { smpAssignable = VT::smpAssignable };
440  //**********************************************************************************************
441 
442  //**SIMD properties*****************************************************************************
444  enum : size_t { SIMDSIZE = SIMDTrait<ElementType>::size };
445  //**********************************************************************************************
446 
447  //**Constructor*********************************************************************************
453  explicit inline DVecScalarDivExpr( const VT& vector, ST scalar ) noexcept
454  : vector_( vector ) // Left-hand side dense vector of the division expression
455  , scalar_( scalar ) // Right-hand side scalar of the division expression
456  {}
457  //**********************************************************************************************
458 
459  //**Subscript operator**************************************************************************
465  inline ReturnType operator[]( size_t index ) const {
466  BLAZE_INTERNAL_ASSERT( index < vector_.size(), "Invalid vector access index" );
467  return vector_[index] / scalar_;
468  }
469  //**********************************************************************************************
470 
471  //**At function*********************************************************************************
478  inline ReturnType at( size_t index ) const {
479  if( index >= vector_.size() ) {
480  BLAZE_THROW_OUT_OF_RANGE( "Invalid vector access index" );
481  }
482  return (*this)[index];
483  }
484  //**********************************************************************************************
485 
486  //**Load function*******************************************************************************
492  BLAZE_ALWAYS_INLINE auto load( size_t index ) const noexcept {
493  BLAZE_INTERNAL_ASSERT( index < vector_.size() , "Invalid vector access index" );
494  BLAZE_INTERNAL_ASSERT( index % SIMDSIZE == 0UL, "Invalid vector access index" );
495  return vector_.load( index ) / set( scalar_ );
496  }
497  //**********************************************************************************************
498 
499  //**Begin function******************************************************************************
504  inline ConstIterator begin() const {
505  return ConstIterator( vector_.begin(), scalar_ );
506  }
507  //**********************************************************************************************
508 
509  //**End function********************************************************************************
514  inline ConstIterator end() const {
515  return ConstIterator( vector_.end(), scalar_ );
516  }
517  //**********************************************************************************************
518 
519  //**Size function*******************************************************************************
524  inline size_t size() const noexcept {
525  return vector_.size();
526  }
527  //**********************************************************************************************
528 
529  //**Left operand access*************************************************************************
534  inline LeftOperand leftOperand() const noexcept {
535  return vector_;
536  }
537  //**********************************************************************************************
538 
539  //**Right operand access************************************************************************
544  inline RightOperand rightOperand() const noexcept {
545  return scalar_;
546  }
547  //**********************************************************************************************
548 
549  //**********************************************************************************************
555  template< typename T >
556  inline bool canAlias( const T* alias ) const noexcept {
557  return IsExpression<VT>::value && vector_.canAlias( alias );
558  }
559  //**********************************************************************************************
560 
561  //**********************************************************************************************
567  template< typename T >
568  inline bool isAliased( const T* alias ) const noexcept {
569  return vector_.isAliased( alias );
570  }
571  //**********************************************************************************************
572 
573  //**********************************************************************************************
578  inline bool isAligned() const noexcept {
579  return vector_.isAligned();
580  }
581  //**********************************************************************************************
582 
583  //**********************************************************************************************
588  inline bool canSMPAssign() const noexcept {
589  return vector_.canSMPAssign() || ( size() > SMP_DVECSCALARMULT_THRESHOLD );
590  }
591  //**********************************************************************************************
592 
593  private:
594  //**Member variables****************************************************************************
597  //**********************************************************************************************
598 
599  //**Assignment to dense vectors*****************************************************************
613  template< typename VT2 > // Type of the target dense vector
614  friend inline EnableIf_< UseAssign<VT2> >
615  assign( DenseVector<VT2,TF>& lhs, const DVecScalarDivExpr& rhs )
616  {
618 
619  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
620 
621  assign( ~lhs, rhs.vector_ );
622  assign( ~lhs, (~lhs) / rhs.scalar_ );
623  }
625  //**********************************************************************************************
626 
627  //**Assignment to sparse vectors****************************************************************
641  template< typename VT2 > // Type of the target sparse vector
642  friend inline EnableIf_< UseAssign<VT2> >
643  assign( SparseVector<VT2,TF>& lhs, const DVecScalarDivExpr& rhs )
644  {
646 
647  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
648 
649  assign( ~lhs, rhs.vector_ );
650  (~lhs) /= rhs.scalar_;
651  }
653  //**********************************************************************************************
654 
655  //**Addition assignment to dense vectors********************************************************
669  template< typename VT2 > // Type of the target dense vector
670  friend inline EnableIf_< UseAssign<VT2> >
671  addAssign( DenseVector<VT2,TF>& lhs, const DVecScalarDivExpr& rhs )
672  {
674 
678 
679  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
680 
681  const ResultType tmp( serial( rhs ) );
682  addAssign( ~lhs, tmp );
683  }
685  //**********************************************************************************************
686 
687  //**Addition assignment to sparse vectors*******************************************************
688  // No special implementation for the addition assignment to sparse vectors.
689  //**********************************************************************************************
690 
691  //**Subtraction assignment to dense vectors*****************************************************
705  template< typename VT2 > // Type of the target dense vector
706  friend inline EnableIf_< UseAssign<VT2> >
707  subAssign( DenseVector<VT2,TF>& lhs, const DVecScalarDivExpr& rhs )
708  {
710 
714 
715  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
716 
717  const ResultType tmp( serial( rhs ) );
718  subAssign( ~lhs, tmp );
719  }
721  //**********************************************************************************************
722 
723  //**Subtraction assignment to sparse vectors****************************************************
724  // No special implementation for the subtraction assignment to sparse vectors.
725  //**********************************************************************************************
726 
727  //**Multiplication assignment to dense vectors**************************************************
741  template< typename VT2 > // Type of the target dense vector
742  friend inline EnableIf_< UseAssign<VT2> >
743  multAssign( DenseVector<VT2,TF>& lhs, const DVecScalarDivExpr& rhs )
744  {
746 
750 
751  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
752 
753  const ResultType tmp( serial( rhs ) );
754  multAssign( ~lhs, tmp );
755  }
757  //**********************************************************************************************
758 
759  //**Multiplication assignment to sparse vectors*************************************************
760  // No special implementation for the multiplication assignment to sparse vectors.
761  //**********************************************************************************************
762 
763  //**Division assignment to dense vectors********************************************************
777  template< typename VT2 > // Type of the target dense vector
778  friend inline EnableIf_< UseAssign<VT2> >
779  divAssign( DenseVector<VT2,TF>& lhs, const DVecScalarDivExpr& rhs )
780  {
782 
786 
787  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
788 
789  const ResultType tmp( serial( rhs ) );
790  divAssign( ~lhs, tmp );
791  }
793  //**********************************************************************************************
794 
795  //**Division assignment to sparse vectors*******************************************************
796  // No special implementation for the division assignment to sparse vectors.
797  //**********************************************************************************************
798 
799  //**SMP assignment to dense vectors*************************************************************
813  template< typename VT2 > // Type of the target dense vector
814  friend inline EnableIf_< UseSMPAssign<VT2> >
816  {
818 
819  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
820 
821  smpAssign( ~lhs, rhs.vector_ );
822  smpAssign( ~lhs, (~lhs) / rhs.scalar_ );
823  }
825  //**********************************************************************************************
826 
827  //**SMP assignment to sparse vectors************************************************************
841  template< typename VT2 > // Type of the target sparse vector
842  friend inline EnableIf_< UseSMPAssign<VT2> >
844  {
846 
847  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
848 
849  smpAssign( ~lhs, rhs.vector_ );
850  (~lhs) /= rhs.scalar_;
851  }
853  //**********************************************************************************************
854 
855  //**SMP addition assignment to dense vectors****************************************************
869  template< typename VT2 > // Type of the target dense vector
870  friend inline EnableIf_< UseSMPAssign<VT2> >
872  {
874 
878 
879  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
880 
881  const ResultType tmp( rhs );
882  smpAddAssign( ~lhs, tmp );
883  }
885  //**********************************************************************************************
886 
887  //**SMP addition assignment to sparse vectors***************************************************
888  // No special implementation for the SMP addition assignment to sparse vectors.
889  //**********************************************************************************************
890 
891  //**SMP subtraction assignment to dense vectors*************************************************
905  template< typename VT2 > // Type of the target dense vector
906  friend inline EnableIf_< UseSMPAssign<VT2> >
908  {
910 
914 
915  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
916 
917  const ResultType tmp( rhs );
918  smpSubAssign( ~lhs, tmp );
919  }
921  //**********************************************************************************************
922 
923  //**SMP subtraction assignment to sparse vectors************************************************
924  // No special implementation for the SMP subtraction assignment to sparse vectors.
925  //**********************************************************************************************
926 
927  //**SMP multiplication assignment to dense vectors**********************************************
941  template< typename VT2 > // Type of the target dense vector
942  friend inline EnableIf_< UseSMPAssign<VT2> >
944  {
946 
950 
951  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
952 
953  const ResultType tmp( rhs );
954  smpMultAssign( ~lhs, tmp );
955  }
957  //**********************************************************************************************
958 
959  //**SMP multiplication assignment to sparse vectors*********************************************
960  // No special implementation for the SMP multiplication assignment to sparse vectors.
961  //**********************************************************************************************
962 
963  //**SMP division assignment to dense vectors****************************************************
977  template< typename VT2 > // Type of the target dense vector
978  friend inline EnableIf_< UseSMPAssign<VT2> >
980  {
982 
986 
987  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
988 
989  const ResultType tmp( rhs );
990  smpDivAssign( ~lhs, tmp );
991  }
993  //**********************************************************************************************
994 
995  //**SMP division assignment to sparse vectors***************************************************
996  // No special implementation for the SMP division assignment to sparse vectors.
997  //**********************************************************************************************
998 
999  //**Compile time checks*************************************************************************
1008  //**********************************************************************************************
1009 };
1010 //*************************************************************************************************
1011 
1012 
1013 
1014 
1015 //=================================================================================================
1016 //
1017 // GLOBAL BINARY ARITHMETIC OPERATORS
1018 //
1019 //=================================================================================================
1020 
1021 //*************************************************************************************************
1026 template< typename VT // Type of the left-hand side dense vector
1027  , typename ST // Type of the right-hand side scalar
1028  , bool TF > // Transpose flag
1029 struct DVecScalarDivExprHelper
1030 {
1031  private:
1032  //**********************************************************************************************
1036  , IsBuiltin<ST> >
1039  , ST >;
1040  //**********************************************************************************************
1041 
1042  public:
1043  //**********************************************************************************************
1044  using Type = If_< IsInvertible<ScalarType>
1047  //**********************************************************************************************
1048 };
1050 //*************************************************************************************************
1051 
1052 
1053 //*************************************************************************************************
1077 template< typename VT // Type of the left-hand side dense vector
1078  , typename ST // Type of the right-hand side scalar
1079  , bool TF // Transpose flag
1080  , typename = EnableIf_< IsNumeric<ST> > >
1081 inline decltype(auto) operator/( const DenseVector<VT,TF>& vec, ST scalar )
1082 {
1084 
1085  BLAZE_USER_ASSERT( scalar != ST(0), "Division by zero detected" );
1086 
1087  using ReturnType = typename DVecScalarDivExprHelper<VT,ST,TF>::Type;
1088  using ScalarType = RightOperand_<ReturnType>;
1089 
1091  return ReturnType( ~vec, ScalarType(1)/ScalarType(scalar) );
1092  }
1093  else {
1094  return ReturnType( ~vec, scalar );
1095  }
1096 }
1097 //*************************************************************************************************
1098 
1099 
1100 
1101 
1102 //=================================================================================================
1103 //
1104 // GLOBAL RESTRUCTURING BINARY ARITHMETIC OPERATORS
1105 //
1106 //=================================================================================================
1107 
1108 //*************************************************************************************************
1121 template< typename VT // Type of the dense vector of the left-hand side expression
1122  , typename ST1 // Type of the scalar of the left-hand side expression
1123  , bool TF // Transpose flag of the dense vector
1124  , typename ST2 // Type of the right-hand side scalar
1126 inline decltype(auto) operator*( const DVecScalarDivExpr<VT,ST1,TF>& vec, ST2 scalar )
1127 {
1129 
1130  return vec.leftOperand() * ( scalar / vec.rightOperand() );
1131 }
1133 //*************************************************************************************************
1134 
1135 
1136 //*************************************************************************************************
1149 template< typename ST1 // Type of the left-hand side scalar
1150  , typename VT // Type of the dense vector of the right-hand side expression
1151  , typename ST2 // Type of the scalar of the right-hand side expression
1152  , bool TF // Transpose flag of the dense vector
1153  , typename = EnableIf_< And< IsNumeric<ST1>, Or< IsInvertible<ST1>, IsInvertible<ST2> > > > >
1154 inline decltype(auto) operator*( ST1 scalar, const DVecScalarDivExpr<VT,ST2,TF>& vec )
1155 {
1157 
1158  return vec.leftOperand() * ( scalar / vec.rightOperand() );
1159 }
1161 //*************************************************************************************************
1162 
1163 
1164 //*************************************************************************************************
1177 template< typename VT // Type of the dense vector of the left-hand side expression
1178  , typename ST1 // Type of the scalar of the left-hand side expression
1179  , bool TF // Transpose flag of the dense vector
1180  , typename ST2 // Type of the right-hand side scalar
1181  , typename = EnableIf_< IsNumeric<ST2> > >
1182 inline decltype(auto) operator/( const DVecScalarDivExpr<VT,ST1,TF>& vec, ST2 scalar )
1183 {
1185 
1186  BLAZE_USER_ASSERT( scalar != ST2(0), "Division by zero detected" );
1187 
1188  using MultType = MultTrait_<ST1,ST2>;
1189  using ReturnType = typename DVecScalarDivExprHelper<VT,MultType,TF>::Type;
1190  using ScalarType = RightOperand_<ReturnType>;
1191 
1193  return ReturnType( vec.leftOperand(), ScalarType(1)/( vec.rightOperand() * scalar ) );
1194  }
1195  else {
1196  return ReturnType( vec.leftOperand(), vec.rightOperand() * scalar );
1197  }
1198 }
1200 //*************************************************************************************************
1201 
1202 
1203 
1204 
1205 //=================================================================================================
1206 //
1207 // SIZE SPECIALIZATIONS
1208 //
1209 //=================================================================================================
1210 
1211 //*************************************************************************************************
1213 template< typename VT, typename ST, bool TF >
1214 struct Size< DVecScalarDivExpr<VT,ST,TF> >
1215  : public Size<VT>
1216 {};
1218 //*************************************************************************************************
1219 
1220 
1221 
1222 
1223 //=================================================================================================
1224 //
1225 // ISALIGNED SPECIALIZATIONS
1226 //
1227 //=================================================================================================
1228 
1229 //*************************************************************************************************
1231 template< typename VT, typename ST, bool TF >
1232 struct IsAligned< DVecScalarDivExpr<VT,ST,TF> >
1233  : public BoolConstant< IsAligned<VT>::value >
1234 {};
1236 //*************************************************************************************************
1237 
1238 
1239 
1240 
1241 //=================================================================================================
1242 //
1243 // ISPADDED SPECIALIZATIONS
1244 //
1245 //=================================================================================================
1246 
1247 //*************************************************************************************************
1249 template< typename VT, typename ST, bool TF >
1250 struct IsPadded< DVecScalarDivExpr<VT,ST,TF> >
1251  : public BoolConstant< IsPadded<VT>::value >
1252 {};
1254 //*************************************************************************************************
1255 
1256 } // namespace blaze
1257 
1258 #endif
RightOperand scalar_
Right-hand side scalar of the division expression.
Definition: DVecScalarDivExpr.h:596
Header file for the UnderlyingNumeric type trait.
Pointer difference type of the Blaze library.
IfTrue_< useAssign, const ResultType, const DVecScalarDivExpr &> CompositeType
Data type for composite expression templates.
Definition: DVecScalarDivExpr.h:179
Header file for auxiliary alias declarations.
Data type constraint.
bool isAligned() const noexcept
Returns whether the operands of the expression are properly aligned in memory.
Definition: DVecScalarDivExpr.h:578
Compile time check whether the given type is a computational expression template.This type trait clas...
Definition: IsComputation.h:72
Compile time check for numeric types.This type trait tests whether or not the given template paramete...
Definition: IsNumeric.h:79
Constraint on the data type.
#define BLAZE_USER_ASSERT(expr, msg)
Run time assertion macro for user checks.In case of an invalid run time expression, the program execution is terminated. The BLAZE_USER_ASSERT macro can be disabled by setting the BLAZE_USER_ASSERT flag to zero or by defining NDEBUG during the compilation.
Definition: Assert.h:117
Compile time check whether the given type is a temporary vector or matrix type.This type trait class ...
Definition: IsTemporary.h:70
bool isAliased(const T *alias) const noexcept
Returns whether the expression is aliased with the given address alias.
Definition: DVecScalarDivExpr.h:568
Header file for basic type definitions.
Compile time check whether the given type is a multiplication expression template.This type trait class tests whether or not the given type Type is a multiplication expression template (i.e. an expression representing an element-wise vector multiplication, a matrix/vector multiplication, a vector/matrix multiplication, or a matrix multiplication). In order to qualify as a valid multiplication expression template, the given type has to derive publicly from the MultExpr base class. In case the given type is a valid multiplication expression template, the value member constant is set to true, the nested type definition Type is TrueType, and the class derives from TrueType. Otherwise value is set to false, Type is FalseType, and the class derives from FalseType.
Definition: IsMultExpr.h:97
decltype(auto) operator/(const DenseMatrix< MT, SO > &mat, ST scalar)
Division operator for the division of a dense matrix by a scalar value ( ).
Definition: DMatScalarDivExpr.h:1073
RightOperand scalar_
Scalar of the division expression.
Definition: DVecScalarDivExpr.h:426
EnableIf_< IsDenseMatrix< MT1 > > 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:164
Header file for the serial shim.
LeftOperand vector_
Left-hand side dense vector of the division expression.
Definition: DVecScalarDivExpr.h:595
Generic wrapper for a compile time constant integral value.The IntegralConstant class template repres...
Definition: IntegralConstant.h:71
ElementType * PointerType
Pointer return type.
Definition: DVecScalarDivExpr.h:197
Header file for the VecScalarDivExpr base class.
EnableIf_< IsDenseVector< VT1 > > smpMultAssign(Vector< VT1, TF1 > &lhs, const Vector< VT2, TF2 > &rhs)
Default implementation of the SMP multiplication assignment of a vector to a dense vector...
Definition: DenseVector.h:193
ConstIterator(IteratorType iterator, RightOperand scalar)
Constructor for the ConstIterator class.
Definition: DVecScalarDivExpr.h:218
std::random_access_iterator_tag IteratorCategory
The iterator category.
Definition: DVecScalarDivExpr.h:195
Header file for the And class template.
Header file for the DenseVector base class.
PointerType pointer
Pointer return type.
Definition: DVecScalarDivExpr.h:204
DVecScalarDivExpr(const VT &vector, ST scalar) noexcept
Constructor for the DVecScalarDivExpr class.
Definition: DVecScalarDivExpr.h:453
typename MultTrait< T1, T2 >::Type MultTrait_
Auxiliary alias declaration for the MultTrait class template.The MultTrait_ alias declaration provide...
Definition: MultTrait.h:250
Header file for the Computation base class.
Header file for the UnderlyingElement type trait.
Header file for the RequiresEvaluation type trait.
Base class for all vector/scalar division expression templates.The VecScalarDivExpr class serves as a...
Definition: VecScalarDivExpr.h:66
ST RightOperand
Composite type of the right-hand side scalar value.
Definition: DVecScalarDivExpr.h:185
typename T::ResultType ResultType_
Alias declaration for nested ResultType type definitions.The ResultType_ alias declaration provides a...
Definition: Aliases.h:343
EnableIf_< IsDenseMatrix< MT1 > > 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:133
ConstIterator & operator++()
Pre-increment operator.
Definition: DVecScalarDivExpr.h:253
typename IfTrue< Condition, T1, T2 >::Type IfTrue_
Auxiliary alias declaration for the IfTrue class template.The IfTrue_ alias declaration provides a co...
Definition: If.h:109
ResultType_< VT > RT
Result type of the dense vector expression.
Definition: DVecScalarDivExpr.h:115
typename T::ReturnType ReturnType_
Alias declaration for nested ReturnType type definitions.The ReturnType_ alias declaration provides a...
Definition: Aliases.h:363
Header file for the DivExprTrait class template.
friend const ConstIterator operator+(size_t inc, const ConstIterator &it)
Addition between an integral value and a ConstIterator.
Definition: DVecScalarDivExpr.h:406
Compile time check for the alignment of data types.This type trait tests whether the given data type ...
Definition: IsAligned.h:87
const ConstIterator operator++(int)
Post-increment operator.
Definition: DVecScalarDivExpr.h:264
LeftOperand leftOperand() const noexcept
Returns the left-hand side dense vector operand.
Definition: DVecScalarDivExpr.h:534
Compile time check to query the requirement to evaluate an expression.Via this type trait it is possi...
Definition: RequiresEvaluation.h:72
typename T::CompositeType CompositeType_
Alias declaration for nested CompositeType type definitions.The CompositeType_ alias declaration prov...
Definition: Aliases.h:83
ReturnType_< VT > RN
Return type of the dense vector expression.
Definition: DVecScalarDivExpr.h:116
Header file for the IsTemporary type trait class.
TransposeType_< ResultType > TransposeType
Transpose type for expression template evaluations.
Definition: DVecScalarDivExpr.h:172
Header file for the multiplication 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
Header file for the If class template.
Header file for the IsFloatingPoint type trait.
ReturnType operator[](size_t index) const
Subscript operator for the direct access to the vector elements.
Definition: DVecScalarDivExpr.h:465
Header file for the UnderlyingBuiltin type trait.
Header file for the IsMultExpr type trait class.
Compile time check for data types with padding.This type trait tests whether the given data type empl...
Definition: IsPadded.h:76
EnableIf_< IsDenseMatrix< MT1 > > 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:102
Header file for the Or class template.
Iterator over the elements of the dense vector.
Definition: DVecScalarDivExpr.h:191
#define BLAZE_THROW_OUT_OF_RANGE(MESSAGE)
Macro for the emission of a std::out_of_range exception.This macro encapsulates the default way of Bl...
Definition: Exception.h:331
DifferenceType operator-(const ConstIterator &rhs) const
Calculating the number of elements between two iterators.
Definition: DVecScalarDivExpr.h:382
const Element * ConstIterator
Iterator over constant elements.
Definition: CompressedMatrix.h:3087
ReferenceType reference
Reference return type.
Definition: DVecScalarDivExpr.h:205
typename T::ElementType ElementType_
Alias declaration for nested ElementType type definitions.The ElementType_ alias declaration provides...
Definition: Aliases.h:163
Header file for all SIMD functionality.
Availability of a SIMD division for the given data types.Depending on the available instruction set (...
Definition: HasSIMDDiv.h:150
BLAZE_ALWAYS_INLINE auto load(size_t index) const noexcept
Access to the SIMD elements of the vector.
Definition: DVecScalarDivExpr.h:492
Base class for N-dimensional dense vectors.The DenseVector class is a base class for all arbitrarily ...
Definition: DenseVector.h:70
#define BLAZE_CONSTRAINT_MUST_BE_SAME_TYPE(A, B)
Data type constraint.In case the two types A and B are not the same (ignoring all cv-qualifiers of bo...
Definition: SameType.h:71
Header file for the IsAligned type trait.
Constraint on the data type.
ElementType ValueType
Type of the underlying elements.
Definition: DVecScalarDivExpr.h:196
Constraint on the data type.
Header file for the exception macros of the math module.
Compile time check for floating point data types.This type trait tests whether or not the given templ...
Definition: IsFloatingPoint.h:75
ConstIterator & operator+=(size_t inc)
Addition assignment operator.
Definition: DVecScalarDivExpr.h:230
bool operator>(const ConstIterator &rhs) const
Greater-than comparison between two ConstIterator objects.
Definition: DVecScalarDivExpr.h:349
decltype(auto) operator*(const DenseMatrix< MT1, false > &lhs, const DenseMatrix< MT2, false > &rhs)
Multiplication operator for the multiplication of two row-major dense matrices ( ).
Definition: DMatDMatMultExpr.h:8893
IteratorType iterator_
Iterator to the current element.
Definition: DVecScalarDivExpr.h:425
ConstIterator_< VT > IteratorType
ConstIterator type of the dense vector expression.
Definition: DVecScalarDivExpr.h:209
Constraint on the data type.
ElementType_< VT > ET
Element type of the dense vector expression.
Definition: DVecScalarDivExpr.h:117
Header file for all forward declarations for expression class templates.
bool operator!=(const ConstIterator &rhs) const
Inequality comparison between two ConstIterator objects.
Definition: DVecScalarDivExpr.h:327
Header file for the EnableIf class template.
Header file for the IsPadded type trait.
DivExprTrait_< RN, ST > ExprReturnType
Expression return type for the subscript operator.
Definition: DVecScalarDivExpr.h:131
typename DivTrait< T1, T2 >::Type DivTrait_
Auxiliary alias declaration for the DivTrait class template.The DivTrait_ alias declaration provides ...
Definition: DivTrait.h:250
Header file for the IsNumeric type trait.
size_t size() const noexcept
Returns the current size/dimension of the vector.
Definition: DVecScalarDivExpr.h:524
auto load() const noexcept
Access to the SIMD elements of the vector.
Definition: DVecScalarDivExpr.h:305
Header file for run time assertion macros.
Utility type for generic codes.
Header file for the division trait.
ConstIterator end() const
Returns an iterator just past the last non-zero element of the dense vector.
Definition: DVecScalarDivExpr.h:514
bool operator<=(const ConstIterator &rhs) const
Less-than comparison between two ConstIterator objects.
Definition: DVecScalarDivExpr.h:360
bool operator>=(const ConstIterator &rhs) const
Greater-than comparison between two ConstIterator objects.
Definition: DVecScalarDivExpr.h:371
ConstIterator begin() const
Returns an iterator to the first non-zero element of the dense vector.
Definition: DVecScalarDivExpr.h:504
IteratorCategory iterator_category
The iterator category.
Definition: DVecScalarDivExpr.h:202
typename If< T1, T2, T3 >::Type If_
Auxiliary alias declaration for the If class template.The If_ alias declaration provides a convenient...
Definition: If.h:154
EnableIf_< IsDenseVector< VT1 > > smpDivAssign(Vector< VT1, TF1 > &lhs, const Vector< VT2, TF2 > &rhs)
Default implementation of the SMP division assignment of a vector to a dense vector.
Definition: DenseVector.h:222
Constraint on the data type.
RightOperand rightOperand() const noexcept
Returns the right-hand side scalar operand.
Definition: DVecScalarDivExpr.h:544
#define BLAZE_CONSTRAINT_MUST_BE_NUMERIC_TYPE(T)
Constraint on the data type.In case the given data type T is not a numeric (integral or floating poin...
Definition: Numeric.h:61
ConstIterator & operator--()
Pre-decrement operator.
Definition: DVecScalarDivExpr.h:274
SIMD characteristics of data types.The SIMDTrait class template provides the SIMD characteristics of ...
Definition: SIMDTrait.h:296
#define BLAZE_FUNCTION_TRACE
Function trace macro.This macro can be used to reliably trace function calls. In case function tracin...
Definition: FunctionTrace.h:94
If_< IsExpression< VT >, const VT, const VT &> LeftOperand
Composite type of the left-hand side dense vector expression.
Definition: DVecScalarDivExpr.h:182
Compile time check for built-in data types.This type trait tests whether or not the given template pa...
Definition: IsBuiltin.h:75
friend const ConstIterator operator-(const ConstIterator &it, size_t dec)
Subtraction between a ConstIterator and an integral value.
Definition: DVecScalarDivExpr.h:418
Compile time check for data types.This type trait tests whether or not the given template parameter i...
Definition: IsInvertible.h:83
decltype(auto) serial(const DenseMatrix< MT, SO > &dm)
Forces the serial evaluation of the given dense matrix expression dm.
Definition: DMatSerialExpr.h:819
#define BLAZE_CONSTRAINT_MUST_NOT_REQUIRE_EVALUATION(T)
Constraint on the data type.In case the given data type T requires an intermediate evaluation within ...
Definition: RequiresEvaluation.h:81
Header file for the IsInvertible type trait.
ReturnType operator*() const
Direct access to the element at the current iterator position.
Definition: DVecScalarDivExpr.h:295
typename EnableIf< Condition, T >::Type EnableIf_
Auxiliary alias declaration for the EnableIf class template.The EnableIf_ alias declaration provides ...
Definition: EnableIf.h:224
DivTrait_< RT, ST > ResultType
Result type for expression template evaluations.
Definition: DVecScalarDivExpr.h:171
#define BLAZE_CONSTRAINT_MUST_NOT_BE_FLOATING_POINT_TYPE(T)
Constraint on the data type.In case the given data type T is a floating point data type...
Definition: FloatingPoint.h:81
CompositeType_< VT > CT
Composite type of the dense vector expression.
Definition: DVecScalarDivExpr.h:118
Expression object for divisions of a dense vector by a scalar.The DVecScalarDivExpr class represents ...
Definition: DVecScalarDivExpr.h:109
const Type & ReturnType
Return type for expression template evaluations.
Definition: CompressedMatrix.h:3082
typename T::ConstIterator ConstIterator_
Alias declaration for nested ConstIterator type definitions.The ConstIterator_ alias declaration prov...
Definition: Aliases.h:103
#define BLAZE_CONSTRAINT_MUST_BE_DENSE_VECTOR_TYPE(T)
Constraint on the data type.In case the given data type T is not a dense, N-dimensional vector type...
Definition: DenseVector.h:61
ConstIterator & operator-=(size_t dec)
Subtraction assignment operator.
Definition: DVecScalarDivExpr.h:242
const IfTrue_< returnExpr, ExprReturnType, ElementType > ReturnType
Return type for expression template evaluations.
Definition: DVecScalarDivExpr.h:176
Header file for the HasSIMDDiv type trait.
friend const ConstIterator operator+(const ConstIterator &it, size_t inc)
Addition between a ConstIterator and an integral value.
Definition: DVecScalarDivExpr.h:394
ReturnType at(size_t index) const
Checked access to the vector elements.
Definition: DVecScalarDivExpr.h:478
Header file for the IsComputation type trait class.
Header file for the IsBuiltin type trait.
Expression object for dense vector-scalar multiplications.The DVecScalarMultExpr class represents the...
Definition: DVecScalarMultExpr.h:106
bool canAlias(const T *alias) const noexcept
Returns whether the expression can alias with the given address alias.
Definition: DVecScalarDivExpr.h:556
typename DivExprTrait< T1, T2 >::Type DivExprTrait_
Auxiliary alias declaration for the DivExprTrait class template.The DivExprTrait_ alias declaration p...
Definition: DivExprTrait.h:112
Base class for all compute expression templates.The Computation class serves as a tag for all computa...
Definition: Computation.h:66
Compile time logical or evaluation.The Or alias declaration performs at compile time a logical or (&#39;&&&#3...
Definition: Or.h:76
Compile time evaluation of the size of a vector.The Size type trait evaluates the size of the given v...
Definition: Size.h:74
Base class for sparse vectors.The SparseVector class is a base class for all arbitrarily sized (N-dim...
Definition: Forward.h:130
Header file for the IntegralConstant class template.
ElementType & ReferenceType
Reference return type.
Definition: DVecScalarDivExpr.h:198
Header file for the IsComplex type trait.
bool canSMPAssign() const noexcept
Returns whether the expression can be used in SMP assignments.
Definition: DVecScalarDivExpr.h:588
const ConstIterator operator--(int)
Post-decrement operator.
Definition: DVecScalarDivExpr.h:285
bool operator==(const ConstIterator &rhs) const
Equality comparison between two ConstIterator objects.
Definition: DVecScalarDivExpr.h:316
typename T::RightOperand RightOperand_
Alias declaration for nested RightOperand type definitions.The RightOperand_ alias declaration provid...
Definition: Aliases.h:383
typename T::TransposeType TransposeType_
Alias declaration for nested TransposeType type definitions.The TransposeType_ alias declaration prov...
Definition: Aliases.h:423
System settings for the inline keywords.
Header file for the Size type trait.
#define BLAZE_CONSTRAINT_MUST_BE_VECTOR_WITH_TRANSPOSE_FLAG(T, TF)
Constraint on the data type.In case the given data type T is not a dense or sparse vector type and in...
Definition: TransposeFlag.h:63
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 operator<(const ConstIterator &rhs) const
Less-than comparison between two ConstIterator objects.
Definition: DVecScalarDivExpr.h:338
Compile time check whether the given type is an expression template.This type trait class tests wheth...
Definition: IsExpression.h:95
ValueType value_type
Type of the underlying elements.
Definition: DVecScalarDivExpr.h:203
Header file for the IsExpression type trait class.
Header file for the function trace functionality.
ElementType_< ResultType > ElementType
Resulting element type.
Definition: DVecScalarDivExpr.h:173