35 #ifndef _BLAZE_MATH_EXPRESSIONS_SMATTDMATSUBEXPR_H_ 36 #define _BLAZE_MATH_EXPRESSIONS_SMATTDMATSUBEXPR_H_ 88 template<
typename MT1
90 class SMatTDMatSubExpr
91 :
public MatMatSubExpr< DenseMatrix< SMatTDMatSubExpr<MT1,MT2>, true > >
109 static constexpr
bool returnExpr = !IsTemporary_v<RN1> && !IsTemporary_v<RN2>;
122 template<
typename MT >
123 static constexpr
bool UseSMPAssign_v = ( !MT1::smpAssignable || !MT2::smpAssignable );
195 if( i >=
lhs_.rows() ) {
198 if( j >=
lhs_.columns() ) {
210 inline size_t rows() const noexcept {
221 return lhs_.columns();
251 template<
typename T >
252 inline bool canAlias(
const T* alias )
const noexcept {
253 return (
lhs_.canAlias( alias ) ) ||
254 ( IsExpression_v<MT2> &&
rhs_.canAlias( alias ) );
264 template<
typename T >
265 inline bool isAliased(
const T* alias )
const noexcept {
266 return lhs_.isAliased( alias ) &&
rhs_.isAliased( alias );
288 template<
typename MT
297 assign ( ~lhs, -rhs.rhs_ );
298 addAssign( ~lhs, rhs.lhs_ );
315 template<
typename MT
333 const TmpType tmp(
serial( rhs ) );
352 template<
typename MT
354 friend inline void addAssign( DenseMatrix<MT,SO2>& lhs,
const SMatTDMatSubExpr& rhs )
361 subAssign( ~lhs, rhs.rhs_ );
362 addAssign( ~lhs, rhs.lhs_ );
384 template<
typename MT
386 friend inline void subAssign( DenseMatrix<MT,SO2>& lhs,
const SMatTDMatSubExpr& rhs )
393 addAssign( ~lhs, rhs.rhs_ );
394 subAssign( ~lhs, rhs.lhs_ );
416 template<
typename MT
418 friend inline void schurAssign( DenseMatrix<MT,SO2>& lhs,
const SMatTDMatSubExpr& rhs )
430 schurAssign( ~lhs, tmp );
461 template<
typename MT
464 -> EnableIf_t< UseSMPAssign_v<MT> >
491 template<
typename MT
494 -> EnableIf_t< UseSMPAssign_v<MT> >
498 using TmpType = If_t< SO2, ResultType, OppositeType >;
510 const TmpType tmp( rhs );
531 template<
typename MT
534 -> EnableIf_t< UseSMPAssign_v<MT> >
566 template<
typename MT
569 -> EnableIf_t< UseSMPAssign_v<MT> >
601 template<
typename MT
604 -> EnableIf_t< UseSMPAssign_v<MT> >
667 template<
typename MT1
669 , DisableIf_t< IsZero_v<MT1> &&
670 IsSame_v< ElementType_t<MT1>, ElementType_t<MT2> > >* =
nullptr >
671 inline const SMatTDMatSubExpr<MT1,MT2>
672 smattdmatsub(
const SparseMatrix<MT1,false>& lhs,
const DenseMatrix<MT2,true>& rhs )
679 return SMatTDMatSubExpr<MT1,MT2>( ~lhs, ~rhs );
699 template<
typename MT1
701 , EnableIf_t< IsZero_v<MT1> &&
702 IsSame_v< ElementType_t<MT1>, ElementType_t<MT2> > >* =
nullptr >
703 inline decltype(
auto)
704 smattdmatsub( const SparseMatrix<MT1,false>& lhs, const DenseMatrix<MT2,true>& rhs )
750 template<
typename MT1
752 inline decltype(
auto)
761 return smattdmatsub( ~lhs, ~rhs );
787 template<
typename MT1
791 inline decltype(
auto)
792 operator+( const SMatTDMatSubExpr<MT1,MT2>& lhs, const DenseMatrix<MT3,SO>& rhs )
796 return ( (~rhs) - lhs.rightOperand() ) + lhs.leftOperand();
815 template<
typename MT1
819 inline decltype(
auto)
820 operator-( const SMatTDMatSubExpr<MT1,MT2>& lhs, const DenseMatrix<MT3,SO>& rhs )
824 return lhs.leftOperand() - ( lhs.rightOperand() + (~rhs) );
const If_t< returnExpr, ExprReturnType, ElementType > ReturnType
Return type for expression template evaluations.
Definition: SMatTDMatSubExpr.h:137
Constraint on the data type.
#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.
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 subtraction trait.
ReturnType at(size_t i, size_t j) const
Checked access to the matrix elements.
Definition: SMatTDMatSubExpr.h:194
Header file for basic type definitions.
typename If< Condition, T1, T2 >::Type If_t
Auxiliary alias template for the If class template.The If_t alias template provides a convenient shor...
Definition: If.h:109
LeftOperand leftOperand() const noexcept
Returns the left-hand side sparse matrix operand.
Definition: SMatTDMatSubExpr.h:230
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.
#define BLAZE_CONSTRAINT_MUST_BE_DENSE_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a dense, N-dimensional matrix type,...
Definition: DenseMatrix.h:61
Header file for the IsSame and IsStrictlySame type traits.
ReturnType operator()(size_t i, size_t j) const
2D-access to the matrix elements.
Definition: SMatTDMatSubExpr.h:179
Header file for the MAYBE_UNUSED function template.
const ResultType CompositeType
Data type for composite expression templates.
Definition: SMatTDMatSubExpr.h:140
Header file for the Computation base class.
ElementType_t< ResultType > ElementType
Resulting element type.
Definition: SMatTDMatSubExpr.h:134
Constraints on the storage order of matrix types.
typename T::ReturnType ReturnType_t
Alias declaration for nested ReturnType type definitions.The ReturnType_t alias declaration provides ...
Definition: Aliases.h:410
ResultType_t< MT1 > RT1
Result type of the left-hand side sparse matrix expression.
Definition: SMatTDMatSubExpr.h:96
constexpr size_t columns(const Matrix< MT, SO > &matrix) noexcept
Returns the current number of columns of the matrix.
Definition: Matrix.h:514
Base class for dense matrices.The DenseMatrix class is a base class for all dense matrix classes....
Definition: DenseMatrix.h:81
Base class for sparse matrices.The SparseMatrix class is a base class for all sparse matrix classes....
Definition: Forward.h:145
typename T::ElementType ElementType_t
Alias declaration for nested ElementType type definitions.The ElementType_t alias declaration provide...
Definition: Aliases.h:170
ResultType_t< MT2 > RT2
Result type of the right-hand side dense matrix expression.
Definition: SMatTDMatSubExpr.h:97
LeftOperand lhs_
Left-hand side sparse matrix of the subtraction expression.
Definition: SMatTDMatSubExpr.h:272
Constraint on the data type.
Constraint on the data type.
TransposeType_t< ResultType > TransposeType
Transpose type for expression template evaluations.
Definition: SMatTDMatSubExpr.h:133
If_t< IsExpression_v< MT2 >, const MT2, const MT2 & > RightOperand
Composite type of the right-hand side sparse matrix expression.
Definition: SMatTDMatSubExpr.h:146
Header file for the DisableIf class template.
Header file for the IsTemporary type trait class.
Expression object for sparse matrix-transpose dense matrix subtractions.The SMatTDMatSubExpr class re...
Definition: Forward.h:137
Namespace of the Blaze C++ math library.
Definition: Blaze.h:58
Header file for the If class template.
ReturnType_t< MT1 > RN1
Return type of the left-hand side sparse matrix expression.
Definition: SMatTDMatSubExpr.h:98
#define BLAZE_CONSTRAINT_MUST_BE_COLUMN_MAJOR_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a column-major dense or sparse matri...
Definition: ColumnMajorMatrix.h:61
#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
SMatTDMatSubExpr(const MT1 &lhs, const MT2 &rhs) noexcept
Constructor for the SMatTDMatSubExpr class.
Definition: SMatTDMatSubExpr.h:163
Header file for the DenseMatrix base class.
size_t rows() const noexcept
Returns the current number of rows of the matrix.
Definition: SMatTDMatSubExpr.h:210
Header file for the MatMatSubExpr base class.
constexpr void MAYBE_UNUSED(const Args &...)
Suppression of unused parameter warnings.
Definition: MaybeUnused.h:81
static constexpr bool simdEnabled
Compilation switch for the expression template evaluation strategy.
Definition: SMatTDMatSubExpr.h:151
Constraints on the storage order of matrix types.
Header file for the exception macros of the math module.
Constraint on the data type.
Header file for the EnableIf class template.
bool canAlias(const T *alias) const noexcept
Returns whether the expression can alias with the given address alias.
Definition: SMatTDMatSubExpr.h:252
typename T::OppositeType OppositeType_t
Alias declaration for nested OppositeType type definitions.The OppositeType_t alias declaration provi...
Definition: Aliases.h:270
RightOperand rhs_
Right-hand side dense matrix of the subtraction expression.
Definition: SMatTDMatSubExpr.h:273
#define BLAZE_CONSTRAINT_MUST_BE_ROW_MAJOR_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a row-major dense or sparse matrix t...
Definition: RowMajorMatrix.h:61
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.
static constexpr bool smpAssignable
Compilation switch for the expression template assignment strategy.
Definition: SMatTDMatSubExpr.h:154
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
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
Header file for all forward declarations for expression class templates.
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
Constraints on the storage order of matrix types.
RightOperand rightOperand() const noexcept
Returns the right-hand side transpose dense matrix operand.
Definition: SMatTDMatSubExpr.h:240
decltype(auto) serial(const DenseMatrix< MT, SO > &dm)
Forces the serial evaluation of the given dense matrix expression dm.
Definition: DMatSerialExpr.h:808
SubTrait_t< RT1, RT2 > ResultType
Result type for expression template evaluations.
Definition: SMatTDMatSubExpr.h:131
If_t< IsExpression_v< MT1 >, const MT1, const MT1 & > LeftOperand
Composite type of the left-hand side dense matrix expression.
Definition: SMatTDMatSubExpr.h:143
#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
ReturnType_t< MT2 > RN2
Return type of the right-hand side dense matrix expression.
Definition: SMatTDMatSubExpr.h:99
auto smpSchurAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs) -> EnableIf_t< IsDenseMatrix_v< MT1 > >
Default implementation of the SMP Schur product assignment of a matrix to dense matrix.
Definition: DenseMatrix.h:194
constexpr size_t rows(const Matrix< MT, SO > &matrix) noexcept
Returns the current number of rows of the matrix.
Definition: Matrix.h:498
bool isAliased(const T *alias) const noexcept
Returns whether the expression is aliased with the given address alias.
Definition: SMatTDMatSubExpr.h:265
#define BLAZE_CONSTRAINT_MATRICES_MUST_HAVE_SAME_STORAGE_ORDER(T1, T2)
Constraint on the data type.In case either of the two given data types T1 or T2 is not a matrix type ...
Definition: StorageOrder.h:84
decltype(std::declval< RN1 >() - std::declval< RN2 >()) ExprReturnType
Expression return type for the subscript operator.
Definition: SMatTDMatSubExpr.h:112
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
size_t columns() const noexcept
Returns the current number of columns of the matrix.
Definition: SMatTDMatSubExpr.h:220
OppositeType_t< ResultType > OppositeType
Result type with opposite storage order for expression template evaluations.
Definition: SMatTDMatSubExpr.h:132
Header file for the IntegralConstant class template.
#define BLAZE_CONSTRAINT_MUST_FORM_VALID_MATMATSUBEXPR(T1, T2)
Constraint on the data type.In case the given data types T1 and T2 do not form a valid matrix/matrix ...
Definition: MatMatSubExpr.h:103
static constexpr bool returnExpr
Compilation switch for the selection of the subscript operator return type.
Definition: SMatTDMatSubExpr.h:109
#define BLAZE_INTERNAL_ASSERT(expr, msg)
Run time assertion macro for internal checks.In case of an invalid run time expression,...
Definition: Assert.h:101
#define BLAZE_CONSTRAINT_MUST_BE_SPARSE_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a sparse, N-dimensional matrix type,...
Definition: SparseMatrix.h:61
Header file for the IsExpression type trait class.
Header file for the function trace functionality.