SVecDVecSubExpr.h
Go to the documentation of this file.
1 //=================================================================================================
33 //=================================================================================================
34 
35 #ifndef _BLAZE_MATH_EXPRESSIONS_SVECDVECSUBEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_SVECDVECSUBEXPR_H_
37 
38 
39 //*************************************************************************************************
40 // Includes
41 //*************************************************************************************************
42 
43 #include <utility>
44 #include <blaze/math/Aliases.h>
50 #include <blaze/math/Exception.h>
61 #include <blaze/util/Assert.h>
62 #include <blaze/util/DisableIf.h>
63 #include <blaze/util/EnableIf.h>
65 #include <blaze/util/mpl/If.h>
66 #include <blaze/util/Types.h>
68 #include <blaze/util/Unused.h>
69 
70 
71 namespace blaze {
72 
73 //=================================================================================================
74 //
75 // CLASS SVECDVECSUBEXPR
76 //
77 //=================================================================================================
78 
79 //*************************************************************************************************
86 template< typename VT1 // Type of the left-hand side sparse vector
87  , typename VT2 // Type of the right-hand side dense vector
88  , bool TF > // Transpose flag
89 class SVecDVecSubExpr
90  : public VecVecSubExpr< DenseVector< SVecDVecSubExpr<VT1,VT2,TF>, TF > >
91  , private Computation
92 {
93  private:
94  //**Type definitions****************************************************************************
103  //**********************************************************************************************
104 
105  //**Return type evaluation**********************************************************************
107 
112  static constexpr bool returnExpr = ( !IsTemporary_v<RN1> && !IsTemporary_v<RN2> );
113 
115  using ExprReturnType = decltype( std::declval<RN1>() - std::declval<RN2>() );
116  //**********************************************************************************************
117 
118  //**Parallel evaluation strategy****************************************************************
120 
125  template< typename VT >
126  static constexpr bool UseSMPAssign_v = ( !VT1::smpAssignable || !VT2::smpAssignable );
128  //**********************************************************************************************
129 
130  public:
131  //**Type definitions****************************************************************************
137 
140 
142  using CompositeType = const ResultType;
143 
145  using LeftOperand = If_t< IsExpression_v<VT1>, const VT1, const VT1& >;
146 
148  using RightOperand = If_t< IsExpression_v<VT2>, const VT2, const VT2& >;
149  //**********************************************************************************************
150 
151  //**Compilation flags***************************************************************************
153  static constexpr bool simdEnabled = false;
154 
156  static constexpr bool smpAssignable = false;
157  //**********************************************************************************************
158 
159  //**Constructor*********************************************************************************
165  explicit inline SVecDVecSubExpr( const VT1& lhs, const VT2& rhs ) noexcept
166  : lhs_( lhs ) // Left-hand side sparse vector of the subtraction expression
167  , rhs_( rhs ) // Right-hand side dense vector of the subtraction expression
168  {
169  BLAZE_INTERNAL_ASSERT( lhs.size() == rhs.size(), "Invalid vector sizes" );
170  }
171  //**********************************************************************************************
172 
173  //**Subscript operator**************************************************************************
179  inline ReturnType operator[]( size_t index ) const {
180  BLAZE_INTERNAL_ASSERT( index < lhs_.size(), "Invalid vector access index" );
181  return lhs_[index] - rhs_[index];
182  }
183  //**********************************************************************************************
184 
185  //**At function*********************************************************************************
192  inline ReturnType at( size_t index ) const {
193  if( index >= lhs_.size() ) {
194  BLAZE_THROW_OUT_OF_RANGE( "Invalid vector access index" );
195  }
196  return (*this)[index];
197  }
198  //**********************************************************************************************
199 
200  //**Size function*******************************************************************************
205  inline size_t size() const noexcept {
206  return lhs_.size();
207  }
208  //**********************************************************************************************
209 
210  //**Left operand access*************************************************************************
215  inline LeftOperand leftOperand() const noexcept {
216  return lhs_;
217  }
218  //**********************************************************************************************
219 
220  //**Right operand access************************************************************************
225  inline RightOperand rightOperand() const noexcept {
226  return rhs_;
227  }
228  //**********************************************************************************************
229 
230  //**********************************************************************************************
236  template< typename T >
237  inline bool canAlias( const T* alias ) const noexcept {
238  return ( lhs_.canAlias( alias ) ) ||
239  ( IsExpression_v<VT2> && rhs_.canAlias( alias ) );
240  }
241  //**********************************************************************************************
242 
243  //**********************************************************************************************
249  template< typename T >
250  inline bool isAliased( const T* alias ) const noexcept {
251  return ( lhs_.isAliased( alias ) || rhs_.isAliased( alias ) );
252  }
253  //**********************************************************************************************
254 
255  private:
256  //**Member variables****************************************************************************
259  //**********************************************************************************************
260 
261  //**Assignment to dense vectors*****************************************************************
273  template< typename VT > // Type of the target dense vector
274  friend inline void assign( DenseVector<VT,TF>& lhs, const SVecDVecSubExpr& rhs )
275  {
277 
278  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
279 
280  assign ( ~lhs, -rhs.rhs_ );
281  addAssign( ~lhs, rhs.lhs_ );
282  }
284  //**********************************************************************************************
285 
286  //**Assignment to sparse vectors****************************************************************
298  template< typename VT > // Type of the target sparse vector
299  friend inline void assign( SparseVector<VT,TF>& lhs, const SVecDVecSubExpr& rhs )
300  {
302 
306 
307  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
308 
309  const ResultType tmp( serial( rhs ) );
310  assign( ~lhs, tmp );
311  }
313  //**********************************************************************************************
314 
315  //**Addition assignment to dense vectors********************************************************
327  template< typename VT > // Type of the target dense vector
328  friend inline void addAssign( DenseVector<VT,TF>& lhs, const SVecDVecSubExpr& rhs )
329  {
331 
332  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
333 
334  subAssign( ~lhs, rhs.rhs_ );
335  addAssign( ~lhs, rhs.lhs_ );
336  }
338  //**********************************************************************************************
339 
340  //**Addition assignment to sparse vectors*******************************************************
341  // No special implementation for the addition assignment to sparse vectors.
342  //**********************************************************************************************
343 
344  //**Subtraction assignment to dense vectors*****************************************************
356  template< typename VT > // Type of the target dense vector
357  friend inline void subAssign( DenseVector<VT,TF>& lhs, const SVecDVecSubExpr& rhs )
358  {
360 
361  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
362 
363  addAssign( ~lhs, rhs.rhs_ );
364  subAssign( ~lhs, rhs.lhs_ );
365  }
367  //**********************************************************************************************
368 
369  //**Subtraction assignment to sparse vectors****************************************************
370  // No special implementation for the subtraction assignment to sparse vectors.
371  //**********************************************************************************************
372 
373  //**Multiplication assignment to dense vectors**************************************************
385  template< typename VT > // Type of the target dense vector
386  friend inline void multAssign( DenseVector<VT,TF>& lhs, const SVecDVecSubExpr& rhs )
387  {
389 
393 
394  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
395 
396  const ResultType tmp( serial( rhs ) );
397  multAssign( ~lhs, tmp );
398  }
400  //**********************************************************************************************
401 
402  //**Multiplication assignment to sparse vectors*************************************************
403  // No special implementation for the multiplication assignment to sparse vectors.
404  //**********************************************************************************************
405 
406  //**Division assignment to dense vectors********************************************************
418  template< typename VT > // Type of the target dense vector
419  friend inline void divAssign( DenseVector<VT,TF>& lhs, const SVecDVecSubExpr& rhs )
420  {
422 
426 
427  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
428 
429  const ResultType tmp( serial( rhs ) );
430  divAssign( ~lhs, tmp );
431  }
433  //**********************************************************************************************
434 
435  //**Division assignment to sparse vectors*******************************************************
436  // No special implementation for the division assignment to sparse vectors.
437  //**********************************************************************************************
438 
439  //**SMP assignment to dense vectors*************************************************************
453  template< typename VT > // Type of the target dense vector
454  friend inline auto smpAssign( DenseVector<VT,TF>& lhs, const SVecDVecSubExpr& rhs )
455  -> EnableIf_t< UseSMPAssign_v<VT> >
456  {
458 
459  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
460 
461  smpAssign ( ~lhs, -rhs.rhs_ );
462  smpAddAssign( ~lhs, rhs.lhs_ );
463  }
465  //**********************************************************************************************
466 
467  //**SMP assignment to sparse vectors************************************************************
481  template< typename VT > // Type of the target sparse vector
482  friend inline auto smpAssign( SparseVector<VT,TF>& lhs, const SVecDVecSubExpr& rhs )
483  -> EnableIf_t< UseSMPAssign_v<VT> >
484  {
486 
490 
491  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
492 
493  const ResultType tmp( rhs );
494  smpAssign( ~lhs, tmp );
495  }
497  //**********************************************************************************************
498 
499  //**SMP addition assignment to dense vectors****************************************************
513  template< typename VT > // Type of the target dense vector
514  friend inline auto smpAddAssign( DenseVector<VT,TF>& lhs, const SVecDVecSubExpr& rhs )
515  -> EnableIf_t< UseSMPAssign_v<VT> >
516  {
518 
519  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
520 
521  smpSubAssign( ~lhs, rhs.rhs_ );
522  smpAddAssign( ~lhs, rhs.lhs_ );
523  }
525  //**********************************************************************************************
526 
527  //**SMP addition assignment to sparse vectors***************************************************
528  // No special implementation for the SMP addition assignment to sparse vectors.
529  //**********************************************************************************************
530 
531  //**SMP subtraction assignment to dense vectors*************************************************
545  template< typename VT > // Type of the target dense vector
546  friend inline auto smpSubAssign( DenseVector<VT,TF>& lhs, const SVecDVecSubExpr& rhs )
547  -> EnableIf_t< UseSMPAssign_v<VT> >
548  {
550 
551  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
552 
553  smpAddAssign( ~lhs, rhs.rhs_ );
554  smpSubAssign( ~lhs, rhs.lhs_ );
555  }
557  //**********************************************************************************************
558 
559  //**SMP subtraction assignment to sparse vectors************************************************
560  // No special implementation for the SMP subtraction assignment to sparse vectors.
561  //**********************************************************************************************
562 
563  //**SMP multiplication assignment to dense vectors**********************************************
578  template< typename VT > // Type of the target dense vector
579  friend inline auto smpMultAssign( DenseVector<VT,TF>& lhs, const SVecDVecSubExpr& rhs )
580  -> EnableIf_t< UseSMPAssign_v<VT> >
581  {
583 
587 
588  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
589 
590  const ResultType tmp( rhs );
591  smpMultAssign( ~lhs, tmp );
592  }
594  //**********************************************************************************************
595 
596  //**SMP multiplication assignment to sparse vectors*********************************************
597  // No special implementation for the SMP multiplication assignment to sparse vectors.
598  //**********************************************************************************************
599 
600  //**SMP division assignment to dense vectors****************************************************
614  template< typename VT > // Type of the target dense vector
615  friend inline auto smpDivAssign( DenseVector<VT,TF>& lhs, const SVecDVecSubExpr& rhs )
616  -> EnableIf_t< UseSMPAssign_v<VT> >
617  {
619 
623 
624  BLAZE_INTERNAL_ASSERT( (~lhs).size() == rhs.size(), "Invalid vector sizes" );
625 
626  const ResultType tmp( rhs );
627  smpDivAssign( ~lhs, tmp );
628  }
630  //**********************************************************************************************
631 
632  //**SMP division assignment to sparse vectors***************************************************
633  // No special implementation for the SMP division assignment to sparse vectors.
634  //**********************************************************************************************
635 
636  //**Compile time checks*************************************************************************
644  //**********************************************************************************************
645 };
646 //*************************************************************************************************
647 
648 
649 
650 
651 //=================================================================================================
652 //
653 // GLOBAL BINARY ARITHMETIC OPERATORS
654 //
655 //=================================================================================================
656 
657 //*************************************************************************************************
670 template< typename VT1 // Type of the left-hand side sparse vector
671  , typename VT2 // Type of the right-hand side dense vector
672  , bool TF // Transpose flag
673  , DisableIf_t< IsZero_v<VT1> &&
674  IsSame_v< ElementType_t<VT1>, ElementType_t<VT2> > >* = nullptr >
675 inline const SVecDVecSubExpr<VT1,VT2,TF>
676  svecdvecsub( const SparseVector<VT1,TF>& lhs, const DenseVector<VT2,TF>& rhs )
677 {
679 
680  BLAZE_INTERNAL_ASSERT( (~lhs).size() == (~rhs).size(), "Invalid vector sizes" );
681 
682  return SVecDVecSubExpr<VT1,VT2,TF>( ~lhs, ~rhs );
683 }
685 //*************************************************************************************************
686 
687 
688 //*************************************************************************************************
701 template< typename VT1 // Type of the left-hand side sparse vector
702  , typename VT2 // Type of the right-hand side dense vector
703  , bool TF // Transpose flag
704  , EnableIf_t< IsZero_v<VT1> &&
705  IsSame_v< ElementType_t<VT1>, ElementType_t<VT2> > >* = nullptr >
706 inline decltype(auto)
707  svecdvecsub( const SparseVector<VT1,TF>& lhs, const DenseVector<VT2,TF>& rhs )
708 {
710 
711  UNUSED_PARAMETER( lhs );
712 
713  BLAZE_INTERNAL_ASSERT( (~lhs).size() == (~rhs).size(), "Invalid vector sizes" );
714 
715  return -(~rhs);
716 }
718 //*************************************************************************************************
719 
720 
721 //*************************************************************************************************
747 template< typename VT1 // Type of the left-hand side sparse vector
748  , typename VT2 // Type of the right-hand side dense vector
749  , bool TF > // Transpose flag
750 inline decltype(auto)
751  operator-( const SparseVector<VT1,TF>& lhs, const DenseVector<VT2,TF>& rhs )
752 {
754 
755  if( (~lhs).size() != (~rhs).size() ) {
756  BLAZE_THROW_INVALID_ARGUMENT( "Vector sizes do not match" );
757  }
758 
759  return svecdvecsub( ~lhs, ~rhs );
760 }
761 //*************************************************************************************************
762 
763 
764 
765 
766 //=================================================================================================
767 //
768 // GLOBAL RESTRUCTURING BINARY ARITHMETIC OPERATORS
769 //
770 //=================================================================================================
771 
772 //*************************************************************************************************
785 template< typename VT1 // Type of the sparse vector of the left-hand side expression
786  , typename VT2 // Type of the dense vector of the left-hand side expression
787  , bool TF // Transpose flag of the left-hand side expression
788  , typename VT3 > // Type of right-hand side dense vector
789 inline decltype(auto)
790  operator+( const SVecDVecSubExpr<VT1,VT2,TF>& lhs, const DenseVector<VT3,TF>& rhs )
791 {
793 
794  return ( (~rhs) - lhs.rightOperand() ) + lhs.leftOperand();
795 }
797 //*************************************************************************************************
798 
799 
800 //*************************************************************************************************
813 template< typename VT1 // Type of the sparse vector of the left-hand side expression
814  , typename VT2 // Type of the dense vector of the left-hand side expression
815  , bool TF // Transpose flag of the left-hand side expression
816  , typename VT3 > // Type of right-hand side dense vector
817 inline decltype(auto)
818  operator-( const SVecDVecSubExpr<VT1,VT2,TF>& lhs, const DenseVector<VT3,TF>& rhs )
819 {
821 
822  return lhs.leftOperand() - ( lhs.rightOperand() + (~rhs) );
823 }
825 //*************************************************************************************************
826 
827 } // namespace blaze
828 
829 #endif
const ResultType CompositeType
Data type for composite expression templates.
Definition: SVecDVecSubExpr.h:142
#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
Header file for auxiliary alias declarations.
LeftOperand lhs_
Left-hand side sparse vector of the subtraction expression.
Definition: SVecDVecSubExpr.h:257
Expression object for sparse vector-dense vector subtractions.The SVecDVecSubExpr class represents th...
Definition: Forward.h:143
typename SubTrait< T1, T2 >::Type SubTrait_t
Auxiliary alias declaration for the SubTrait class template.The SubTrait_t alias declaration provides...
Definition: SubTrait.h:238
Header file for the UNUSED_PARAMETER function template.
Header file for the subtraction trait.
Header file for basic type definitions.
If_t< IsExpression_v< VT1 >, const VT1, const VT1 &> LeftOperand
Composite type of the left-hand side sparse vector expression.
Definition: SVecDVecSubExpr.h:145
typename If< Condition, T1, T2 >::Type If_t
Auxiliary alias declaration for the If class template.The If_t alias declaration provides a convenien...
Definition: If.h:109
typename T::ResultType ResultType_t
Alias declaration for nested ResultType type definitions.The ResultType_t alias declaration provides ...
Definition: Aliases.h:390
Header file for the serial shim.
Efficient implementation of a compressed matrix.The CompressedMatrix class template is the represent...
Definition: CompressedMatrix.h:224
Header file for the IsSame and IsStrictlySame type traits.
ReturnType_t< VT1 > RN1
Return type of the left-hand side sparse vector expression.
Definition: SVecDVecSubExpr.h:97
static constexpr bool smpAssignable
Compilation flag for SMP assignments.
Definition: CompressedMatrix.h:3113
Header file for the DenseVector base class.
CompositeType_t< VT1 > CT1
Composite type of the left-hand side sparse vector expression.
Definition: SVecDVecSubExpr.h:99
CompositeType_t< VT2 > CT2
Composite type of the right-hand side dense vector expression.
Definition: SVecDVecSubExpr.h:100
Header file for the Computation base class.
constexpr void UNUSED_PARAMETER(const Args &...)
Suppression of unused parameter warnings.
Definition: Unused.h:81
typename T::ReturnType ReturnType_t
Alias declaration for nested ReturnType type definitions.The ReturnType_t alias declaration provides ...
Definition: Aliases.h:410
typename T::ElementType ElementType_t
Alias declaration for nested ElementType type definitions.The ElementType_t alias declaration provide...
Definition: Aliases.h:170
auto smpDivAssign(Vector< VT1, TF1 > &lhs, const Vector< VT2, TF2 > &rhs) -> EnableIf_t< IsDenseVector_v< VT1 > >
Default implementation of the SMP division assignment of a vector to a dense vector.
Definition: DenseVector.h:220
bool canAlias(const T *alias) const noexcept
Returns whether the expression can alias with the given address alias.
Definition: SVecDVecSubExpr.h:237
RightOperand rightOperand() const noexcept
Returns the right-hand side dense vector operand.
Definition: SVecDVecSubExpr.h:225
RightOperand rhs_
Right-hand side dense vector of the subtraction expression.
Definition: SVecDVecSubExpr.h:258
Header file for the DisableIf class template.
Header file for the IsTemporary type trait class.
Namespace of the Blaze C++ math library.
Definition: Blaze.h:58
Header file for the If class template.
#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
const If_t< returnExpr, ExprReturnType, ElementType > ReturnType
Return type for expression template evaluations.
Definition: SVecDVecSubExpr.h:139
LeftOperand leftOperand() const noexcept
Returns the left-hand side sparse vector operand.
Definition: SVecDVecSubExpr.h:215
size_t size() const noexcept
Returns the current size/dimension of the vector.
Definition: SVecDVecSubExpr.h:205
Base class for N-dimensional dense vectors.The DenseVector class is a base class for all arbitrarily ...
Definition: DenseVector.h:76
static constexpr bool returnExpr
Compilation switch for the selection of the subscript operator return type.
Definition: SVecDVecSubExpr.h:112
#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
Constraint on the data type.
SVecDVecSubExpr(const VT1 &lhs, const VT2 &rhs) noexcept
Constructor for the SVecDVecSubExpr class.
Definition: SVecDVecSubExpr.h:165
Constraint on the data type.
Header file for the exception macros of the math module.
Header file for the VecVecSubExpr base class.
Constraint on the data type.
Header file for all forward declarations for expression class templates.
Constraint on the data type.
Header file for the EnableIf class template.
ResultType_t< VT2 > RT2
Result type of the right-hand side dense vector expression.
Definition: SVecDVecSubExpr.h:96
static constexpr bool smpAssignable
Compilation switch for the expression template assignment strategy.
Definition: SVecDVecSubExpr.h:156
typename T::TransposeType TransposeType_t
Alias declaration for nested TransposeType type definitions.The TransposeType_t alias declaration pro...
Definition: Aliases.h:470
Header file for run time assertion macros.
typename T::CompositeType CompositeType_t
Alias declaration for nested CompositeType type definitions.The CompositeType_t alias declaration pro...
Definition: Aliases.h:90
TransposeType_t< ResultType > TransposeType
Transpose type for expression template evaluations.
Definition: SVecDVecSubExpr.h:135
auto smpAddAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs) -> EnableIf_t< IsDenseMatrix_v< MT1 > >
Default implementation of the SMP addition assignment of a matrix to a dense matrix.
Definition: DenseMatrix.h:131
ReturnType operator[](size_t index) const
Subscript operator for the direct access to the vector elements.
Definition: SVecDVecSubExpr.h:179
ReturnType at(size_t index) const
Checked access to the vector elements.
Definition: SVecDVecSubExpr.h:192
decltype(std::declval< RN1 >() - std::declval< RN2 >()) ExprReturnType
Expression return type for the subscript operator.
Definition: SVecDVecSubExpr.h:115
Header file for the IsZero type trait.
#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
constexpr size_t size(const Matrix< MT, SO > &matrix) noexcept
Returns the total number of elements of the matrix.
Definition: Matrix.h:530
If_t< IsExpression_v< VT2 >, const VT2, const VT2 &> RightOperand
Composite type of the right-hand side dense vector expression.
Definition: SVecDVecSubExpr.h:148
auto smpAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs) -> EnableIf_t< IsDenseMatrix_v< MT1 > >
Default implementation of the SMP assignment of a matrix to a dense matrix.
Definition: DenseMatrix.h:100
decltype(auto) serial(const DenseMatrix< MT, SO > &dm)
Forces the serial evaluation of the given dense matrix expression dm.
Definition: DMatSerialExpr.h:808
#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
static constexpr bool simdEnabled
Compilation switch for the expression template evaluation strategy.
Definition: SVecDVecSubExpr.h:153
Constraint on the data type.
#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
ResultType_t< VT1 > RT1
Result type of the left-hand side sparse vector expression.
Definition: SVecDVecSubExpr.h:95
TransposeType_t< VT1 > TT1
Transpose type of the left-hand side sparse vector expression.
Definition: SVecDVecSubExpr.h:101
#define BLAZE_CONSTRAINT_MUST_FORM_VALID_VECVECSUBEXPR(T1, T2)
Constraint on the data type.In case the given data types T1 and T2 do not form a valid vector/vector ...
Definition: VecVecSubExpr.h:104
Header file for the IsComputation type trait class.
auto smpSubAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs) -> EnableIf_t< IsDenseMatrix_v< MT1 > >
Default implementation of the SMP subtraction assignment of a matrix to dense matrix.
Definition: DenseMatrix.h:162
Base class for sparse vectors.The SparseVector class is a base class for all arbitrarily sized (N-dim...
Definition: Forward.h:138
bool isAliased(const T *alias) const noexcept
Returns whether the expression is aliased with the given address alias.
Definition: SVecDVecSubExpr.h:250
SubTrait_t< RT1, RT2 > ResultType
Result type for expression template evaluations.
Definition: SVecDVecSubExpr.h:134
#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
ElementType_t< ResultType > ElementType
Resulting element type.
Definition: SVecDVecSubExpr.h:136
auto smpMultAssign(Vector< VT1, TF1 > &lhs, const Vector< VT2, TF2 > &rhs) -> EnableIf_t< IsDenseVector_v< VT1 > >
Default implementation of the SMP multiplication assignment of a vector to a dense vector...
Definition: DenseVector.h:191
ReturnType_t< VT2 > RN2
Return type of the right-hand side dense vector expression.
Definition: SVecDVecSubExpr.h:98
Header file for the IsExpression type trait class.
TransposeType_t< VT2 > TT2
Transpose type of the right-hand side dense vector expression.
Definition: SVecDVecSubExpr.h:102
Header file for the function trace functionality.