CBMC
|
#include <expr_cast.h>
Public Types | |
typedef std::conditional< std::is_const< T >::value, typename std::add_const< Ret >::type, Ret >::type * | type |
Definition at line 55 of file expr_cast.h.
typedef std::conditional< std::is_const<T>::value, typename std::add_const<Ret>::type, Ret>::type* detail::expr_try_dynamic_cast_return_typet< Ret, T >::type |
Definition at line 67 of file expr_cast.h.