replace_symbol_extt Class Reference

#include <replace_symbol_ext.h>

Inheritance diagram for replace_symbol_extt:

Collaboration diagram for replace_symbol_extt:

Public Member Functions
virtual bool	replace (exprt &dest) const
	does not replace object in address_of expressions More...
Public Member Functions inherited from replace_symbolt
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
Public Types inherited from replace_symbolt
typedef std::unordered_map< irep_idt, exprt, irep_id_hash >	expr_mapt
typedef std::unordered_map< irep_idt, typet, irep_id_hash >	type_mapt
Public Attributes inherited from replace_symbolt
expr_mapt	expr_map
type_mapt	type_map
Protected Member Functions inherited from replace_symbolt
bool	have_to_replace (const exprt &dest) const
bool	have_to_replace (const typet &type) const

Detailed Description

Definition at line 17 of file replace_symbol_ext.h.

Member Function Documentation

replace()

bool replace_symbol_extt::replace ( exprt &  dest ) const

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().

---

The documentation for this class was generated from the following files:

• analyses/replace_symbol_ext.h
• analyses/replace_symbol_ext.cpp