Loading...

Searching...

No Matches

Public Member Functions | Protected Member Functions | List of all members

unchecked_replace_symbolt Class Reference

#include <replace_symbol.h>

+ Inheritance diagram for unchecked_replace_symbolt:

[フレーム]

[legend]

+ Collaboration diagram for unchecked_replace_symbolt:

[フレーム]

[legend]

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.

void set (const class symbol_exprt &old_expr, const exprt &new_expr)

Sets old_expr to be replaced by new_expr.

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::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 327 of file replace_symbol.cpp.

◆ replace_symbol_expr()

bool unchecked_replace_symbolt::replace_symbol_expr ( symbol_exprt & dest ) const

overrideprotectedvirtual

Reimplemented from replace_symbolt.

Definition at line 334 of file replace_symbol.cpp.

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

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