123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651 |
- // Copyright 2008-2016 Conrad Sanderson (http://conradsanderson.id.au)
- // Copyright 2008-2016 National ICT Australia (NICTA)
- //
- // Licensed under the Apache License, Version 2.0 (the "License");
- // you may not use this file except in compliance with the License.
- // You may obtain a copy of the License at
- // http://www.apache.org/licenses/LICENSE-2.0
- //
- // Unless required by applicable law or agreed to in writing, software
- // distributed under the License is distributed on an "AS IS" BASIS,
- // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- // See the License for the specific language governing permissions and
- // limitations under the License.
- // ------------------------------------------------------------------------
- //! \addtogroup diagmat_proxy
- //! @{
- template<typename T1>
- class diagmat_proxy_default
- {
- public:
-
- typedef typename T1::elem_type elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
- inline
- diagmat_proxy_default(const T1& X)
- : P ( X )
- , P_is_vec( (resolves_to_vector<T1>::yes) || (P.get_n_rows() == 1) || (P.get_n_cols() == 1) )
- , P_is_col( T1::is_col || (P.get_n_cols() == 1) )
- , n_rows ( P_is_vec ? P.get_n_elem() : P.get_n_rows() )
- , n_cols ( P_is_vec ? P.get_n_elem() : P.get_n_cols() )
- {
- arma_extra_debug_sigprint();
- }
-
-
- arma_inline
- elem_type
- operator[](const uword i) const
- {
- if(Proxy<T1>::use_at == false)
- {
- return P_is_vec ? P[i] : P.at(i,i);
- }
- else
- {
- if(P_is_vec)
- {
- return (P_is_col) ? P.at(i,0) : P.at(0,i);
- }
- else
- {
- return P.at(i,i);
- }
- }
- }
-
-
- arma_inline
- elem_type
- at(const uword row, const uword col) const
- {
- if(row == col)
- {
- if(Proxy<T1>::use_at == false)
- {
- return (P_is_vec) ? P[row] : P.at(row,row);
- }
- else
- {
- if(P_is_vec)
- {
- return (P_is_col) ? P.at(row,0) : P.at(0,row);
- }
- else
- {
- return P.at(row,row);
- }
- }
- }
- else
- {
- return elem_type(0);
- }
- }
-
-
- inline bool is_alias(const Mat<elem_type>& X) const { return P.is_alias(X); }
-
- const Proxy<T1> P;
- const bool P_is_vec;
- const bool P_is_col;
- const uword n_rows;
- const uword n_cols;
- };
- template<typename T1>
- class diagmat_proxy_fixed
- {
- public:
-
- typedef typename T1::elem_type elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
- inline
- diagmat_proxy_fixed(const T1& X)
- : P(X)
- {
- arma_extra_debug_sigprint();
- }
-
-
- arma_inline
- elem_type
- operator[](const uword i) const
- {
- return (P_is_vec) ? P[i] : P.at(i,i);
- }
-
-
- arma_inline
- elem_type
- at(const uword row, const uword col) const
- {
- if(row == col)
- {
- return (P_is_vec) ? P[row] : P.at(row,row);
- }
- else
- {
- return elem_type(0);
- }
- }
-
- arma_inline bool is_alias(const Mat<elem_type>& X) const { return (void_ptr(&X) == void_ptr(&P)); }
-
- const T1& P;
-
- static const bool P_is_vec = (T1::n_rows == 1) || (T1::n_cols == 1);
- static const uword n_rows = P_is_vec ? T1::n_elem : T1::n_rows;
- static const uword n_cols = P_is_vec ? T1::n_elem : T1::n_cols;
- };
- template<typename T1, bool condition>
- struct diagmat_proxy_redirect {};
- template<typename T1>
- struct diagmat_proxy_redirect<T1, false> { typedef diagmat_proxy_default<T1> result; };
- template<typename T1>
- struct diagmat_proxy_redirect<T1, true> { typedef diagmat_proxy_fixed<T1> result; };
- template<typename T1>
- class diagmat_proxy : public diagmat_proxy_redirect<T1, is_Mat_fixed<T1>::value >::result
- {
- public:
- inline diagmat_proxy(const T1& X)
- : diagmat_proxy_redirect< T1, is_Mat_fixed<T1>::value >::result(X)
- {
- }
- };
- template<typename eT>
- class diagmat_proxy< Mat<eT> >
- {
- public:
-
- typedef eT elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
- inline
- diagmat_proxy(const Mat<eT>& X)
- : P ( X )
- , P_is_vec( (X.n_rows == 1) || (X.n_cols == 1) )
- , n_rows ( P_is_vec ? X.n_elem : X.n_rows )
- , n_cols ( P_is_vec ? X.n_elem : X.n_cols )
- {
- arma_extra_debug_sigprint();
- }
-
- arma_inline elem_type operator[] (const uword i) const { return P_is_vec ? P[i] : P.at(i,i); }
- arma_inline elem_type at (const uword row, const uword col) const { return (row == col) ? ( P_is_vec ? P[row] : P.at(row,row) ) : elem_type(0); }
-
- arma_inline bool is_alias(const Mat<eT>& X) const { return (void_ptr(&X) == void_ptr(&P)); }
-
- const Mat<eT>& P;
- const bool P_is_vec;
- const uword n_rows;
- const uword n_cols;
- };
- template<typename eT>
- class diagmat_proxy< Row<eT> >
- {
- public:
-
- typedef eT elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
-
- inline
- diagmat_proxy(const Row<eT>& X)
- : P(X)
- , n_rows(X.n_elem)
- , n_cols(X.n_elem)
- {
- arma_extra_debug_sigprint();
- }
-
- arma_inline elem_type operator[] (const uword i) const { return P[i]; }
- arma_inline elem_type at (const uword row, const uword col) const { return (row == col) ? P[row] : elem_type(0); }
-
- arma_inline bool is_alias(const Mat<eT>& X) const { return (void_ptr(&X) == void_ptr(&P)); }
-
- static const bool P_is_vec = true;
-
- const Row<eT>& P;
- const uword n_rows;
- const uword n_cols;
- };
- template<typename eT>
- class diagmat_proxy< Col<eT> >
- {
- public:
-
- typedef eT elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
-
- inline
- diagmat_proxy(const Col<eT>& X)
- : P(X)
- , n_rows(X.n_elem)
- , n_cols(X.n_elem)
- {
- arma_extra_debug_sigprint();
- }
-
- arma_inline elem_type operator[] (const uword i) const { return P[i]; }
- arma_inline elem_type at (const uword row, const uword col) const { return (row == col) ? P[row] : elem_type(0); }
-
- arma_inline bool is_alias(const Mat<eT>& X) const { return (void_ptr(&X) == void_ptr(&P)); }
-
- static const bool P_is_vec = true;
-
- const Col<eT>& P;
- const uword n_rows;
- const uword n_cols;
- };
- template<typename eT>
- class diagmat_proxy< subview_row<eT> >
- {
- public:
-
- typedef eT elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
-
- inline
- diagmat_proxy(const subview_row<eT>& X)
- : P(X)
- , n_rows(X.n_elem)
- , n_cols(X.n_elem)
- {
- arma_extra_debug_sigprint();
- }
-
- arma_inline elem_type operator[] (const uword i) const { return P[i]; }
- arma_inline elem_type at (const uword row, const uword col) const { return (row == col) ? P[row] : elem_type(0); }
-
- arma_inline bool is_alias(const Mat<eT>& X) const { return (void_ptr(&X) == void_ptr(&(P.m))); }
-
- static const bool P_is_vec = true;
-
- const subview_row<eT>& P;
- const uword n_rows;
- const uword n_cols;
- };
- template<typename eT>
- class diagmat_proxy< subview_col<eT> >
- {
- public:
-
- typedef eT elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
-
- inline
- diagmat_proxy(const subview_col<eT>& X)
- : P(X)
- , n_rows(X.n_elem)
- , n_cols(X.n_elem)
- {
- arma_extra_debug_sigprint();
- }
-
- arma_inline elem_type operator[] (const uword i) const { return P[i]; }
- arma_inline elem_type at (const uword row, const uword col) const { return (row == col) ? P[row] : elem_type(0); }
-
- arma_inline bool is_alias(const Mat<eT>& X) const { return (void_ptr(&X) == void_ptr(&(P.m))); }
-
- static const bool P_is_vec = true;
-
- const subview_col<eT>& P;
- const uword n_rows;
- const uword n_cols;
- };
- template<typename T1, typename T2>
- class diagmat_proxy< Glue<T1,T2,glue_times> >
- {
- public:
-
- typedef typename T1::elem_type elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
- inline
- diagmat_proxy(const Glue<T1,T2,glue_times>& X)
- {
- op_diagmat::apply_times(P, X.A, X.B);
-
- n_rows = P.n_rows;
- n_cols = P.n_cols;
-
- arma_extra_debug_sigprint();
- }
-
- arma_inline elem_type operator[] (const uword i) const { return P.at(i,i); }
- arma_inline elem_type at (const uword row, const uword col) const { return (row == col) ? P.at(row,row) : elem_type(0); }
-
- arma_inline bool is_alias(const Mat<elem_type>&) const { return false; }
-
- static const bool P_is_vec = false;
-
- Mat<elem_type> P;
- uword n_rows;
- uword n_cols;
- };
- //
- //
- //
- template<typename T1>
- class diagmat_proxy_check_default
- {
- public:
-
- typedef typename T1::elem_type elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
- inline
- diagmat_proxy_check_default(const T1& X, const Mat<typename T1::elem_type>&)
- : P(X)
- , P_is_vec( (resolves_to_vector<T1>::yes) || (P.n_rows == 1) || (P.n_cols == 1) )
- , n_rows( P_is_vec ? P.n_elem : P.n_rows )
- , n_cols( P_is_vec ? P.n_elem : P.n_cols )
- {
- arma_extra_debug_sigprint();
- }
-
- arma_inline elem_type operator[] (const uword i) const { return P_is_vec ? P[i] : P.at(i,i); }
- arma_inline elem_type at (const uword row, const uword col) const { return (row == col) ? ( P_is_vec ? P[row] : P.at(row,row) ) : elem_type(0); }
-
- const Mat<elem_type> P;
- const bool P_is_vec;
- const uword n_rows;
- const uword n_cols;
- };
- template<typename T1>
- class diagmat_proxy_check_fixed
- {
- public:
-
- typedef typename T1::elem_type eT;
- typedef typename T1::elem_type elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
- inline
- diagmat_proxy_check_fixed(const T1& X, const Mat<eT>& out)
- : P( const_cast<eT*>(X.memptr()), T1::n_rows, T1::n_cols, (&X == &out), false )
- {
- arma_extra_debug_sigprint();
- }
-
-
- arma_inline eT operator[] (const uword i) const { return P_is_vec ? P[i] : P.at(i,i); }
- arma_inline eT at (const uword row, const uword col) const { return (row == col) ? ( P_is_vec ? P[row] : P.at(row,row) ) : elem_type(0); }
-
- const Mat<eT> P; // TODO: why not just store X directly as T1& ? test with fixed size vectors and matrices
-
- static const bool P_is_vec = (T1::n_rows == 1) || (T1::n_cols == 1);
- static const uword n_rows = P_is_vec ? T1::n_elem : T1::n_rows;
- static const uword n_cols = P_is_vec ? T1::n_elem : T1::n_cols;
- };
- template<typename T1, bool condition>
- struct diagmat_proxy_check_redirect {};
- template<typename T1>
- struct diagmat_proxy_check_redirect<T1, false> { typedef diagmat_proxy_check_default<T1> result; };
- template<typename T1>
- struct diagmat_proxy_check_redirect<T1, true> { typedef diagmat_proxy_check_fixed<T1> result; };
- template<typename T1>
- class diagmat_proxy_check : public diagmat_proxy_check_redirect<T1, is_Mat_fixed<T1>::value >::result
- {
- public:
- inline diagmat_proxy_check(const T1& X, const Mat<typename T1::elem_type>& out)
- : diagmat_proxy_check_redirect< T1, is_Mat_fixed<T1>::value >::result(X, out)
- {
- }
- };
- template<typename eT>
- class diagmat_proxy_check< Mat<eT> >
- {
- public:
-
- typedef eT elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
-
- inline
- diagmat_proxy_check(const Mat<eT>& X, const Mat<eT>& out)
- : P_local ( (&X == &out) ? new Mat<eT>(X) : 0 )
- , P ( (&X == &out) ? (*P_local) : X )
- , P_is_vec( (P.n_rows == 1) || (P.n_cols == 1) )
- , n_rows ( P_is_vec ? P.n_elem : P.n_rows )
- , n_cols ( P_is_vec ? P.n_elem : P.n_cols )
- {
- arma_extra_debug_sigprint();
- }
-
- inline ~diagmat_proxy_check()
- {
- if(P_local) { delete P_local; }
- }
-
- arma_inline elem_type operator[] (const uword i) const { return P_is_vec ? P[i] : P.at(i,i); }
- arma_inline elem_type at (const uword row, const uword col) const { return (row == col) ? ( P_is_vec ? P[row] : P.at(row,row) ) : elem_type(0); }
-
- const Mat<eT>* P_local;
- const Mat<eT>& P;
- const bool P_is_vec;
- const uword n_rows;
- const uword n_cols;
- };
- template<typename eT>
- class diagmat_proxy_check< Row<eT> >
- {
- public:
-
- typedef eT elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
- inline
- diagmat_proxy_check(const Row<eT>& X, const Mat<eT>& out)
- : P_local ( (&X == reinterpret_cast<const Row<eT>*>(&out)) ? new Row<eT>(X) : 0 )
- , P ( (&X == reinterpret_cast<const Row<eT>*>(&out)) ? (*P_local) : X )
- , n_rows (X.n_elem)
- , n_cols (X.n_elem)
- {
- arma_extra_debug_sigprint();
- }
-
- inline ~diagmat_proxy_check()
- {
- if(P_local) { delete P_local; }
- }
-
- arma_inline elem_type operator[] (const uword i) const { return P[i]; }
- arma_inline elem_type at (const uword row, const uword col) const { return (row == col) ? P[row] : elem_type(0); }
-
- static const bool P_is_vec = true;
-
- const Row<eT>* P_local;
- const Row<eT>& P;
- const uword n_rows;
- const uword n_cols;
- };
- template<typename eT>
- class diagmat_proxy_check< Col<eT> >
- {
- public:
-
- typedef eT elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
- inline
- diagmat_proxy_check(const Col<eT>& X, const Mat<eT>& out)
- : P_local ( (&X == reinterpret_cast<const Col<eT>*>(&out)) ? new Col<eT>(X) : 0 )
- , P ( (&X == reinterpret_cast<const Col<eT>*>(&out)) ? (*P_local) : X )
- , n_rows (X.n_elem)
- , n_cols (X.n_elem)
- {
- arma_extra_debug_sigprint();
- }
-
- inline ~diagmat_proxy_check()
- {
- if(P_local) { delete P_local; }
- }
-
- arma_inline elem_type operator[] (const uword i) const { return P[i]; }
- arma_inline elem_type at (const uword row, const uword col) const { return (row == col) ? P[row] : elem_type(0); }
-
- static const bool P_is_vec = true;
-
- const Col<eT>* P_local;
- const Col<eT>& P;
- const uword n_rows;
- const uword n_cols;
- };
- template<typename eT>
- class diagmat_proxy_check< subview_row<eT> >
- {
- public:
-
- typedef eT elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
- inline
- diagmat_proxy_check(const subview_row<eT>& X, const Mat<eT>&)
- : P ( X )
- , n_rows ( X.n_elem )
- , n_cols ( X.n_elem )
- {
- arma_extra_debug_sigprint();
- }
-
- arma_inline elem_type operator[] (const uword i) const { return P[i]; }
- arma_inline elem_type at (const uword row, const uword col) const { return (row == col) ? P[row] : elem_type(0); }
-
- static const bool P_is_vec = true;
-
- const Row<eT> P;
- const uword n_rows;
- const uword n_cols;
- };
- template<typename eT>
- class diagmat_proxy_check< subview_col<eT> >
- {
- public:
-
- typedef eT elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
- inline
- diagmat_proxy_check(const subview_col<eT>& X, const Mat<eT>& out)
- : P ( const_cast<eT*>(X.colptr(0)), X.n_rows, (&(X.m) == &out), false )
- , n_rows( X.n_elem )
- , n_cols( X.n_elem )
- {
- arma_extra_debug_sigprint();
- }
-
- arma_inline elem_type operator[] (const uword i) const { return P[i]; }
- arma_inline elem_type at (const uword row, const uword col) const { return (row == col) ? P[row] : elem_type(0); }
-
- static const bool P_is_vec = true;
-
- const Col<eT> P;
- const uword n_rows;
- const uword n_cols;
- };
- template<typename T1, typename T2>
- class diagmat_proxy_check< Glue<T1,T2,glue_times> >
- {
- public:
-
- typedef typename T1::elem_type elem_type;
- typedef typename get_pod_type<elem_type>::result pod_type;
-
- inline
- diagmat_proxy_check(const Glue<T1,T2,glue_times>& X, const Mat<elem_type>&)
- {
- op_diagmat::apply_times(P, X.A, X.B);
-
- n_rows = P.n_rows;
- n_cols = P.n_cols;
-
- arma_extra_debug_sigprint();
- }
-
- arma_inline elem_type operator[] (const uword i) const { return P.at(i,i); }
- arma_inline elem_type at (const uword row, const uword col) const { return (row == col) ? P.at(row,row) : elem_type(0); }
-
- static const bool P_is_vec = false;
-
- Mat<elem_type> P;
- uword n_rows;
- uword n_cols;
- };
- //! @}
|