#include <replace_symbol.h>

Inheritance diagram for replace_symbolt:

Public Types
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 Member Functions
void	insert (const irep_idt &identifier, const exprt &expr)
void	insert (const irep_idt &identifier, const typet &type)
virtual bool	replace (exprt &dest)
virtual bool	replace (typet &dest)
	replace_symbolt ()=default
virtual	~replace_symbolt ()=default

Protected Attributes
expr_mapt	expr_map
type_mapt	type_map

Member Typedef Documentation

◆ expr_mapt

typedef std::unordered_map<irep_idt, exprt, irep_id_hash> replace_symbolt::expr_mapt

◆ type_mapt

typedef std::unordered_map<irep_idt, typet, irep_id_hash> replace_symbolt::type_mapt

Constructor & Destructor Documentation

◆ replace_symbolt()

replace_symbolt::replace_symbolt ( )

default

◆ ~replace_symbolt()

virtual replace_symbolt::~replace_symbolt ( )

virtualdefault

Member Function Documentation

◆ insert() [1/2]

void replace_symbolt::insert	(	const irep_idt &	identifier,
		const exprt &	expr )

inline

◆ insert() [2/2]

void replace_symbolt::insert	(	const irep_idt &	identifier,
		const typet &	type )

inline

◆ replace() [1/2]

bool replace_symbolt::replace ( exprt & dest )

virtual

◆ replace() [2/2]

bool replace_symbolt::replace ( typet & dest )

virtual

Member Data Documentation

◆ expr_map

expr_mapt replace_symbolt::expr_map

protected

◆ type_map

type_mapt replace_symbolt::type_map