Files
armadillo-code/include/armadillo_bits/traits.hpp
T
2021-09-21 14:18:36 +10:00

1271 lines
28 KiB
C++

// SPDX-License-Identifier: Apache-2.0
//
// 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 traits
//! @{
template<typename T1>
struct get_pod_type
{ typedef T1 result; };
template<typename T2>
struct get_pod_type< std::complex<T2> >
{ typedef T2 result; };
template<typename T>
struct is_Mat_fixed_only
{
typedef char yes[1];
typedef char no[2];
template<typename X> static yes& check(typename X::Mat_fixed_type*);
template<typename> static no& check(...);
static constexpr bool value = ( sizeof(check<T>(0)) == sizeof(yes) );
};
template<typename T>
struct is_Row_fixed_only
{
typedef char yes[1];
typedef char no[2];
template<typename X> static yes& check(typename X::Row_fixed_type*);
template<typename> static no& check(...);
static constexpr bool value = ( sizeof(check<T>(0)) == sizeof(yes) );
};
template<typename T>
struct is_Col_fixed_only
{
typedef char yes[1];
typedef char no[2];
template<typename X> static yes& check(typename X::Col_fixed_type*);
template<typename> static no& check(...);
static constexpr bool value = ( sizeof(check<T>(0)) == sizeof(yes) );
};
template<typename T>
struct is_Mat_fixed
{ static constexpr bool value = ( is_Mat_fixed_only<T>::value || is_Row_fixed_only<T>::value || is_Col_fixed_only<T>::value ); };
template<typename T>
struct is_Mat_only
{ static constexpr bool value = is_Mat_fixed_only<T>::value; };
template<typename eT>
struct is_Mat_only< Mat<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_Mat_only< const Mat<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_Mat
{ static constexpr bool value = ( is_Mat_fixed_only<T>::value || is_Row_fixed_only<T>::value || is_Col_fixed_only<T>::value ); };
template<typename eT>
struct is_Mat< Mat<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_Mat< const Mat<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_Mat< Row<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_Mat< const Row<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_Mat< Col<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_Mat< const Col<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_Row
{ static constexpr bool value = is_Row_fixed_only<T>::value; };
template<typename eT>
struct is_Row< Row<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_Row< const Row<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_Col
{ static constexpr bool value = is_Col_fixed_only<T>::value; };
template<typename eT>
struct is_Col< Col<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_Col< const Col<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_diagview
{ static constexpr bool value = false; };
template<typename eT>
struct is_diagview< diagview<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_diagview< const diagview<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_subview
{ static constexpr bool value = false; };
template<typename eT>
struct is_subview< subview<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_subview< const subview<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_subview_row
{ static constexpr bool value = false; };
template<typename eT>
struct is_subview_row< subview_row<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_subview_row< const subview_row<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_subview_col
{ static constexpr bool value = false; };
template<typename eT>
struct is_subview_col< subview_col<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_subview_col< const subview_col<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_subview_cols
{ static constexpr bool value = false; };
template<typename eT>
struct is_subview_cols< subview_cols<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_subview_cols< const subview_cols<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_subview_elem1
{ static constexpr bool value = false; };
template<typename eT, typename T1>
struct is_subview_elem1< subview_elem1<eT, T1> >
{ static constexpr bool value = true; };
template<typename eT, typename T1>
struct is_subview_elem1< const subview_elem1<eT, T1> >
{ static constexpr bool value = true; };
template<typename T>
struct is_subview_elem2
{ static constexpr bool value = false; };
template<typename eT, typename T1, typename T2>
struct is_subview_elem2< subview_elem2<eT, T1, T2> >
{ static constexpr bool value = true; };
template<typename eT, typename T1, typename T2>
struct is_subview_elem2< const subview_elem2<eT, T1, T2> >
{ static constexpr bool value = true; };
//
//
//
template<typename T>
struct is_Cube
{ static constexpr bool value = false; };
template<typename eT>
struct is_Cube< Cube<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_Cube< const Cube<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_subview_cube
{ static constexpr bool value = false; };
template<typename eT>
struct is_subview_cube< subview_cube<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_subview_cube< const subview_cube<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_subview_cube_slices
{ static constexpr bool value = false; };
template<typename eT, typename T1>
struct is_subview_cube_slices< subview_cube_slices<eT,T1> >
{ static constexpr bool value = true; };
template<typename eT, typename T1>
struct is_subview_cube_slices< const subview_cube_slices<eT,T1> >
{ static constexpr bool value = true; };
//
//
//
template<typename T>
struct is_Gen
{ static constexpr bool value = false; };
template<typename T1, typename gen_type>
struct is_Gen< Gen<T1,gen_type> >
{ static constexpr bool value = true; };
template<typename T1, typename gen_type>
struct is_Gen< const Gen<T1,gen_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_Op
{ static constexpr bool value = false; };
template<typename T1, typename op_type>
struct is_Op< Op<T1,op_type> >
{ static constexpr bool value = true; };
template<typename T1, typename op_type>
struct is_Op< const Op<T1,op_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_CubeToMatOp
{ static constexpr bool value = false; };
template<typename T1, typename op_type>
struct is_CubeToMatOp< CubeToMatOp<T1,op_type> >
{ static constexpr bool value = true; };
template<typename T1, typename op_type>
struct is_CubeToMatOp< const CubeToMatOp<T1,op_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_SpToDOp
{ static constexpr bool value = false; };
template<typename T1, typename op_type>
struct is_SpToDOp< SpToDOp<T1,op_type> >
{ static constexpr bool value = true; };
template<typename T1, typename op_type>
struct is_SpToDOp< const SpToDOp<T1,op_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_eOp
{ static constexpr bool value = false; };
template<typename T1, typename eop_type>
struct is_eOp< eOp<T1,eop_type> >
{ static constexpr bool value = true; };
template<typename T1, typename eop_type>
struct is_eOp< const eOp<T1,eop_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_mtOp
{ static constexpr bool value = false; };
template<typename eT, typename T1, typename op_type>
struct is_mtOp< mtOp<eT, T1, op_type> >
{ static constexpr bool value = true; };
template<typename eT, typename T1, typename op_type>
struct is_mtOp< const mtOp<eT, T1, op_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_Glue
{ static constexpr bool value = false; };
template<typename T1, typename T2, typename glue_type>
struct is_Glue< Glue<T1,T2,glue_type> >
{ static constexpr bool value = true; };
template<typename T1, typename T2, typename glue_type>
struct is_Glue< const Glue<T1,T2,glue_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_eGlue
{ static constexpr bool value = false; };
template<typename T1, typename T2, typename eglue_type>
struct is_eGlue< eGlue<T1,T2,eglue_type> >
{ static constexpr bool value = true; };
template<typename T1, typename T2, typename eglue_type>
struct is_eGlue< const eGlue<T1,T2,eglue_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_mtGlue
{ static constexpr bool value = false; };
template<typename eT, typename T1, typename T2, typename glue_type>
struct is_mtGlue< mtGlue<eT, T1, T2, glue_type> >
{ static constexpr bool value = true; };
template<typename eT, typename T1, typename T2, typename glue_type>
struct is_mtGlue< const mtGlue<eT, T1, T2, glue_type> >
{ static constexpr bool value = true; };
//
//
template<typename T>
struct is_glue_times
{ static constexpr bool value = false; };
template<typename T1, typename T2>
struct is_glue_times< Glue<T1,T2,glue_times> >
{ static constexpr bool value = true; };
template<typename T1, typename T2>
struct is_glue_times< const Glue<T1,T2,glue_times> >
{ static constexpr bool value = true; };
template<typename T>
struct is_glue_times_diag
{ static constexpr bool value = false; };
template<typename T1, typename T2>
struct is_glue_times_diag< Glue<T1,T2,glue_times_diag> >
{ static constexpr bool value = true; };
template<typename T1, typename T2>
struct is_glue_times_diag< const Glue<T1,T2,glue_times_diag> >
{ static constexpr bool value = true; };
template<typename T>
struct is_op_diagmat
{ static constexpr bool value = false; };
template<typename T1>
struct is_op_diagmat< Op<T1,op_diagmat> >
{ static constexpr bool value = true; };
template<typename T1>
struct is_op_diagmat< const Op<T1,op_diagmat> >
{ static constexpr bool value = true; };
//
//
template<typename T>
struct is_Mat_trans
{ static constexpr bool value = false; };
template<typename T1>
struct is_Mat_trans< Op<T1,op_htrans> >
{ static constexpr bool value = is_Mat<T1>::value; };
template<typename T1>
struct is_Mat_trans< Op<T1,op_htrans2> >
{ static constexpr bool value = is_Mat<T1>::value; };
//
//
template<typename T>
struct is_GenCube
{ static constexpr bool value = false; };
template<typename eT, typename gen_type>
struct is_GenCube< GenCube<eT,gen_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_OpCube
{ static constexpr bool value = false; };
template<typename T1, typename op_type>
struct is_OpCube< OpCube<T1,op_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_eOpCube
{ static constexpr bool value = false; };
template<typename T1, typename eop_type>
struct is_eOpCube< eOpCube<T1,eop_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_mtOpCube
{ static constexpr bool value = false; };
template<typename eT, typename T1, typename op_type>
struct is_mtOpCube< mtOpCube<eT, T1, op_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_GlueCube
{ static constexpr bool value = false; };
template<typename T1, typename T2, typename glue_type>
struct is_GlueCube< GlueCube<T1,T2,glue_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_eGlueCube
{ static constexpr bool value = false; };
template<typename T1, typename T2, typename eglue_type>
struct is_eGlueCube< eGlueCube<T1,T2,eglue_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_mtGlueCube
{ static constexpr bool value = false; };
template<typename eT, typename T1, typename T2, typename glue_type>
struct is_mtGlueCube< mtGlueCube<eT, T1, T2, glue_type> >
{ static constexpr bool value = true; };
//
//
//
template<typename T1>
struct is_arma_type2
{
static constexpr bool value
= is_Mat<T1>::value
|| is_Gen<T1>::value
|| is_Op<T1>::value
|| is_CubeToMatOp<T1>::value
|| is_SpToDOp<T1>::value
|| is_Glue<T1>::value
|| is_eOp<T1>::value
|| is_eGlue<T1>::value
|| is_mtOp<T1>::value
|| is_mtGlue<T1>::value
|| is_diagview<T1>::value
|| is_subview<T1>::value
|| is_subview_row<T1>::value
|| is_subview_col<T1>::value
|| is_subview_cols<T1>::value
|| is_subview_elem1<T1>::value
|| is_subview_elem2<T1>::value
;
};
// due to rather baroque C++ rules for proving constant expressions,
// certain compilers may get confused with the combination of conditional inheritance, nested classes and the shenanigans in is_Mat_fixed_only.
// below we explicitly ensure the type is forced to be const, which seems to eliminate the confusion.
template<typename T1>
struct is_arma_type
{
static constexpr bool value = is_arma_type2<const T1>::value;
};
template<typename T1>
struct is_arma_cube_type
{
static constexpr bool value
= is_Cube<T1>::value
|| is_GenCube<T1>::value
|| is_OpCube<T1>::value
|| is_eOpCube<T1>::value
|| is_mtOpCube<T1>::value
|| is_GlueCube<T1>::value
|| is_eGlueCube<T1>::value
|| is_mtGlueCube<T1>::value
|| is_subview_cube<T1>::value
|| is_subview_cube_slices<T1>::value
;
};
//
//
//
template<typename T>
struct is_SpMat
{ static constexpr bool value = false; };
template<typename eT>
struct is_SpMat< SpMat<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_SpMat< SpCol<eT> >
{ static constexpr bool value = true; };
template<typename eT>
struct is_SpMat< SpRow<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_SpRow
{ static constexpr bool value = false; };
template<typename eT>
struct is_SpRow< SpRow<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_SpCol
{ static constexpr bool value = false; };
template<typename eT>
struct is_SpCol< SpCol<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_SpSubview
{ static constexpr bool value = false; };
template<typename eT>
struct is_SpSubview< SpSubview<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_SpSubview_col
{ static constexpr bool value = false; };
template<typename eT>
struct is_SpSubview_col< SpSubview_col<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_SpSubview_col_list
{ static constexpr bool value = false; };
template<typename eT, typename T1>
struct is_SpSubview_col_list< SpSubview_col_list<eT,T1> >
{ static constexpr bool value = true; };
template<typename T>
struct is_SpSubview_row
{ static constexpr bool value = false; };
template<typename eT>
struct is_SpSubview_row< SpSubview_row<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_spdiagview
{ static constexpr bool value = false; };
template<typename eT>
struct is_spdiagview< spdiagview<eT> >
{ static constexpr bool value = true; };
template<typename T>
struct is_SpOp
{ static constexpr bool value = false; };
template<typename T1, typename op_type>
struct is_SpOp< SpOp<T1,op_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_SpGlue
{ static constexpr bool value = false; };
template<typename T1, typename T2, typename glue_type>
struct is_SpGlue< SpGlue<T1,T2,glue_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_mtSpOp
{ static constexpr bool value = false; };
template<typename eT, typename T1, typename spop_type>
struct is_mtSpOp< mtSpOp<eT, T1, spop_type> >
{ static constexpr bool value = true; };
template<typename T>
struct is_mtSpGlue
{ static constexpr bool value = false; };
template<typename eT, typename T1, typename T2, typename spglue_type>
struct is_mtSpGlue< mtSpGlue<eT, T1, T2, spglue_type> >
{ static constexpr bool value = true; };
template<typename T1>
struct is_arma_sparse_type
{
static constexpr bool value
= is_SpMat<T1>::value
|| is_SpSubview<T1>::value
|| is_SpSubview_col<T1>::value
|| is_SpSubview_col_list<T1>::value
|| is_SpSubview_row<T1>::value
|| is_spdiagview<T1>::value
|| is_SpOp<T1>::value
|| is_SpGlue<T1>::value
|| is_mtSpOp<T1>::value
|| is_mtSpGlue<T1>::value
;
};
//
//
//
template<typename T1, typename T2>
struct is_same_type
{
static constexpr bool value = false;
static constexpr bool yes = false;
static constexpr bool no = true;
};
template<typename T1>
struct is_same_type<T1,T1>
{
static constexpr bool value = true;
static constexpr bool yes = true;
static constexpr bool no = false;
};
//
//
//
template<typename T1>
struct is_u8
{ static constexpr bool value = false; };
template<>
struct is_u8<u8>
{ static constexpr bool value = true; };
template<typename T1>
struct is_s8
{ static constexpr bool value = false; };
template<>
struct is_s8<s8>
{ static constexpr bool value = true; };
template<typename T1>
struct is_u16
{ static constexpr bool value = false; };
template<>
struct is_u16<u16>
{ static constexpr bool value = true; };
template<typename T1>
struct is_s16
{ static constexpr bool value = false; };
template<>
struct is_s16<s16>
{ static constexpr bool value = true; };
template<typename T1>
struct is_u32
{ static constexpr bool value = false; };
template<>
struct is_u32<u32>
{ static constexpr bool value = true; };
template<typename T1>
struct is_s32
{ static constexpr bool value = false; };
template<>
struct is_s32<s32>
{ static constexpr bool value = true; };
template<typename T1>
struct is_u64
{ static constexpr bool value = false; };
template<>
struct is_u64<u64>
{ static constexpr bool value = true; };
template<typename T1>
struct is_s64
{ static constexpr bool value = false; };
template<>
struct is_s64<s64>
{ static constexpr bool value = true; };
template<typename T1>
struct is_ulng_t
{ static constexpr bool value = false; };
template<>
struct is_ulng_t<ulng_t>
{ static constexpr bool value = true; };
template<typename T1>
struct is_slng_t
{ static constexpr bool value = false; };
template<>
struct is_slng_t<slng_t>
{ static constexpr bool value = true; };
template<typename T1>
struct is_ulng_t_32
{ static constexpr bool value = false; };
template<>
struct is_ulng_t_32<ulng_t>
{ static constexpr bool value = (sizeof(ulng_t) == 4); };
template<typename T1>
struct is_slng_t_32
{ static constexpr bool value = false; };
template<>
struct is_slng_t_32<slng_t>
{ static constexpr bool value = (sizeof(slng_t) == 4); };
template<typename T1>
struct is_ulng_t_64
{ static constexpr bool value = false; };
template<>
struct is_ulng_t_64<ulng_t>
{ static constexpr bool value = (sizeof(ulng_t) == 8); };
template<typename T1>
struct is_slng_t_64
{ static constexpr bool value = false; };
template<>
struct is_slng_t_64<slng_t>
{ static constexpr bool value = (sizeof(slng_t) == 8); };
template<typename T1>
struct is_uword
{ static constexpr bool value = false; };
template<>
struct is_uword<uword>
{ static constexpr bool value = true; };
template<typename T1>
struct is_sword
{ static constexpr bool value = false; };
template<>
struct is_sword<sword>
{ static constexpr bool value = true; };
template<typename T1>
struct is_float
{ static constexpr bool value = false; };
template<>
struct is_float<float>
{ static constexpr bool value = true; };
template<typename T1>
struct is_double
{ static constexpr bool value = false; };
template<>
struct is_double<double>
{ static constexpr bool value = true; };
template<typename T1>
struct is_real
{
static constexpr bool value = false;
static constexpr bool yes = false;
static constexpr bool no = true;
};
template<>
struct is_real<float>
{
static constexpr bool value = true;
static constexpr bool yes = true;
static constexpr bool no = false;
};
template<>
struct is_real<double>
{
static constexpr bool value = true;
static constexpr bool yes = true;
static constexpr bool no = false;
};
template<typename T1>
struct is_cx
{
static constexpr bool value = false;
static constexpr bool yes = false;
static constexpr bool no = true;
};
// template<>
template<typename T>
struct is_cx< std::complex<T> >
{
static constexpr bool value = true;
static constexpr bool yes = true;
static constexpr bool no = false;
};
template<typename T1>
struct is_cx_float
{
static constexpr bool value = false;
static constexpr bool yes = false;
static constexpr bool no = true;
};
template<>
struct is_cx_float< std::complex<float> >
{
static constexpr bool value = true;
static constexpr bool yes = true;
static constexpr bool no = false;
};
template<typename T1>
struct is_cx_double
{
static constexpr bool value = false;
static constexpr bool yes = false;
static constexpr bool no = true;
};
template<>
struct is_cx_double< std::complex<double> >
{
static constexpr bool value = true;
static constexpr bool yes = true;
static constexpr bool no = false;
};
template<typename T1>
struct is_supported_elem_type
{
static constexpr bool value = \
is_u8<T1>::value ||
is_s8<T1>::value ||
is_u16<T1>::value ||
is_s16<T1>::value ||
is_u32<T1>::value ||
is_s32<T1>::value ||
is_u64<T1>::value ||
is_s64<T1>::value ||
is_ulng_t<T1>::value ||
is_slng_t<T1>::value ||
is_float<T1>::value ||
is_double<T1>::value ||
is_cx_float<T1>::value ||
is_cx_double<T1>::value;
};
template<typename T1>
struct is_supported_blas_type
{
static constexpr bool value = \
is_float<T1>::value ||
is_double<T1>::value ||
is_cx_float<T1>::value ||
is_cx_double<T1>::value;
};
template<typename T>
struct is_signed
{
static constexpr bool value = true;
};
template<> struct is_signed<u8> { static constexpr bool value = false; };
template<> struct is_signed<u16> { static constexpr bool value = false; };
template<> struct is_signed<u32> { static constexpr bool value = false; };
template<> struct is_signed<u64> { static constexpr bool value = false; };
template<> struct is_signed<ulng_t> { static constexpr bool value = false; };
template<typename T>
struct is_non_integral
{
static constexpr bool value = false;
};
template<> struct is_non_integral< float > { static constexpr bool value = true; };
template<> struct is_non_integral< double > { static constexpr bool value = true; };
template<> struct is_non_integral< std::complex<float> > { static constexpr bool value = true; };
template<> struct is_non_integral< std::complex<double> > { static constexpr bool value = true; };
//
class arma_junk_class;
template<typename T1, typename T2>
struct force_different_type
{
typedef T1 T1_result;
typedef T2 T2_result;
};
template<typename T1>
struct force_different_type<T1,T1>
{
typedef T1 T1_result;
typedef arma_junk_class T2_result;
};
//
template<typename T1>
struct resolves_to_vector_default
{
static constexpr bool value = false;
static constexpr bool yes = false;
static constexpr bool no = true;
};
template<typename T1>
struct resolves_to_vector_test
{
static constexpr bool value = (T1::is_col || T1::is_row || T1::is_xvec);
static constexpr bool yes = (T1::is_col || T1::is_row || T1::is_xvec);
static constexpr bool no = ((T1::is_col || T1::is_row || T1::is_xvec) == false);
};
template<typename T1, bool condition>
struct resolves_to_vector_redirect {};
template<typename T1>
struct resolves_to_vector_redirect<T1, false> { typedef resolves_to_vector_default<T1> result; };
template<typename T1>
struct resolves_to_vector_redirect<T1, true> { typedef resolves_to_vector_test<T1> result; };
template<typename T1>
struct resolves_to_vector : public resolves_to_vector_redirect<T1, is_arma_type<T1>::value>::result {};
template<typename T1>
struct resolves_to_sparse_vector : public resolves_to_vector_redirect<T1, is_arma_sparse_type<T1>::value>::result {};
//
template<typename T1>
struct resolves_to_rowvector_default { static constexpr bool value = false; };
template<typename T1>
struct resolves_to_rowvector_test { static constexpr bool value = T1::is_row; };
template<typename T1, bool condition>
struct resolves_to_rowvector_redirect {};
template<typename T1>
struct resolves_to_rowvector_redirect<T1, false> { typedef resolves_to_rowvector_default<T1> result; };
template<typename T1>
struct resolves_to_rowvector_redirect<T1, true> { typedef resolves_to_rowvector_test<T1> result; };
template<typename T1>
struct resolves_to_rowvector : public resolves_to_rowvector_redirect<T1, is_arma_type<T1>::value>::result {};
//
template<typename T1>
struct resolves_to_colvector_default { static constexpr bool value = false; };
template<typename T1>
struct resolves_to_colvector_test { static constexpr bool value = T1::is_col; };
template<typename T1, bool condition>
struct resolves_to_colvector_redirect {};
template<typename T1>
struct resolves_to_colvector_redirect<T1, false> { typedef resolves_to_colvector_default<T1> result; };
template<typename T1>
struct resolves_to_colvector_redirect<T1, true> { typedef resolves_to_colvector_test<T1> result; };
template<typename T1>
struct resolves_to_colvector : public resolves_to_colvector_redirect<T1, is_arma_type<T1>::value>::result {};
template<typename T1>
struct is_outer_product
{ static constexpr bool value = false; };
template<typename T1, typename T2>
struct is_outer_product< Glue<T1,T2,glue_times> >
{ static constexpr bool value = (resolves_to_colvector<T1>::value && resolves_to_rowvector<T2>::value); };
template<typename T1>
struct has_op_inv
{ static constexpr bool value = false; };
template<typename T1>
struct has_op_inv< Op<T1,op_inv> >
{ static constexpr bool value = true; };
template<typename T1, typename T2>
struct has_op_inv< Glue<Op<T1,op_inv>, T2, glue_times> >
{ static constexpr bool value = true; };
template<typename T1, typename T2>
struct has_op_inv< Glue<T1, Op<T2,op_inv>, glue_times> >
{ static constexpr bool value = true; };
template<typename T1>
struct has_op_inv_sympd
{ static constexpr bool value = false; };
template<typename T1>
struct has_op_inv_sympd< Op<T1,op_inv_sympd> >
{ static constexpr bool value = true; };
template<typename T1, typename T2>
struct has_op_inv_sympd< Glue<Op<T1,op_inv_sympd>, T2, glue_times> >
{ static constexpr bool value = true; };
template<typename T1, typename T2>
struct has_op_inv_sympd< Glue<T1, Op<T2,op_inv_sympd>, glue_times> >
{ static constexpr bool value = true; };
template<typename T>
struct has_nested_op_traits
{
typedef char yes[1];
typedef char no[2];
template<typename X> static yes& check(typename X::template traits<void>*);
template<typename> static no& check(...);
static constexpr bool value = ( sizeof(check<T>(0)) == sizeof(yes) );
};
template<typename T>
struct has_nested_glue_traits
{
typedef char yes[1];
typedef char no[2];
template<typename X> static yes& check(typename X::template traits<void,void>*);
template<typename> static no& check(...);
static constexpr bool value = ( sizeof(check<T>(0)) == sizeof(yes) );
};
//! @}