35 #ifndef _BLAZE_MATH_EXPRESSIONS_SVECDVECSUBEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_SVECDVECSUBEXPR_H_
85 template<
typename VT1
88 class SVecDVecSubExpr :
public DenseVector< SVecDVecSubExpr<VT1,VT2,TF>, TF >
89 ,
private VecVecSubExpr
124 template<
typename VT >
125 struct UseSMPAssign {
126 enum { value = ( !VT1::smpAssignable || !VT2::smpAssignable ) };
153 enum { vectorizable = 0 };
156 enum { smpAssignable = 0 };
221 template<
typename T >
223 return (
lhs_.canAlias( alias ) ) ||
234 template<
typename T >
236 return (
lhs_.isAliased( alias ) ||
rhs_.isAliased( alias ) );
258 template<
typename VT >
265 assign ( ~lhs, -rhs.rhs_ );
283 template<
typename VT >
312 template<
typename VT >
341 template<
typename VT >
370 template<
typename VT >
405 template<
typename VT >
406 friend inline typename EnableIf< UseSMPAssign<VT> >::Type
433 template<
typename VT >
434 friend inline typename EnableIf< UseSMPAssign<VT> >::Type
465 template<
typename VT >
466 friend inline typename EnableIf< UseSMPAssign<VT> >::Type
497 template<
typename VT >
498 friend inline typename EnableIf< UseSMPAssign<VT> >::Type
530 template<
typename VT >
531 friend inline typename EnableIf< UseSMPAssign<VT> >::Type
598 template<
typename T1
601 inline const SVecDVecSubExpr<T1,T2,TF>
606 if( (~lhs).
size() != (~rhs).
size() )
607 throw std::invalid_argument(
"Vector sizes do not match" );
635 template<
typename T1
639 inline const typename AddExprTrait< SVecDVecSubExpr<T1,T2,TF>, T3 >::Type
640 operator+(
const SVecDVecSubExpr<T1,T2,TF>& lhs,
const DenseVector<T3,TF>& rhs )
644 return ( (~rhs) - lhs.rightOperand() ) + lhs.leftOperand();
663 template<
typename T1
667 inline const typename SubExprTrait< SVecDVecSubExpr<T1,T2,TF>, T3 >::Type
668 operator-(
const SVecDVecSubExpr<T1,T2,TF>& lhs,
const DenseVector<T3,TF>& rhs )
672 return lhs.leftOperand() - ( lhs.rightOperand() + (~rhs) );
688 template<
typename VT1,
typename VT2,
typename VT3 >
694 typedef typename SelectType< IsSparseVector<VT1>::value && IsColumnVector<VT1>::value &&
695 IsDenseVector<VT2>::value && IsColumnVector<VT2>::value &&
696 IsDenseVector<VT3>::value && IsColumnVector<VT3>::value
697 ,
typename DVecSVecAddExprTrait< typename DVecDVecSubExprTrait<VT3,VT2>::Type, VT1 >::Type
698 , INVALID_TYPE >::Type Type;
708 template<
typename VT1,
typename VT2,
typename VT3 >
714 typedef typename SelectType< IsSparseVector<VT1>::value && IsRowVector<VT1>::value &&
715 IsDenseVector<VT2>::value && IsRowVector<VT2>::value &&
716 IsDenseVector<VT3>::value && IsRowVector<VT3>::value
717 ,
typename TDVecTSVecAddExprTrait< typename TDVecTDVecSubExprTrait<VT3,VT2>::Type, VT1 >::Type
718 , INVALID_TYPE >::Type Type;
728 template<
typename VT1,
typename VT2,
typename VT3 >
734 typedef typename SelectType< IsSparseVector<VT1>::value && IsColumnVector<VT1>::value &&
735 IsDenseVector<VT2>::value && IsColumnVector<VT2>::value &&
736 IsDenseVector<VT3>::value && IsColumnVector<VT3>::value
737 ,
typename SVecDVecSubExprTrait< VT1, typename DVecDVecAddExprTrait<VT2,VT3>::Type >::Type
738 , INVALID_TYPE >::Type Type;
748 template<
typename VT1,
typename VT2,
typename VT3 >
754 typedef typename SelectType< IsSparseVector<VT1>::value && IsRowVector<VT1>::value &&
755 IsDenseVector<VT2>::value && IsRowVector<VT2>::value &&
756 IsDenseVector<VT3>::value && IsRowVector<VT3>::value
757 ,
typename TSVecTDVecSubExprTrait< VT1, typename TDVecTDVecAddExprTrait<VT2,VT3>::Type >::Type
758 , INVALID_TYPE >::Type Type;
768 template<
typename VT1,
typename VT2,
bool TF,
bool AF >
773 typedef typename SubExprTrait< typename SubvectorExprTrait<const VT1,AF>::Type
774 ,
typename SubvectorExprTrait<const VT2,AF>::Type >::Type Type;
SVecDVecSubExpr(const VT1 &lhs, const VT2 &rhs)
Constructor for the SVecDVecSubExpr class.
Definition: SVecDVecSubExpr.h:165
Expression object for sparse vector-dense vector subtractions.The SVecDVecSubExpr class represents th...
Definition: Forward.h:112
Compile time check whether the given type is a temporary vector or matrix type.This type trait class ...
Definition: IsTemporary.h:87
Header file for the subtraction trait.
bool isAliased(const T *alias) const
Returns whether the expression is aliased with the given address alias.
Definition: SVecDVecSubExpr.h:235
void smpSubAssign(DenseMatrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the SMP subtraction assignment of a matrix to dense matrix.
Definition: DenseMatrix.h:152
const ResultType CompositeType
Data type for composite expression templates.
Definition: SVecDVecSubExpr.h:142
Efficient implementation of a compressed matrix.The CompressedMatrix class template is the represent...
Definition: CompressedMatrix.h:199
void smpMultAssign(DenseVector< 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:179
VT2::ResultType RT2
Result type of the right-hand side dense vector expression.
Definition: SVecDVecSubExpr.h:95
SubExprTrait< RN1, RN2 >::Type ExprReturnType
Expression return type for the subscript operator.
Definition: SVecDVecSubExpr.h:114
const This & CompositeType
Data type for composite expression templates.
Definition: CompressedMatrix.h:2408
Header file for the IsRowVector type trait.
Type ElementType
Type of the sparse matrix elements.
Definition: CompressedMatrix.h:251
Header file for the DenseVector base class.
Header file for the AddExprTrait class template.
const DMatSerialExpr< MT, SO > serial(const DenseMatrix< MT, SO > &dm)
Forces the serial evaluation of the given dense matrix expression dm.
Definition: DMatSerialExpr.h:690
Header file for the Computation base class.
SelectType< IsExpression< VT1 >::value, const VT1, const VT1 & >::Type LeftOperand
Composite type of the left-hand side sparse vector expression.
Definition: SVecDVecSubExpr.h:145
ResultType::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: SVecDVecSubExpr.h:135
Constraint on the data type.
VT1::ResultType RT1
Result type of the left-hand side sparse vector expression.
Definition: SVecDVecSubExpr.h:94
void smpAddAssign(DenseMatrix< 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:122
const This & CompositeType
Data type for composite expression templates.
Definition: CompressedMatrix.h:253
Compile time type selection.The SelectType class template selects one of the two given types T1 and T...
Definition: SelectType.h:59
Header file for the IsTemporary type trait class.
void assign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the assignment of a matrix to a matrix.
Definition: Matrix.h:271
SubTrait< RT1, RT2 >::Type ResultType
Result type for expression template evaluations.
Definition: SVecDVecSubExpr.h:134
const DenseIterator< Type > operator+(const DenseIterator< Type > &it, ptrdiff_t inc)
Addition between a DenseIterator and an integral value.
Definition: DenseIterator.h:556
Base class for N-dimensional dense vectors.The DenseVector class is a base class for all arbitrarily ...
Definition: DenseVector.h:70
size_t size() const
Returns the current size/dimension of the vector.
Definition: SVecDVecSubExpr.h:190
RightOperand rightOperand() const
Returns the right-hand side dense vector operand.
Definition: SVecDVecSubExpr.h:210
LeftOperand leftOperand() const
Returns the left-hand side sparse vector operand.
Definition: SVecDVecSubExpr.h:200
const SelectType< returnExpr, ExprReturnType, ElementType >::Type ReturnType
Return type for expression template evaluations.
Definition: SVecDVecSubExpr.h:139
#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:79
Constraint on the data type.
VT2::CompositeType CT2
Composite type of the right-hand side dense vector expression.
Definition: SVecDVecSubExpr.h:99
#define BLAZE_CONSTRAINT_MUST_BE_REFERENCE_TYPE(T)
Constraint on the data type.In case the given data type T is not a reference type, a compilation error is created.
Definition: Reference.h:78
CompressedMatrix< Type, false > TransposeType
Transpose type for expression template evaluations.
Definition: CompressedMatrix.h:2405
Constraint on the data type.
Evaluation of the return type of a subtraction expression.Via this type trait it is possible to evalu...
Definition: SubExprTrait.h:103
VT1::CompositeType CT1
Composite type of the left-hand side sparse vector expression.
Definition: SVecDVecSubExpr.h:98
void multAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the multiplication assignment of a matrix to a matrix.
Definition: Matrix.h:361
Header file for the VecVecSubExpr base class.
Header file for the SelectType class template.
Header file for all forward declarations for expression class templates.
Constraint on the data type.
LeftOperand lhs_
Left-hand side sparse vector of the subtraction expression.
Definition: SVecDVecSubExpr.h:242
ReturnType operator[](size_t index) const
Subscript operator for the direct access to the vector elements.
Definition: SVecDVecSubExpr.h:179
VT1::ReturnType RN1
Return type of the left-hand side sparse vector expression.
Definition: SVecDVecSubExpr.h:96
Header file for the serial shim.
VT2::ReturnType RN2
Return type of the right-hand side dense vector expression.
Definition: SVecDVecSubExpr.h:97
void smpAssign(DenseMatrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the SMP assignment of a matrix to a dense matrix.
Definition: DenseMatrix.h:92
Header file for the IsSparseVector type trait.
const Type & ReturnType
Return type for expression template evaluations.
Definition: CompressedMatrix.h:2407
Header file for run time assertion macros.
bool canAlias(const T *alias) const
Returns whether the expression can alias with the given address alias.
Definition: SVecDVecSubExpr.h:222
void addAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the addition assignment of a matrix to a matrix.
Definition: Matrix.h:301
const DenseIterator< Type > operator-(const DenseIterator< Type > &it, ptrdiff_t inc)
Subtraction between a DenseIterator and an integral value.
Definition: DenseIterator.h:585
SVecDVecSubExpr< VT1, VT2, TF > This
Type of this SVecDVecSubExpr instance.
Definition: SVecDVecSubExpr.h:133
void subAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the subtraction assignment of a matrix to matrix.
Definition: Matrix.h:331
ResultType::ElementType ElementType
Resulting element type.
Definition: SVecDVecSubExpr.h:136
VT1::TransposeType TT1
Transpose type of the left-hand side sparse vector expression.
Definition: SVecDVecSubExpr.h:100
Header file for the IsDenseVector type trait.
VT2::TransposeType TT2
Transpose type of the right-hand side dense vector expression.
Definition: SVecDVecSubExpr.h:101
#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:79
Header file for the IsComputation type trait class.
Base class for sparse vectors.The SparseVector class is a base class for all arbitrarily sized (N-dim...
Definition: Forward.h:108
#define BLAZE_FUNCTION_TRACE
Function trace macro.This macro can be used to reliably trace function calls. In case function tracin...
Definition: FunctionTrace.h:157
SelectType< IsExpression< VT2 >::value, const VT2, const VT2 & >::Type RightOperand
Composite type of the right-hand side dense vector expression.
Definition: SVecDVecSubExpr.h:148
This ResultType
Result type for expression template evaluations.
Definition: CompressedMatrix.h:2403
RightOperand rhs_
Right-hand side dense vector of the subtraction expression.
Definition: SVecDVecSubExpr.h:243
Header file for basic type definitions.
Header file for the SubvectorExprTrait class template.
Base template for the SubTrait class.
Definition: SubTrait.h:141
Header file for the IsColumnVector type trait.
Header file for the SubExprTrait class template.
#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:238
#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
Compile time check whether the given type is an expression template.This type trait class tests wheth...
Definition: IsExpression.h:87
Header file for the IsExpression type trait class.
Header file for the FunctionTrace class.