math/rev_2meta_2is__rev__matrix_8hpp_source.html

#ifndef STAN_MATH_REV_META_IS_REV_MATRIX_HPP

#define STAN_MATH_REV_META_IS_REV_MATRIX_HPP


#include <stan/math/rev/core/var.hpp>

#include <stan/math/rev/meta/is_var.hpp>

#include <stan/math/prim/meta/conjunction.hpp>

#include <stan/math/prim/meta/disjunction.hpp>

#include <stan/math/prim/meta/is_rev_matrix.hpp>

#include <stan/math/prim/meta/is_eigen.hpp>

#include <type_traits>


namespace stan {

template <typename T>

struct is_rev_matrix<

    T,

    require_all_t<is_var<scalar_type_t<T>>,

                  math::disjunction<

                      math::conjunction<is_var<T>, is_eigen<value_type_t<T>>>,

                      is_eigen<T>>>> : std::true_type {};


template <typename T>

struct is_rev_col_vector<

    T,

    require_all_t<

        is_var<scalar_type_t<T>>,

        math::disjunction<

            math::conjunction<is_var<T>, is_eigen_col_vector<value_type_t<T>>>,

            is_eigen_col_vector<T>>>> : std::true_type {};


template <typename T>

struct is_rev_row_vector<

    T,

    require_all_t<

        is_var<scalar_type_t<T>>,

        math::disjunction<

            math::conjunction<is_var<T>, is_eigen_row_vector<value_type_t<T>>>,

            is_eigen_row_vector<T>>>> : std::true_type {};


template <typename T>

struct is_rev_vector<T,

                     require_any_t<is_rev_col_vector<T>, is_rev_row_vector<T>>>

    : std::true_type {};


}  // namespace stan

#endif

conjunction.hpp

disjunction.hpp

is_eigen.hpp

stan::require_any_t
std::enable_if_t< math::disjunction< Checks... >::value > require_any_t
If any condition is true, template is enabled.
Definition require_helpers.hpp:43

stan::scalar_type_t
typename scalar_type< T >::type scalar_type_t
Definition scalar_type.hpp:25

stan::require_all_t
std::enable_if_t< math::conjunction< Checks... >::value > require_all_t
If all conditions are true, template is enabled Returns a type void if all conditions are true and ot...
Definition require_helpers.hpp:34

stan
The lgamma implementation in stan-math is based on either the reentrant safe lgamma_r implementation ...
Definition unit_vector_constrain.hpp:15

is_rev_matrix.hpp

is_var.hpp

stan::is_rev_col_vector
Defines a static member named value which is defined to be true if the type is either derived from Ei...
Definition is_rev_matrix.hpp:59

stan::is_rev_matrix
Defines a static member named value which is defined to be true if the type is either a type derived ...
Definition is_rev_matrix.hpp:15

stan::is_rev_row_vector
Defines a static member named value which is defined to be true if the type is either a type derived ...
Definition is_rev_matrix.hpp:80

stan::is_rev_vector
Defines a static member named value which is defined to be true if the type is either a type derived ...
Definition is_rev_matrix.hpp:90

stan::is_var
Defines a static member named value which is defined to be false as the primitive scalar types cannot...
Definition is_var.hpp:14

var.hpp