cprover
detail Namespace Reference

Classes

struct  expr_dynamic_cast_return_typet
 
struct  expr_try_dynamic_cast_return_typet
 

Functions

template<typename Tag >
bool can_cast_code_impl (const exprt &expr, const Tag &tag)
 
template<typename Tag >
bool can_cast_side_effect_expr_impl (const exprt &expr, const Tag &tag)
 

Function Documentation

◆ can_cast_code_impl()

◆ can_cast_side_effect_expr_impl()

template<typename Tag >
bool detail::can_cast_side_effect_expr_impl ( const exprt expr,
const Tag &  tag 
)
inline