| 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 | // Copyright (C) 2016 Eugene Brevdo <ebrevdo@gmail.com> | 
| 7 | // | 
| 8 | // This Source Code Form is subject to the terms of the Mozilla | 
| 9 | // Public License v. 2.0. If a copy of the MPL was not distributed | 
| 10 | // with this file, You can obtain one at http://mozilla.org/MPL/2.0/. | 
| 11 |  | 
| 12 | #ifndef EIGEN_CWISE_TERNARY_OP_H | 
| 13 | #define EIGEN_CWISE_TERNARY_OP_H | 
| 14 |  | 
| 15 | namespace Eigen { | 
| 16 |  | 
| 17 | namespace internal { | 
| 18 | template <typename TernaryOp, typename Arg1, typename Arg2, typename Arg3> | 
| 19 | struct traits<CwiseTernaryOp<TernaryOp, Arg1, Arg2, Arg3> > { | 
| 20 |   // we must not inherit from traits<Arg1> since it has | 
| 21 |   // the potential to cause problems with MSVC | 
| 22 |   typedef typename remove_all<Arg1>::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 Arg1, Arg2, and Arg3 to have the same scalar type | 
| 32 |   // (see CwiseTernaryOp constructor), | 
| 33 |   // we still want to handle the case when the result type is different. | 
| 34 |   typedef typename result_of<TernaryOp( | 
| 35 |       const typename Arg1::Scalar&, const typename Arg2::Scalar&, | 
| 36 |       const typename Arg3::Scalar&)>::type Scalar; | 
| 37 |  | 
| 38 |   typedef typename internal::traits<Arg1>::StorageKind StorageKind; | 
| 39 |   typedef typename internal::traits<Arg1>::StorageIndex StorageIndex; | 
| 40 |  | 
| 41 |   typedef typename Arg1::Nested Arg1Nested; | 
| 42 |   typedef typename Arg2::Nested Arg2Nested; | 
| 43 |   typedef typename Arg3::Nested Arg3Nested; | 
| 44 |   typedef typename remove_reference<Arg1Nested>::type _Arg1Nested; | 
| 45 |   typedef typename remove_reference<Arg2Nested>::type _Arg2Nested; | 
| 46 |   typedef typename remove_reference<Arg3Nested>::type _Arg3Nested; | 
| 47 |   enum { Flags = _Arg1Nested::Flags & RowMajorBit }; | 
| 48 | }; | 
| 49 | }  // end namespace internal | 
| 50 |  | 
| 51 | template <typename TernaryOp, typename Arg1, typename Arg2, typename Arg3, | 
| 52 |           typename StorageKind> | 
| 53 | class CwiseTernaryOpImpl; | 
| 54 |  | 
| 55 | /** \class CwiseTernaryOp | 
| 56 |   * \ingroup Core_Module | 
| 57 |   * | 
| 58 |   * \brief Generic expression where a coefficient-wise ternary operator is | 
| 59 |  * applied to two expressions | 
| 60 |   * | 
| 61 |   * \tparam TernaryOp template functor implementing the operator | 
| 62 |   * \tparam Arg1Type the type of the first argument | 
| 63 |   * \tparam Arg2Type the type of the second argument | 
| 64 |   * \tparam Arg3Type the type of the third argument | 
| 65 |   * | 
| 66 |   * This class represents an expression where a coefficient-wise ternary | 
| 67 |  * operator is applied to three expressions. | 
| 68 |   * It is the return type of ternary operators, by which we mean only those | 
| 69 |  * ternary operators where | 
| 70 |   * all three arguments are Eigen expressions. | 
| 71 |   * For example, the return type of betainc(matrix1, matrix2, matrix3) is a | 
| 72 |  * CwiseTernaryOp. | 
| 73 |   * | 
| 74 |   * Most of the time, this is the only way that it is used, so you typically | 
| 75 |  * don't have to name | 
| 76 |   * CwiseTernaryOp types explicitly. | 
| 77 |   * | 
| 78 |   * \sa MatrixBase::ternaryExpr(const MatrixBase<Argument2> &, const | 
| 79 |  * MatrixBase<Argument3> &, const CustomTernaryOp &) const, class CwiseBinaryOp, | 
| 80 |  * class CwiseUnaryOp, class CwiseNullaryOp | 
| 81 |   */ | 
| 82 | template <typename TernaryOp, typename Arg1Type, typename Arg2Type, | 
| 83 |           typename Arg3Type> | 
| 84 | class CwiseTernaryOp : public CwiseTernaryOpImpl< | 
| 85 |                            TernaryOp, Arg1Type, Arg2Type, Arg3Type, | 
| 86 |                            typename internal::traits<Arg1Type>::StorageKind>, | 
| 87 |                        internal::no_assignment_operator | 
| 88 | { | 
| 89 |  public: | 
| 90 |   typedef typename internal::remove_all<Arg1Type>::type Arg1; | 
| 91 |   typedef typename internal::remove_all<Arg2Type>::type Arg2; | 
| 92 |   typedef typename internal::remove_all<Arg3Type>::type Arg3; | 
| 93 |  | 
| 94 |   typedef typename CwiseTernaryOpImpl< | 
| 95 |       TernaryOp, Arg1Type, Arg2Type, Arg3Type, | 
| 96 |       typename internal::traits<Arg1Type>::StorageKind>::Base Base; | 
| 97 |   EIGEN_GENERIC_PUBLIC_INTERFACE(CwiseTernaryOp) | 
| 98 |  | 
| 99 |   typedef typename internal::ref_selector<Arg1Type>::type Arg1Nested; | 
| 100 |   typedef typename internal::ref_selector<Arg2Type>::type Arg2Nested; | 
| 101 |   typedef typename internal::ref_selector<Arg3Type>::type Arg3Nested; | 
| 102 |   typedef typename internal::remove_reference<Arg1Nested>::type _Arg1Nested; | 
| 103 |   typedef typename internal::remove_reference<Arg2Nested>::type _Arg2Nested; | 
| 104 |   typedef typename internal::remove_reference<Arg3Nested>::type _Arg3Nested; | 
| 105 |  | 
| 106 |   EIGEN_DEVICE_FUNC | 
| 107 |   EIGEN_STRONG_INLINE CwiseTernaryOp(const Arg1& a1, const Arg2& a2, | 
| 108 |                                      const Arg3& a3, | 
| 109 |                                      const TernaryOp& func = TernaryOp()) | 
| 110 |       : m_arg1(a1), m_arg2(a2), m_arg3(a3), m_functor(func) { | 
| 111 |     // require the sizes to match | 
| 112 |     EIGEN_STATIC_ASSERT_SAME_MATRIX_SIZE(Arg1, Arg2) | 
| 113 |     EIGEN_STATIC_ASSERT_SAME_MATRIX_SIZE(Arg1, Arg3) | 
| 114 |  | 
| 115 |     // The index types should match | 
| 116 |     EIGEN_STATIC_ASSERT((internal::is_same< | 
| 117 |                          typename internal::traits<Arg1Type>::StorageKind, | 
| 118 |                          typename internal::traits<Arg2Type>::StorageKind>::value), | 
| 119 |                         STORAGE_KIND_MUST_MATCH) | 
| 120 |     EIGEN_STATIC_ASSERT((internal::is_same< | 
| 121 |                          typename internal::traits<Arg1Type>::StorageKind, | 
| 122 |                          typename internal::traits<Arg3Type>::StorageKind>::value), | 
| 123 |                         STORAGE_KIND_MUST_MATCH) | 
| 124 |  | 
| 125 |     eigen_assert(a1.rows() == a2.rows() && a1.cols() == a2.cols() && | 
| 126 |                  a1.rows() == a3.rows() && a1.cols() == a3.cols()); | 
| 127 |   } | 
| 128 |  | 
| 129 |   EIGEN_DEVICE_FUNC | 
| 130 |   EIGEN_STRONG_INLINE Index rows() const { | 
| 131 |     // return the fixed size type if available to enable compile time | 
| 132 |     // optimizations | 
| 133 |     if (internal::traits<typename internal::remove_all<Arg1Nested>::type>:: | 
| 134 |                 RowsAtCompileTime == Dynamic && | 
| 135 |         internal::traits<typename internal::remove_all<Arg2Nested>::type>:: | 
| 136 |                 RowsAtCompileTime == Dynamic) | 
| 137 |       return m_arg3.rows(); | 
| 138 |     else if (internal::traits<typename internal::remove_all<Arg1Nested>::type>:: | 
| 139 |                      RowsAtCompileTime == Dynamic && | 
| 140 |              internal::traits<typename internal::remove_all<Arg3Nested>::type>:: | 
| 141 |                      RowsAtCompileTime == Dynamic) | 
| 142 |       return m_arg2.rows(); | 
| 143 |     else | 
| 144 |       return m_arg1.rows(); | 
| 145 |   } | 
| 146 |   EIGEN_DEVICE_FUNC | 
| 147 |   EIGEN_STRONG_INLINE Index cols() const { | 
| 148 |     // return the fixed size type if available to enable compile time | 
| 149 |     // optimizations | 
| 150 |     if (internal::traits<typename internal::remove_all<Arg1Nested>::type>:: | 
| 151 |                 ColsAtCompileTime == Dynamic && | 
| 152 |         internal::traits<typename internal::remove_all<Arg2Nested>::type>:: | 
| 153 |                 ColsAtCompileTime == Dynamic) | 
| 154 |       return m_arg3.cols(); | 
| 155 |     else if (internal::traits<typename internal::remove_all<Arg1Nested>::type>:: | 
| 156 |                      ColsAtCompileTime == Dynamic && | 
| 157 |              internal::traits<typename internal::remove_all<Arg3Nested>::type>:: | 
| 158 |                      ColsAtCompileTime == Dynamic) | 
| 159 |       return m_arg2.cols(); | 
| 160 |     else | 
| 161 |       return m_arg1.cols(); | 
| 162 |   } | 
| 163 |  | 
| 164 |   /** \returns the first argument nested expression */ | 
| 165 |   EIGEN_DEVICE_FUNC | 
| 166 |   const _Arg1Nested& arg1() const { return m_arg1; } | 
| 167 |   /** \returns the first argument nested expression */ | 
| 168 |   EIGEN_DEVICE_FUNC | 
| 169 |   const _Arg2Nested& arg2() const { return m_arg2; } | 
| 170 |   /** \returns the third argument nested expression */ | 
| 171 |   EIGEN_DEVICE_FUNC | 
| 172 |   const _Arg3Nested& arg3() const { return m_arg3; } | 
| 173 |   /** \returns the functor representing the ternary operation */ | 
| 174 |   EIGEN_DEVICE_FUNC | 
| 175 |   const TernaryOp& functor() const { return m_functor; } | 
| 176 |  | 
| 177 |  protected: | 
| 178 |   Arg1Nested m_arg1; | 
| 179 |   Arg2Nested m_arg2; | 
| 180 |   Arg3Nested m_arg3; | 
| 181 |   const TernaryOp m_functor; | 
| 182 | }; | 
| 183 |  | 
| 184 | // Generic API dispatcher | 
| 185 | template <typename TernaryOp, typename Arg1, typename Arg2, typename Arg3, | 
| 186 |           typename StorageKind> | 
| 187 | class CwiseTernaryOpImpl | 
| 188 |     : public internal::generic_xpr_base< | 
| 189 |           CwiseTernaryOp<TernaryOp, Arg1, Arg2, Arg3> >::type { | 
| 190 |  public: | 
| 191 |   typedef typename internal::generic_xpr_base< | 
| 192 |       CwiseTernaryOp<TernaryOp, Arg1, Arg2, Arg3> >::type Base; | 
| 193 | }; | 
| 194 |  | 
| 195 | }  // end namespace Eigen | 
| 196 |  | 
| 197 | #endif  // EIGEN_CWISE_TERNARY_OP_H | 
| 198 |  |