CBMC
unchecked_replace_symbolt Class Reference

#include <replace_symbol.h>

+ Inheritance diagram for unchecked_replace_symbolt:
+ Collaboration diagram for unchecked_replace_symbolt:

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_maptget_expr_map () const
 
expr_maptget_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, exprtexpr_mapt
 
- Protected Attributes inherited from replace_symbolt
expr_mapt expr_map
 
std::set< irep_idtbindings
 

Detailed Description

Definition at line 102 of file replace_symbol.h.

Constructor & Destructor Documentation

◆ unchecked_replace_symbolt()

unchecked_replace_symbolt::unchecked_replace_symbolt ( )
inline

Definition at line 105 of file replace_symbol.h.

Member Function Documentation

◆ insert()

void unchecked_replace_symbolt::insert ( const symbol_exprt old_expr,
const exprt new_expr 
)

Definition at line 328 of file replace_symbol.cpp.

◆ replace_symbol_expr()

bool unchecked_replace_symbolt::replace_symbol_expr ( symbol_exprt dest) const
overrideprotectedvirtual

Reimplemented from replace_symbolt.

Reimplemented in address_of_aware_replace_symbolt.

Definition at line 335 of file replace_symbol.cpp.


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