autoppl  v0.8
A C++ template library for probabilistic programming
ppl::expr::constraint::Lower< ExprType > Struct Template Reference

#include <lower.hpp>

Public Types

using value_t = typename util::var_expr_traits< lower_t >::value_t
 
using shape_t = typename util::shape_traits< lower_t >::shape_t
 

Public Member Functions

 Lower (const lower_t &lower)
 
template<class T >
constexpr void transform (const T &c, T &uc) const
 
template<class T >
constexpr void inv_transform (const T &uc, T &c)
 
template<class UCViewType , class CurrPtrPackType , class PtrPackType >
auto inv_transform_ad (const UCViewType &uc_view, const CurrPtrPackType &curr_pack, const PtrPackType &pack, size_t refcnt) const
 
template<class UCViewType >
auto logj_inv_transform_ad (const UCViewType &uc_view) const
 
void activate_refcnt () const
 
template<class PtrPack >
void bind (const PtrPack &pack)
 

Member Typedef Documentation

◆ shape_t

template<class ExprType >
using ppl::expr::constraint::Lower< ExprType >::shape_t = typename util::shape_traits<lower_t>::shape_t

◆ value_t

template<class ExprType >
using ppl::expr::constraint::Lower< ExprType >::value_t = typename util::var_expr_traits<lower_t>::value_t

Constructor & Destructor Documentation

◆ Lower()

template<class ExprType >
ppl::expr::constraint::Lower< ExprType >::Lower ( const lower_t &  lower)
inline

Member Function Documentation

◆ activate_refcnt()

template<class ExprType >
void ppl::expr::constraint::Lower< ExprType >::activate_refcnt ( ) const
inline

◆ bind()

template<class ExprType >
template<class PtrPack >
void ppl::expr::constraint::Lower< ExprType >::bind ( const PtrPack &  pack)
inline

◆ inv_transform()

template<class ExprType >
template<class T >
constexpr void ppl::expr::constraint::Lower< ExprType >::inv_transform ( const T &  uc,
T &  c 
)
inlineconstexpr

Inverse transforms from unconstrained (uc) to constrained (c). Does not assume lower has been evaluated, i.e. this call evaluates the constraint. Assumes that user already called bind on constraint expression.

◆ inv_transform_ad()

template<class ExprType >
template<class UCViewType , class CurrPtrPackType , class PtrPackType >
auto ppl::expr::constraint::Lower< ExprType >::inv_transform_ad ( const UCViewType &  uc_view,
const CurrPtrPackType &  curr_pack,
const PtrPackType &  pack,
size_t  refcnt 
) const
inline

◆ logj_inv_transform_ad()

template<class ExprType >
template<class UCViewType >
auto ppl::expr::constraint::Lower< ExprType >::logj_inv_transform_ad ( const UCViewType &  uc_view) const
inline

◆ transform()

template<class ExprType >
template<class T >
constexpr void ppl::expr::constraint::Lower< ExprType >::transform ( const T &  c,
T &  uc 
) const
inlineconstexpr

Transforms from constrained (c) to unconstrained (uc). Assumes lower has already been bound and evaluated.


The documentation for this struct was generated from the following file: