CBMC
|
#include <rename_symbol.h>
Public Types | |
typedef std::unordered_map< irep_idt, irep_idt > | expr_mapt |
typedef std::unordered_map< irep_idt, irep_idt > | type_mapt |
Public Member Functions | |
void | insert_expr (const irep_idt &old_id, const irep_idt &new_id) |
void | insert (const class symbol_exprt &old_expr, const class symbol_exprt &new_expr) |
void | insert_type (const irep_idt &old_id, const irep_idt &new_id) |
bool | operator() (exprt &dest) const |
Rename symbols in dest . | |
bool | operator() (typet &dest) const |
Rename symbols in dest . | |
rename_symbolt () | |
virtual | ~rename_symbolt () |
Public Attributes | |
expr_mapt | expr_map |
type_mapt | type_map |
Protected Member Functions | |
bool | rename (exprt &dest) const |
bool | rename (typet &dest) const |
bool | have_to_rename (const exprt &dest) const |
bool | have_to_rename (const typet &type) const |
Definition at line 25 of file rename_symbol.h.
typedef std::unordered_map<irep_idt, irep_idt> rename_symbolt::expr_mapt |
Definition at line 28 of file rename_symbol.h.
typedef std::unordered_map<irep_idt, irep_idt> rename_symbolt::type_mapt |
Definition at line 29 of file rename_symbol.h.
rename_symbolt::rename_symbolt | ( | ) |
Definition at line 14 of file rename_symbol.cpp.
|
virtual |
Definition at line 18 of file rename_symbol.cpp.
Definition at line 83 of file rename_symbol.cpp.
Definition at line 223 of file rename_symbol.cpp.
void rename_symbolt::insert | ( | const class symbol_exprt & | old_expr, |
const class symbol_exprt & | new_expr | ||
) |
Definition at line 22 of file rename_symbol.cpp.
Definition at line 31 of file rename_symbol.h.
Definition at line 40 of file rename_symbol.h.
Rename symbols in dest
.
Definition at line 48 of file rename_symbol.h.
Rename symbols in dest
.
Definition at line 55 of file rename_symbol.h.
Definition at line 29 of file rename_symbol.cpp.
Definition at line 122 of file rename_symbol.cpp.
expr_mapt rename_symbolt::expr_map |
Definition at line 63 of file rename_symbol.h.
type_mapt rename_symbolt::type_map |
Definition at line 64 of file rename_symbol.h.