CBMC
|
Go to the source code of this file.
Classes | |
class | codet |
Data structure for representing an arbitrary statement in a program. More... | |
Namespaces | |
detail | |
Functions | |
template<typename Tag > | |
bool | detail::can_cast_code_impl (const exprt &expr, const Tag &tag) |
template<> | |
bool | can_cast_expr< codet > (const exprt &base) |
const codet & | to_code (const exprt &expr) |
codet & | to_code (exprt &expr) |
|
inline |
Definition at line 96 of file std_code_base.h.
Definition at line 104 of file std_code_base.h.
Definition at line 110 of file std_code_base.h.