| 1 | // This file is part of Eigen, a lightweight C++ template library | 
| 2 | // for linear algebra. | 
| 3 | // | 
| 4 | // Copyright (C) 2008-2014 Gael Guennebaud <gael.guennebaud@inria.fr> | 
| 5 | // Copyright (C) 2006-2008 Benoit Jacob <jacob.benoit.1@gmail.com> | 
| 6 | // | 
| 7 | // This Source Code Form is subject to the terms of the Mozilla | 
| 8 | // Public License v. 2.0. If a copy of the MPL was not distributed | 
| 9 | // with this file, You can obtain one at http://mozilla.org/MPL/2.0/. | 
| 10 |  | 
| 11 | #ifndef EIGEN_CWISE_BINARY_OP_H | 
| 12 | #define EIGEN_CWISE_BINARY_OP_H | 
| 13 |  | 
| 14 | namespace Eigen { | 
| 15 |  | 
| 16 | namespace internal { | 
| 17 | template<typename BinaryOp, typename Lhs, typename Rhs> | 
| 18 | struct traits<CwiseBinaryOp<BinaryOp, Lhs, Rhs> > | 
| 19 | { | 
| 20 |   // we must not inherit from traits<Lhs> since it has | 
| 21 |   // the potential to cause problems with MSVC | 
| 22 |   typedef typename remove_all<Lhs>::type Ancestor; | 
| 23 |   typedef typename traits<Ancestor>::XprKind XprKind; | 
| 24 |   enum { | 
| 25 |     RowsAtCompileTime = traits<Ancestor>::RowsAtCompileTime, | 
| 26 |     ColsAtCompileTime = traits<Ancestor>::ColsAtCompileTime, | 
| 27 |     MaxRowsAtCompileTime = traits<Ancestor>::MaxRowsAtCompileTime, | 
| 28 |     MaxColsAtCompileTime = traits<Ancestor>::MaxColsAtCompileTime | 
| 29 |   }; | 
| 30 |  | 
| 31 |   // even though we require Lhs and Rhs to have the same scalar type (see CwiseBinaryOp constructor), | 
| 32 |   // we still want to handle the case when the result type is different. | 
| 33 |   typedef typename result_of< | 
| 34 |                      BinaryOp( | 
| 35 |                        const typename Lhs::Scalar&, | 
| 36 |                        const typename Rhs::Scalar& | 
| 37 |                      ) | 
| 38 |                    >::type Scalar; | 
| 39 |   typedef typename cwise_promote_storage_type<typename traits<Lhs>::StorageKind, | 
| 40 |                                               typename traits<Rhs>::StorageKind, | 
| 41 |                                               BinaryOp>::ret StorageKind; | 
| 42 |   typedef typename promote_index_type<typename traits<Lhs>::StorageIndex, | 
| 43 |                                       typename traits<Rhs>::StorageIndex>::type StorageIndex; | 
| 44 |   typedef typename Lhs::Nested LhsNested; | 
| 45 |   typedef typename Rhs::Nested RhsNested; | 
| 46 |   typedef typename remove_reference<LhsNested>::type _LhsNested; | 
| 47 |   typedef typename remove_reference<RhsNested>::type _RhsNested; | 
| 48 |   enum { | 
| 49 |     Flags = cwise_promote_storage_order<typename traits<Lhs>::StorageKind,typename traits<Rhs>::StorageKind,_LhsNested::Flags & RowMajorBit,_RhsNested::Flags & RowMajorBit>::value | 
| 50 |   }; | 
| 51 | }; | 
| 52 | } // end namespace internal | 
| 53 |  | 
| 54 | template<typename BinaryOp, typename Lhs, typename Rhs, typename StorageKind> | 
| 55 | class CwiseBinaryOpImpl; | 
| 56 |  | 
| 57 | /** \class CwiseBinaryOp | 
| 58 |   * \ingroup Core_Module | 
| 59 |   * | 
| 60 |   * \brief Generic expression where a coefficient-wise binary operator is applied to two expressions | 
| 61 |   * | 
| 62 |   * \tparam BinaryOp template functor implementing the operator | 
| 63 |   * \tparam LhsType the type of the left-hand side | 
| 64 |   * \tparam RhsType the type of the right-hand side | 
| 65 |   * | 
| 66 |   * This class represents an expression  where a coefficient-wise binary operator is applied to two expressions. | 
| 67 |   * It is the return type of binary operators, by which we mean only those binary operators where | 
| 68 |   * both the left-hand side and the right-hand side are Eigen expressions. | 
| 69 |   * For example, the return type of matrix1+matrix2 is a CwiseBinaryOp. | 
| 70 |   * | 
| 71 |   * Most of the time, this is the only way that it is used, so you typically don't have to name | 
| 72 |   * CwiseBinaryOp types explicitly. | 
| 73 |   * | 
| 74 |   * \sa MatrixBase::binaryExpr(const MatrixBase<OtherDerived> &,const CustomBinaryOp &) const, class CwiseUnaryOp, class CwiseNullaryOp | 
| 75 |   */ | 
| 76 | template<typename BinaryOp, typename LhsType, typename RhsType> | 
| 77 | class CwiseBinaryOp : | 
| 78 |   public CwiseBinaryOpImpl< | 
| 79 |           BinaryOp, LhsType, RhsType, | 
| 80 |           typename internal::cwise_promote_storage_type<typename internal::traits<LhsType>::StorageKind, | 
| 81 |                                                         typename internal::traits<RhsType>::StorageKind, | 
| 82 |                                                         BinaryOp>::ret>, | 
| 83 |   internal::no_assignment_operator | 
| 84 | { | 
| 85 |   public: | 
| 86 |  | 
| 87 |     typedef typename internal::remove_all<BinaryOp>::type Functor; | 
| 88 |     typedef typename internal::remove_all<LhsType>::type Lhs; | 
| 89 |     typedef typename internal::remove_all<RhsType>::type Rhs; | 
| 90 |  | 
| 91 |     typedef typename CwiseBinaryOpImpl< | 
| 92 |         BinaryOp, LhsType, RhsType, | 
| 93 |         typename internal::cwise_promote_storage_type<typename internal::traits<LhsType>::StorageKind, | 
| 94 |                                                       typename internal::traits<Rhs>::StorageKind, | 
| 95 |                                                       BinaryOp>::ret>::Base Base; | 
| 96 |     EIGEN_GENERIC_PUBLIC_INTERFACE(CwiseBinaryOp) | 
| 97 |  | 
| 98 |     typedef typename internal::ref_selector<LhsType>::type LhsNested; | 
| 99 |     typedef typename internal::ref_selector<RhsType>::type RhsNested; | 
| 100 |     typedef typename internal::remove_reference<LhsNested>::type _LhsNested; | 
| 101 |     typedef typename internal::remove_reference<RhsNested>::type _RhsNested; | 
| 102 |  | 
| 103 | #if EIGEN_COMP_MSVC && EIGEN_HAS_CXX11 | 
| 104 |     //Required for Visual Studio or the Copy constructor will probably not get inlined! | 
| 105 |     EIGEN_STRONG_INLINE | 
| 106 |     CwiseBinaryOp(const CwiseBinaryOp<BinaryOp,LhsType,RhsType>&) = default; | 
| 107 | #endif | 
| 108 |  | 
| 109 |     EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE | 
| 110 |     CwiseBinaryOp(const Lhs& aLhs, const Rhs& aRhs, const BinaryOp& func = BinaryOp()) | 
| 111 |       : m_lhs(aLhs), m_rhs(aRhs), m_functor(func) | 
| 112 |     { | 
| 113 |       EIGEN_CHECK_BINARY_COMPATIBILIY(BinaryOp,typename Lhs::Scalar,typename Rhs::Scalar); | 
| 114 |       // require the sizes to match | 
| 115 |       EIGEN_STATIC_ASSERT_SAME_MATRIX_SIZE(Lhs, Rhs) | 
| 116 |       eigen_assert(aLhs.rows() == aRhs.rows() && aLhs.cols() == aRhs.cols()); | 
| 117 |     } | 
| 118 |  | 
| 119 |     EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE EIGEN_CONSTEXPR | 
| 120 |     Index rows() const EIGEN_NOEXCEPT { | 
| 121 |       // return the fixed size type if available to enable compile time optimizations | 
| 122 |       return internal::traits<typename internal::remove_all<LhsNested>::type>::RowsAtCompileTime==Dynamic ? m_rhs.rows() : m_lhs.rows(); | 
| 123 |     } | 
| 124 |     EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE EIGEN_CONSTEXPR | 
| 125 |     Index cols() const EIGEN_NOEXCEPT { | 
| 126 |       // return the fixed size type if available to enable compile time optimizations | 
| 127 |       return internal::traits<typename internal::remove_all<LhsNested>::type>::ColsAtCompileTime==Dynamic ? m_rhs.cols() : m_lhs.cols(); | 
| 128 |     } | 
| 129 |  | 
| 130 |     /** \returns the left hand side nested expression */ | 
| 131 |     EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE | 
| 132 |     const _LhsNested& lhs() const { return m_lhs; } | 
| 133 |     /** \returns the right hand side nested expression */ | 
| 134 |     EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE | 
| 135 |     const _RhsNested& rhs() const { return m_rhs; } | 
| 136 |     /** \returns the functor representing the binary operation */ | 
| 137 |     EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE | 
| 138 |     const BinaryOp& functor() const { return m_functor; } | 
| 139 |  | 
| 140 |   protected: | 
| 141 |     LhsNested m_lhs; | 
| 142 |     RhsNested m_rhs; | 
| 143 |     const BinaryOp m_functor; | 
| 144 | }; | 
| 145 |  | 
| 146 | // Generic API dispatcher | 
| 147 | template<typename BinaryOp, typename Lhs, typename Rhs, typename StorageKind> | 
| 148 | class CwiseBinaryOpImpl | 
| 149 |   : public internal::generic_xpr_base<CwiseBinaryOp<BinaryOp, Lhs, Rhs> >::type | 
| 150 | { | 
| 151 | public: | 
| 152 |   typedef typename internal::generic_xpr_base<CwiseBinaryOp<BinaryOp, Lhs, Rhs> >::type Base; | 
| 153 | }; | 
| 154 |  | 
| 155 | /** replaces \c *this by \c *this - \a other. | 
| 156 |   * | 
| 157 |   * \returns a reference to \c *this | 
| 158 |   */ | 
| 159 | template<typename Derived> | 
| 160 | template<typename OtherDerived> | 
| 161 | EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE Derived & | 
| 162 | MatrixBase<Derived>::operator-=(const MatrixBase<OtherDerived> &other) | 
| 163 | { | 
| 164 |   call_assignment(derived(), other.derived(), internal::sub_assign_op<Scalar,typename OtherDerived::Scalar>()); | 
| 165 |   return derived(); | 
| 166 | } | 
| 167 |  | 
| 168 | /** replaces \c *this by \c *this + \a other. | 
| 169 |   * | 
| 170 |   * \returns a reference to \c *this | 
| 171 |   */ | 
| 172 | template<typename Derived> | 
| 173 | template<typename OtherDerived> | 
| 174 | EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE Derived & | 
| 175 | MatrixBase<Derived>::operator+=(const MatrixBase<OtherDerived>& other) | 
| 176 | { | 
| 177 |   call_assignment(derived(), other.derived(), internal::add_assign_op<Scalar,typename OtherDerived::Scalar>()); | 
| 178 |   return derived(); | 
| 179 | } | 
| 180 |  | 
| 181 | } // end namespace Eigen | 
| 182 |  | 
| 183 | #endif // EIGEN_CWISE_BINARY_OP_H | 
| 184 |  |