is_eigen_matrix.hpp

Go to the documentation of this file.

#ifndef STAN_MATH_PRIM_META_IS_EIGEN_MATRIX_DYNAMIC_HPP
#define STAN_MATH_PRIM_META_IS_EIGEN_MATRIX_DYNAMIC_HPP
 
#include <stan/math/prim/fun/Eigen.hpp>
#include <stan/math/prim/meta/bool_constant.hpp>
#include <stan/math/prim/meta/conjunction.hpp>
#include <stan/math/prim/meta/disjunction.hpp>
#include <stan/math/prim/meta/is_base_pointer_convertible.hpp>
#include <stan/math/prim/meta/require_helpers.hpp>
#include <type_traits>
 
namespace stan {
 
namespace internal {
 
template <typename T, bool>
struct is_eigen_matrix_dynamic_impl : std::false_type {};
 
template <typename T>
struct is_eigen_matrix_dynamic_impl<T, false> : std::false_type {};
 
template <typename T>
struct is_eigen_matrix_dynamic_impl<T, true>
    : bool_constant<!(T::RowsAtCompileTime == 1 || T::ColsAtCompileTime == 1)> {
};
 
}  // namespace internal
 
template <typename T>
struct is_eigen_matrix_dynamic
    : bool_constant<internal::is_eigen_matrix_dynamic_impl<
          std::decay_t<T>,
          is_base_pointer_convertible<Eigen::MatrixBase, T>::value>::value> {};
 
template <typename T>
using require_eigen_matrix_dynamic_t
    = require_t<is_eigen_matrix_dynamic<std::decay_t<T>>>;
 
template <typename... Types>
using require_all_eigen_matrix_dynamic_t
    = require_all_t<is_eigen_matrix_dynamic<std::decay_t<Types>>...>;
 
template <typename... Types>
using require_any_eigen_matrix_dynamic_t
    = require_any_t<is_eigen_matrix_dynamic<std::decay_t<Types>>...>;
template <template <class...> class TypeCheck, class... Check>
using require_eigen_matrix_dynamic_vt
    = require_t<container_type_check_base<is_eigen_matrix_dynamic, value_type_t,
                                          TypeCheck, Check...>>;
}  // namespace stan
 
#endif