cprover
Loading...
Searching...
No Matches
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, typenamestd::add_const< Ret >::type, Ret >::type & type

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,typenamestd::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: