is_dense_dynamic.hpp

Go to the documentation of this file.

#ifndef STAN_MATH_PRIM_META_IS_DENSE_DYNAMIC_HPP
#define STAN_MATH_PRIM_META_IS_DENSE_DYNAMIC_HPP
 
#include <stan/math/prim/fun/Eigen.hpp>
#include <stan/math/prim/meta/bool_constant.hpp>
#include <stan/math/prim/meta/is_base_pointer_convertible.hpp>
#include <stan/math/prim/meta/is_eigen_matrix.hpp>
#include <stan/math/prim/meta/is_eigen_dense_base.hpp>
#include <stan/math/prim/meta/is_eigen_dense_dynamic.hpp>
#include <stan/math/prim/meta/is_var.hpp>
#include <stan/math/prim/meta/require_helpers.hpp>
#include <type_traits>
 
namespace stan {
 
namespace internal {
template <typename T, typename = void>
struct is_dense_dynamic_impl : std::false_type {};
 
template <typename T>
struct is_dense_dynamic_impl<T,
                             require_t<is_eigen_dense_dynamic<std::decay_t<T>>>>
    : std::true_type {};
 
template <typename T>
struct is_dense_dynamic_impl<T, require_t<is_var<T>>>
    : bool_constant<is_eigen_dense_dynamic<value_type_t<T>>::value> {};
}  // namespace internal
 
template <typename T>
using is_dense_dynamic = internal::is_dense_dynamic_impl<std::decay_t<T>>;
 
template <typename T>
using require_dense_dynamic_t = require_t<is_dense_dynamic<std::decay_t<T>>>;
 
template <typename... Types>
using require_all_dense_dynamic_t
    = require_all_t<is_dense_dynamic<std::decay_t<Types>>...>;
}  // namespace stan
 
#endif