CBMC
|
#include <replace_symbol.h>
Public Member Functions | |
unchecked_replace_symbolt () | |
void | insert (const symbol_exprt &old_expr, const exprt &new_expr) |
Public Member Functions inherited from replace_symbolt | |
void | insert (const class symbol_exprt &old_expr, const exprt &new_expr) |
Sets old_expr to be replaced by new_expr if we don't already have a replacement; otherwise does nothing (i.e. More... | |
void | set (const class symbol_exprt &old_expr, const exprt &new_expr) |
Sets old_expr to be replaced by new_expr. More... | |
virtual bool | replace (exprt &dest) const |
virtual bool | replace (typet &dest) const |
void | operator() (exprt &dest) const |
void | operator() (typet &dest) const |
void | clear () |
bool | empty () const |
std::size_t | erase (const irep_idt &id) |
expr_mapt::iterator | erase (expr_mapt::iterator it) |
bool | replaces_symbol (const irep_idt &id) const |
replace_symbolt () | |
virtual | ~replace_symbolt () |
const expr_mapt & | get_expr_map () const |
expr_mapt & | get_expr_map () |
Protected Member Functions | |
bool | replace_symbol_expr (symbol_exprt &dest) const override |
Protected Member Functions inherited from replace_symbolt | |
bool | have_to_replace (const exprt &dest) const |
bool | have_to_replace (const typet &type) const |
Additional Inherited Members | |
Public Types inherited from replace_symbolt | |
typedef std::unordered_map< irep_idt, exprt > | expr_mapt |
Protected Attributes inherited from replace_symbolt | |
expr_mapt | expr_map |
std::set< irep_idt > | bindings |
Definition at line 102 of file replace_symbol.h.
|
inline |
Definition at line 105 of file replace_symbol.h.
void unchecked_replace_symbolt::insert | ( | const symbol_exprt & | old_expr, |
const exprt & | new_expr | ||
) |
Definition at line 328 of file replace_symbol.cpp.
|
overrideprotectedvirtual |
Reimplemented from replace_symbolt.
Reimplemented in address_of_aware_replace_symbolt.
Definition at line 335 of file replace_symbol.cpp.