CBMC
detail::expr_dynamic_cast_return_typet< Ret, T > Struct Template Referencefinal

#include <expr_cast.h>

Public Types

typedef std::conditional< std::is_const< T >::value, typename std::add_const< Ret >::type, Ret >::typetype
 

Detailed Description

template<typename Ret, typename T>
struct detail::expr_dynamic_cast_return_typet< Ret, T >

Definition at line 182 of file expr_cast.h.

Member Typedef Documentation

◆ type

template<typename Ret , typename T >
typedef std::conditional< std::is_const<T>::value, typename std::add_const<Ret>::type, Ret>::type& detail::expr_dynamic_cast_return_typet< Ret, T >::type

Definition at line 194 of file expr_cast.h.


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