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_mapt &	get_expr_map () const

expr_mapt &	get_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, exprt >	expr_mapt

Protected Attributes inherited from replace_symbolt
expr_mapt	expr_map

std::set< irep_idt >	bindings

Detailed Description

Definition at line 102 of file replace_symbol.h.

Constructor & Destructor Documentation

unchecked_replace_symbolt::unchecked_replace_symbolt ( )

inline

Definition at line 105 of file replace_symbol.h.

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

Definition at line 354 of file replace_symbol.cpp.

bool unchecked_replace_symbolt::replace_symbol_expr ( symbol_exprt & dest ) const

overrideprotectedvirtual

Reimplemented from replace_symbolt.

Definition at line 361 of file replace_symbol.cpp.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/util/replace_symbol.h
/home/runner/work/cbmc-documentation/cbmc-documentation/src/util/replace_symbol.cpp