cprover
|
#include <replace_symbol_ext.h>
Public Member Functions | |
virtual bool | replace (exprt &dest) const |
does not replace object in address_of expressions More... | |
![]() | |
void | insert (const irep_idt &identifier, const exprt &expr) |
void | insert (const class symbol_exprt &old_expr, const exprt &new_expr) |
void | insert (const irep_idt &identifier, const typet &type) |
virtual bool | replace (typet &dest) const |
void | operator() (exprt &dest) const |
void | operator() (typet &dest) const |
void | clear () |
bool | empty () const |
replace_symbolt () | |
virtual | ~replace_symbolt () |
Additional Inherited Members | |
![]() | |
typedef std::unordered_map< irep_idt, exprt, irep_id_hash > | expr_mapt |
typedef std::unordered_map< irep_idt, typet, irep_id_hash > | type_mapt |
![]() | |
expr_mapt | expr_map |
type_mapt | type_map |
![]() | |
bool | have_to_replace (const exprt &dest) const |
bool | have_to_replace (const typet &type) const |
Definition at line 17 of file replace_symbol_ext.h.
|
virtual |
does not replace object in address_of expressions
Reimplemented from replace_symbolt.
Definition at line 18 of file replace_symbol_ext.cpp.
References irept::add(), replace_symbolt::expr_map, irept::find(), Forall_operands, irept::get(), replace_symbolt::have_to_replace(), irept::id(), irept::is_not_nil(), address_of_exprt::object(), replace_symbolt::replace(), to_address_of_expr(), and exprt::type().
Referenced by constant_propagator_domaint::ai_simplify().