SVecDVecDivExpr.h
Go to the documentation of this file.
1 //=================================================================================================
33 //=================================================================================================
34 
35 #ifndef _BLAZE_MATH_EXPRESSIONS_SVECDVECDIVEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_SVECDVECDIVEXPR_H_
37 
38 
39 //*************************************************************************************************
40 // Includes
41 //*************************************************************************************************
42 
43 #include <iterator>
44 #include <blaze/math/Aliases.h>
50 #include <blaze/math/Exception.h>
55 #include <blaze/math/shims/Reset.h>
65 #include <blaze/util/Assert.h>
66 #include <blaze/util/EnableIf.h>
68 #include <blaze/util/mpl/If.h>
69 #include <blaze/util/mpl/Max.h>
70 #include <blaze/util/Types.h>
72 
73 
74 namespace blaze {
75 
76 //=================================================================================================
77 //
78 // CLASS SVECDVECDIVEXPR
79 //
80 //=================================================================================================
81 
82 //*************************************************************************************************
89 template< typename VT1 // Type of the left-hand side sparse vector
90  , typename VT2 // Type of the right-hand side dense vector
91  , bool TF > // Transpose flag
92 class SVecDVecDivExpr : public SparseVector< SVecDVecDivExpr<VT1,VT2,TF>, TF >
93  , private VecVecDivExpr
94  , private Computation
95 {
96  private:
97  //**Type definitions****************************************************************************
104  //**********************************************************************************************
105 
106  //**Return type evaluation**********************************************************************
108 
113  enum : bool { returnExpr = !IsTemporary<RN1>::value && !IsTemporary<RN2>::value };
114 
117  //**********************************************************************************************
118 
119  //**Evaluation strategy*************************************************************************
121 
127  enum : bool { useAssign = ( RequiresEvaluation<VT1>::value || RequiresEvaluation<VT2>::value ) };
128 
130  template< typename VT >
132  struct UseAssign {
133  enum : bool { value = useAssign };
134  };
136  //**********************************************************************************************
137 
138  public:
139  //**Type definitions****************************************************************************
144 
147 
150 
152  typedef If_< IsExpression<VT1>, const VT1, const VT1& > LeftOperand;
153 
155  typedef If_< IsExpression<VT2>, const VT2, const VT2& > RightOperand;
156  //**********************************************************************************************
157 
158  //**Compilation flags***************************************************************************
160  enum : bool { smpAssignable = false };
161  //**********************************************************************************************
162 
163  //**ConstIterator class definition**************************************************************
167  {
168  public:
169  //**Type definitions*************************************************************************
172 
175 
176  typedef std::forward_iterator_tag IteratorCategory;
177  typedef ElementType ValueType;
178  typedef ValueType* PointerType;
179  typedef ValueType& ReferenceType;
181 
182  // STL iterator requirements
183  typedef IteratorCategory iterator_category;
184  typedef ValueType value_type;
185  typedef PointerType pointer;
186  typedef ReferenceType reference;
187  typedef DifferenceType difference_type;
188  //*******************************************************************************************
189 
190  //**Constructor******************************************************************************
193  inline ConstIterator( IteratorType it, RightOperand vec )
194  : it_ ( it ) // Iterator over the elements of the left-hand side sparse vector expression
195  , vec_( vec ) // Right-hand side dense vector expression
196  {}
197  //*******************************************************************************************
198 
199  //**Prefix increment operator****************************************************************
205  ++it_;
206  return *this;
207  }
208  //*******************************************************************************************
209 
210  //**Element access operator******************************************************************
215  inline const Element operator*() const {
216  return Element( it_->value() / vec_[it_->index()], it_->index() );
217  }
218  //*******************************************************************************************
219 
220  //**Element access operator******************************************************************
225  inline const ConstIterator* operator->() const {
226  return this;
227  }
228  //*******************************************************************************************
229 
230  //**Value function***************************************************************************
235  inline ReturnType value() const {
236  return it_->value() / vec_[it_->index()];
237  }
238  //*******************************************************************************************
239 
240  //**Index function***************************************************************************
245  inline size_t index() const {
246  return it_->index();
247  }
248  //*******************************************************************************************
249 
250  //**Equality operator************************************************************************
256  inline bool operator==( const ConstIterator& rhs ) const {
257  return it_ == rhs.it_;
258  }
259  //*******************************************************************************************
260 
261  //**Inequality operator**********************************************************************
267  inline bool operator!=( const ConstIterator& rhs ) const {
268  return it_ != rhs.it_;
269  }
270  //*******************************************************************************************
271 
272  //**Subtraction operator*********************************************************************
278  inline DifferenceType operator-( const ConstIterator& rhs ) const {
279  return it_ - rhs.it_;
280  }
281  //*******************************************************************************************
282 
283  private:
284  //**Member variables*************************************************************************
285  IteratorType it_;
286  RightOperand vec_;
287  //*******************************************************************************************
288  };
289  //**********************************************************************************************
290 
291  //**Constructor*********************************************************************************
297  explicit inline SVecDVecDivExpr( const VT1& lhs, const VT2& rhs ) noexcept
298  : lhs_( lhs ) // Left-hand side sparse vector of the division expression
299  , rhs_( rhs ) // Right-hand side dense vector of the division expression
300  {
301  BLAZE_INTERNAL_ASSERT( lhs.size() == rhs.size(), "Invalid vector sizes" );
302  }
303  //**********************************************************************************************
304 
305  //**Subscript operator**************************************************************************
311  inline ReturnType operator[]( size_t index ) const {
312  BLAZE_INTERNAL_ASSERT( index < lhs_.size(), "Invalid vector access index" );
313  return lhs_[index] / rhs_[index];
314  }
315  //**********************************************************************************************
316 
317  //**At function*********************************************************************************
324  inline ReturnType at( size_t index ) const {
325  if( index >= lhs_.size() ) {
326  BLAZE_THROW_OUT_OF_RANGE( "Invalid vector access index" );
327  }
328  return (*this)[index];
329  }
330  //**********************************************************************************************
331 
332  //**Begin function******************************************************************************
337  inline ConstIterator begin() const {
338  return ConstIterator( lhs_.begin(), rhs_ );
339  }
340  //**********************************************************************************************
341 
342  //**End function********************************************************************************
347  inline ConstIterator end() const {
348  return ConstIterator( lhs_.end(), rhs_ );
349  }
350  //**********************************************************************************************
351 
352  //**Size function*******************************************************************************
357  inline size_t size() const noexcept {
358  return rhs_.size();
359  }
360  //**********************************************************************************************
361 
362  //**NonZeros function***************************************************************************
367  inline size_t nonZeros() const {
368  return lhs_.nonZeros();
369  }
370  //**********************************************************************************************
371 
372  //**Find function*******************************************************************************
378  inline ConstIterator find( size_t index ) const {
380  return ConstIterator( lhs_.find( index ), rhs_ );
381  }
382  //**********************************************************************************************
383 
384  //**LowerBound function*************************************************************************
390  inline ConstIterator lowerBound( size_t index ) const {
392  return ConstIterator( lhs_.lowerBound( index ), rhs_ );
393  }
394  //**********************************************************************************************
395 
396  //**UpperBound function*************************************************************************
402  inline ConstIterator upperBound( size_t index ) const {
404  return ConstIterator( lhs_.upperBound( index ), rhs_ );
405  }
406  //**********************************************************************************************
407 
408  //**Left operand access*************************************************************************
413  inline LeftOperand leftOperand() const noexcept {
414  return lhs_;
415  }
416  //**********************************************************************************************
417 
418  //**Right operand access************************************************************************
423  inline RightOperand rightOperand() const noexcept {
424  return rhs_;
425  }
426  //**********************************************************************************************
427 
428  //**********************************************************************************************
434  template< typename T >
435  inline bool canAlias( const T* alias ) const noexcept {
436  return ( lhs_.canAlias( alias ) ) || ( rhs_.canAlias( alias ) );
437  }
438  //**********************************************************************************************
439 
440  //**********************************************************************************************
446  template< typename T >
447  inline bool isAliased( const T* alias ) const noexcept {
448  return ( lhs_.isAliased( alias ) ) || ( rhs_.isAliased( alias ) );
449  }
450  //**********************************************************************************************
451 
452  private:
453  //**Member variables****************************************************************************
454  LeftOperand lhs_;
455  RightOperand rhs_;
456  //**********************************************************************************************
457 
458  //**Assignment to dense vectors*****************************************************************
472  template< typename VT > // Type of the target dense vector
473  friend inline EnableIf_< UseAssign<VT> >
474  assign( DenseVector<VT,TF>& lhs, const SVecDVecDivExpr& rhs )
475  {
477 
478  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
479 
481 
482  CT1 x( serial( rhs.lhs_ ) ); // Evaluation of the left-hand side sparse vector operand
483  CT2 y( serial( rhs.rhs_ ) ); // Evaluation of the right-hand side dense vector operand
484 
485  BLAZE_INTERNAL_ASSERT( x.size() == rhs.lhs_.size(), "Invalid vector size" );
486  BLAZE_INTERNAL_ASSERT( y.size() == rhs.rhs_.size(), "Invalid vector size" );
487  BLAZE_INTERNAL_ASSERT( x.size() == (~lhs).size() , "Invalid vector size" );
488 
489  for( ConstIterator element=x.begin(); element!=x.end(); ++element )
490  (~lhs)[element->index()] = element->value() / y[element->index()];
491  }
493  //**********************************************************************************************
494 
495  //**Assignment to sparse vectors****************************************************************
509  template< typename VT > // Type of the target sparse vector
510  friend inline EnableIf_< UseAssign<VT> >
511  assign( SparseVector<VT,TF>& lhs, const SVecDVecDivExpr& rhs )
512  {
514 
515  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
516 
518 
519  CT1 x( serial( rhs.lhs_ ) ); // Evaluation of the left-hand side sparse vector operand
520  CT2 y( serial( rhs.rhs_ ) ); // Evaluation of the right-hand side dense vector operand
521 
522  BLAZE_INTERNAL_ASSERT( x.size() == rhs.lhs_.size(), "Invalid vector size" );
523  BLAZE_INTERNAL_ASSERT( y.size() == rhs.rhs_.size(), "Invalid vector size" );
524  BLAZE_INTERNAL_ASSERT( x.size() == (~lhs).size() , "Invalid vector size" );
525 
526  for( ConstIterator element=x.begin(); element!=x.end(); ++element )
527  (~lhs).append( element->index(), element->value() / y[element->index()] );
528  }
530  //**********************************************************************************************
531 
532  //**Addition assignment to dense vectors********************************************************
546  template< typename VT > // Type of the target dense vector
547  friend inline EnableIf_< UseAssign<VT> >
548  addAssign( DenseVector<VT,TF>& lhs, const SVecDVecDivExpr& rhs )
549  {
551 
552  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
553 
555 
556  CT1 x( serial( rhs.lhs_ ) ); // Evaluation of the left-hand side sparse vector operand
557  CT2 y( serial( rhs.rhs_ ) ); // Evaluation of the right-hand side dense vector operand
558 
559  BLAZE_INTERNAL_ASSERT( x.size() == rhs.lhs_.size(), "Invalid vector size" );
560  BLAZE_INTERNAL_ASSERT( y.size() == rhs.rhs_.size(), "Invalid vector size" );
561  BLAZE_INTERNAL_ASSERT( x.size() == (~lhs).size() , "Invalid vector size" );
562 
563  for( ConstIterator element=x.begin(); element!=x.end(); ++element )
564  (~lhs)[element->index()] += element->value() / y[element->index()];
565  }
567  //**********************************************************************************************
568 
569  //**Addition assignment to sparse vectors*******************************************************
570  // No special implementation for the addition assignment to sparse vectors.
571  //**********************************************************************************************
572 
573  //**Subtraction assignment to dense vectors*****************************************************
587  template< typename VT > // Type of the target dense vector
588  friend inline EnableIf_< UseAssign<VT> >
589  subAssign( DenseVector<VT,TF>& lhs, const SVecDVecDivExpr& rhs )
590  {
592 
593  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
594 
596 
597  CT1 x( serial( rhs.lhs_ ) ); // Evaluation of the left-hand side sparse vector operand
598  CT2 y( serial( rhs.rhs_ ) ); // Evaluation of the right-hand side dense vector operand
599 
600  BLAZE_INTERNAL_ASSERT( x.size() == rhs.lhs_.size(), "Invalid vector size" );
601  BLAZE_INTERNAL_ASSERT( y.size() == rhs.rhs_.size(), "Invalid vector size" );
602  BLAZE_INTERNAL_ASSERT( x.size() == (~lhs).size() , "Invalid vector size" );
603 
604  for( ConstIterator element=x.begin(); element!=x.end(); ++element )
605  (~lhs)[element->index()] -= element->value() / y[element->index()];
606  }
608  //**********************************************************************************************
609 
610  //**Subtraction assignment to sparse vectors****************************************************
611  // No special implementation for the subtraction assignment to sparse vectors.
612  //**********************************************************************************************
613 
614  //**Multiplication assignment to dense vectors**************************************************
628  template< typename VT > // Type of the target dense vector
629  friend inline EnableIf_< UseAssign<VT> >
630  multAssign( DenseVector<VT,TF>& lhs, const SVecDVecDivExpr& rhs )
631  {
633 
634  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
635 
637 
638  CT1 x( serial( rhs.lhs_ ) ); // Evaluation of the left-hand side sparse vector operand
639  CT2 y( serial( rhs.rhs_ ) ); // Evaluation of the right-hand side dense vector operand
640 
641  BLAZE_INTERNAL_ASSERT( x.size() == rhs.lhs_.size(), "Invalid vector size" );
642  BLAZE_INTERNAL_ASSERT( y.size() == rhs.rhs_.size(), "Invalid vector size" );
643  BLAZE_INTERNAL_ASSERT( x.size() == (~lhs).size() , "Invalid vector size" );
644 
645  const ConstIterator end( x.end() );
646  ConstIterator begin( x.begin() );
647  size_t i( 0UL );
648 
649  for( ; begin!=end; ++begin ) {
650  const size_t index( begin->index() );
651  for( ; i<index; ++i )
652  reset( (~lhs)[i] );
653  (~lhs)[index] *= begin->value() / y[index];
654  ++i;
655  }
656 
657  for( ; i<rhs.size(); ++i )
658  reset( (~lhs)[i] );
659  }
661  //**********************************************************************************************
662 
663  //**Multiplication assignment to sparse vectors*************************************************
664  // No special implementation for the multiplication assignment to sparse vectors.
665  //**********************************************************************************************
666 
667  //**Compile time checks*************************************************************************
675  //**********************************************************************************************
676 };
677 //*************************************************************************************************
678 
679 
680 
681 
682 //=================================================================================================
683 //
684 // GLOBAL BINARY ARITHMETIC OPERATORS
685 //
686 //=================================================================================================
687 
688 //*************************************************************************************************
714 template< typename T1 // Type of the left-hand side sparse vector
715  , typename T2 // Type of the right-hand side dense vector
716  , bool TF > // Transpose flag
717 inline const SVecDVecDivExpr<T1,T2,TF>
719 {
721 
722  if( (~lhs).size() != (~rhs).size() ) {
723  BLAZE_THROW_INVALID_ARGUMENT( "Vector sizes do not match" );
724  }
725 
726  return SVecDVecDivExpr<T1,T2,TF>( ~lhs, ~rhs );
727 }
728 //*************************************************************************************************
729 
730 
731 
732 
733 //=================================================================================================
734 //
735 // SIZE SPECIALIZATIONS
736 //
737 //=================================================================================================
738 
739 //*************************************************************************************************
741 template< typename VT1, typename VT2, bool TF >
742 struct Size< SVecDVecDivExpr<VT1,VT2,TF> >
743  : public Max< Size<VT1>, Size<VT2> >
744 {};
746 //*************************************************************************************************
747 
748 
749 
750 
751 //=================================================================================================
752 //
753 // EXPRESSION TRAIT SPECIALIZATIONS
754 //
755 //=================================================================================================
756 
757 //*************************************************************************************************
759 template< typename VT1, typename VT2, bool TF, bool AF >
760 struct SubvectorExprTrait< SVecDVecDivExpr<VT1,VT2,TF>, AF >
761 {
762  public:
763  //**********************************************************************************************
766  //**********************************************************************************************
767 };
769 //*************************************************************************************************
770 
771 } // namespace blaze
772 
773 #endif
If_< IsExpression< VT1 >, const VT1, const VT1 &> LeftOperand
Composite type of the left-hand side sparse vector expression.
Definition: SVecDVecDivExpr.h:152
#define BLAZE_THROW_INVALID_ARGUMENT(MESSAGE)
Macro for the emission of a std::invalid_argument exception.This macro encapsulates the default way o...
Definition: Exception.h:235
Pointer difference type of the Blaze library.
Header file for auxiliary alias declarations.
Header file for the Max class template.
If_< IsExpression< VT2 >, const VT2, const VT2 &> RightOperand
Composite type of the right-hand side dense vector expression.
Definition: SVecDVecDivExpr.h:155
Compile time check whether the given type is a temporary vector or matrix type.This type trait class ...
Definition: IsTemporary.h:70
Evaluation of the expression type type of a subvector operation.Via this type trait it is possible to...
Definition: SubvectorExprTrait.h:79
Header file for the VecVecDivExpr base class.
Header file for basic type definitions.
Header file for the SparseVector base class.
ConstIterator begin() const
Returns an iterator to the first non-zero element of the sparse vector.
Definition: SVecDVecDivExpr.h:337
ReturnType operator[](size_t index) const
Subscript operator for the direct access to the vector elements.
Definition: SVecDVecDivExpr.h:311
Header file for the serial shim.
SVecDVecDivExpr< VT1, VT2, TF > This
Type of this SVecDVecDivExpr instance.
Definition: SVecDVecDivExpr.h:140
void reset(const DiagonalProxy< MT > &proxy)
Resetting the represented element to the default initial values.
Definition: DiagonalProxy.h:533
std::forward_iterator_tag IteratorCategory
The iterator category.
Definition: SVecDVecDivExpr.h:176
LeftOperand lhs_
Left-hand side sparse vector of the division expression.
Definition: SVecDVecDivExpr.h:454
const DMatSerialExpr< MT, SO > serial(const DenseMatrix< MT, SO > &dm)
Forces the serial evaluation of the given dense matrix expression dm.
Definition: DMatSerialExpr.h:721
Header file for the Computation base class.
Constraint on the data type.
Header file for the RequiresEvaluation type trait.
CompositeType_< VT2 > CT2
Composite type of the right-hand side dense vector expression.
Definition: SVecDVecDivExpr.h:103
typename T::ResultType ResultType_
Alias declaration for nested ResultType type definitions.The ResultType_ alias declaration provides a...
Definition: Aliases.h:323
RightOperand rhs_
Right-hand side dense vector of the division expression.
Definition: SVecDVecDivExpr.h:455
ConstIterator end() const
Returns an iterator just past the last non-zero element of the sparse vector.
Definition: SVecDVecDivExpr.h:347
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
typename T::ReturnType ReturnType_
Alias declaration for nested ReturnType type definitions.The ReturnType_ alias declaration provides a...
Definition: Aliases.h:343
Header file for the DivExprTrait class template.
ReturnType at(size_t index) const
Checked access to the vector elements.
Definition: SVecDVecDivExpr.h:324
Compile time check to query the requirement to evaluate an expression.Via this type trait it is possi...
Definition: RequiresEvaluation.h:72
CompositeType_< VT1 > CT1
Composite type of the left-hand side sparse vector expression.
Definition: SVecDVecDivExpr.h:102
typename T::CompositeType CompositeType_
Alias declaration for nested CompositeType type definitions.The CompositeType_ alias declaration prov...
Definition: Aliases.h:83
const EnableIf_< IsNumeric< T2 >, DivExprTrait_< T1, T2 > > operator/(const DenseMatrix< T1, SO > &mat, T2 scalar)
Division operator for the division of a dense matrix by a scalar value ( ).
Definition: DMatScalarDivExpr.h:966
Header file for the ValueIndexPair class.
ResultType_< VT1 > RT1
Result type of the left-hand side sparse vector expression.
Definition: SVecDVecDivExpr.h:98
Header file for the IsTemporary type trait class.
DivExprTrait_< RN1, RN2 > ExprReturnType
Expression return type for the subscript operator.
Definition: SVecDVecDivExpr.h:116
Namespace of the Blaze C++ math library.
Definition: Blaze.h:57
Header file for the If class template.
Expression object for sparse vector-dense vector divisions.The SVecDVecDivExpr class represents the c...
Definition: Forward.h:122
const Element * ConstIterator
Iterator over constant elements.
Definition: CompressedMatrix.h:2939
#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
typename SubvectorExprTrait< VT, AF >::Type SubvectorExprTrait_
Auxiliary alias declaration for the SubvectorExprTrait type trait.The SubvectorExprTrait_ alias decla...
Definition: SubvectorExprTrait.h:133
typename T::ElementType ElementType_
Alias declaration for nested ElementType type definitions.The ElementType_ alias declaration provides...
Definition: Aliases.h:163
bool canAlias(const T *alias) const noexcept
Returns whether the expression can alias with the given address alias.
Definition: SVecDVecDivExpr.h:435
RightOperand vec_
Right-hand side dense vector expression.
Definition: SVecDVecDivExpr.h:286
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_SPARSE_VECTOR_TYPE(T)
Constraint on the data type.In case the given data type T is not a sparse, N-dimensional vector type...
Definition: SparseVector.h:61
size_t size() const noexcept
Returns the current size/dimension of the vector.
Definition: SVecDVecDivExpr.h:357
Constraint on the data type.
ConstIterator lowerBound(size_t index) const
Returns an iterator to the first index not less then the given index.
Definition: SVecDVecDivExpr.h:390
Constraint on the data type.
SVecDVecDivExpr(const VT1 &lhs, const VT2 &rhs) noexcept
Constructor for the SVecDVecDivExpr class.
Definition: SVecDVecDivExpr.h:297
ValueIndexPair< ElementType > Element
Element type of the sparse vector expression.
Definition: SVecDVecDivExpr.h:171
IfTrue_< useAssign, const ResultType, const SVecDVecDivExpr &> CompositeType
Data type for composite expression templates.
Definition: SVecDVecDivExpr.h:149
const ConstIterator * operator->() const
Direct access to the sparse vector element at the current iterator position.
Definition: SVecDVecDivExpr.h:225
Header file for the exception macros of the math module.
DivTrait_< RT1, RT2 > ResultType
Result type for expression template evaluations.
Definition: SVecDVecDivExpr.h:141
RightOperand rightOperand() const noexcept
Returns the right-hand side dense vector operand.
Definition: SVecDVecDivExpr.h:423
size_t index() const
Access to the current index of the sparse element.
Definition: SVecDVecDivExpr.h:245
Constraint on the data type.
ReferenceType reference
Reference return type.
Definition: SVecDVecDivExpr.h:186
Header file for all forward declarations for expression class templates.
Constraint on the data type.
ReturnType value() const
Access to the current value of the sparse element.
Definition: SVecDVecDivExpr.h:235
ElementType ValueType
Type of the underlying pointers.
Definition: SVecDVecDivExpr.h:177
const Element operator*() const
Direct access to the sparse vector element at the current iterator position.
Definition: SVecDVecDivExpr.h:215
DifferenceType difference_type
Difference between two iterators.
Definition: SVecDVecDivExpr.h:187
Header file for the EnableIf class template.
ConstIterator(IteratorType it, RightOperand vec)
Constructor for the ConstIterator class.
Definition: SVecDVecDivExpr.h:193
IteratorType it_
Iterator over the elements of the left-hand side sparse vector expression.
Definition: SVecDVecDivExpr.h:285
typename DivTrait< T1, T2 >::Type DivTrait_
Auxiliary alias declaration for the DivTrait class template.The DivTrait_ alias declaration provides ...
Definition: DivTrait.h:245
ReturnType_< VT1 > RN1
Return type of the left-hand side sparse vector expression.
Definition: SVecDVecDivExpr.h:100
PointerType pointer
Pointer return type.
Definition: SVecDVecDivExpr.h:185
Header file for run time assertion macros.
bool operator==(const ConstIterator &rhs) const
Equality comparison between two ConstIterator objects.
Definition: SVecDVecDivExpr.h:256
ElementType_< ResultType > ElementType
Resulting element type.
Definition: SVecDVecDivExpr.h:143
Compile time value evaluation.The Max class template selects the larger of the two given template arg...
Definition: Max.h:72
Header file for the division trait.
Iterator over the elements of the sparse vector-dense vector division expression. ...
Definition: SVecDVecDivExpr.h:166
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:160
ConstIterator & operator++()
Pre-increment operator.
Definition: SVecDVecDivExpr.h:204
ConstIterator_< RemoveReference_< LeftOperand > > IteratorType
Iterator type of the sparse vector expression.
Definition: SVecDVecDivExpr.h:174
ValueType & ReferenceType
Reference return type.
Definition: SVecDVecDivExpr.h:179
Header file for the reset shim.
#define BLAZE_FUNCTION_TRACE
Function trace macro.This macro can be used to reliably trace function calls. In case function tracin...
Definition: FunctionTrace.h:93
IteratorCategory iterator_category
The iterator category.
Definition: SVecDVecDivExpr.h:183
size_t nonZeros() const
Returns the number of non-zero elements in the sparse vector.
Definition: SVecDVecDivExpr.h:367
#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 RemoveReference type trait.
typename EnableIf< Condition, T >::Type EnableIf_
Auxiliary alias declaration for the EnableIf class template.The EnableIf_ alias declaration provides ...
Definition: EnableIf.h:223
ConstIterator find(size_t index) const
Searches for a specific vector element.
Definition: SVecDVecDivExpr.h:378
LeftOperand leftOperand() const noexcept
Returns the left-hand side sparse vector operand.
Definition: SVecDVecDivExpr.h:413
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
Index-value-pair for sparse vectors and matrices.The ValueIndexPair class represents a single index-v...
Definition: ValueIndexPair.h:73
ValueType value_type
Type of the underlying pointers.
Definition: SVecDVecDivExpr.h:184
TransposeType_< ResultType > TransposeType
Transpose type for expression template evaluations.
Definition: SVecDVecDivExpr.h:142
#define BLAZE_CONSTRAINT_MUST_FORM_VALID_VECVECDIVEXPR(T1, T2)
Constraint on the data type.In case the given data types T1 and T2 do not form a valid vector/vector ...
Definition: VecVecDivExpr.h:109
ConstIterator upperBound(size_t index) const
Returns an iterator to the first index greater then the given index.
Definition: SVecDVecDivExpr.h:402
bool operator!=(const ConstIterator &rhs) const
Inequality comparison between two ConstIterator objects.
Definition: SVecDVecDivExpr.h:267
typename DivExprTrait< T1, T2 >::Type DivExprTrait_
Auxiliary alias declaration for the DivExprTrait class template.The DivExprTrait_ alias declaration p...
Definition: DivExprTrait.h:196
bool isAliased(const T *alias) const noexcept
Returns whether the expression is aliased with the given address alias.
Definition: SVecDVecDivExpr.h:447
Compile time evaluation of the size of a vector.The Size type trait evaluates the size of the given v...
Definition: Size.h:75
ResultType_< VT2 > RT2
Result type of the right-hand side dense vector expression.
Definition: SVecDVecDivExpr.h:99
Base class for sparse vectors.The SparseVector class is a base class for all arbitrarily sized (N-dim...
Definition: Forward.h:120
DifferenceType operator-(const ConstIterator &rhs) const
Calculating the number of elements between two expression iterators.
Definition: SVecDVecDivExpr.h:278
Header file for the SubvectorExprTrait class template.
typename T::TransposeType TransposeType_
Alias declaration for nested TransposeType type definitions.The TransposeType_ alias declaration prov...
Definition: Aliases.h:403
ReturnType_< VT2 > RN2
Return type of the right-hand side dense vector expression.
Definition: SVecDVecDivExpr.h:101
Header file for the Size type trait.
ptrdiff_t DifferenceType
Difference between two iterators.
Definition: SVecDVecDivExpr.h:180
#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
#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
Header file for the IsExpression type trait class.
Header file for the function trace functionality.
const IfTrue_< returnExpr, ExprReturnType, ElementType > ReturnType
Return type for expression template evaluations.
Definition: SVecDVecDivExpr.h:146
ValueType * PointerType
Pointer return type.
Definition: SVecDVecDivExpr.h:178