cprover
replace_symbol_extt Class Reference

#include <replace_symbol_ext.h>

Inheritance diagram for replace_symbol_extt:
[legend]
Collaboration diagram for replace_symbol_extt:
[legend]

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_hashexpr_mapt
 
typedef std::unordered_map< irep_idt, typet, irep_id_hashtype_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

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