#include <fix_symbol.h>

Inheritance diagram for fix_symbolt:

Public Member Functions
void	fix_symbol (symbolt &symbol)
void	fix_context (contextt &context)
Public Member Functions inherited from replace_symbolt
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

Additional Inherited Members
Public Types inherited from replace_symbolt
typedef std::unordered_map< irep_idt, exprt, irep_id_hash >	expr_mapt
typedef std::unordered_map< irep_idt, typet, irep_id_hash >	type_mapt
Protected Attributes inherited from replace_symbolt
expr_mapt	expr_map
type_mapt	type_map

Member Function Documentation

◆ fix_context()

void fix_symbolt::fix_context ( contextt & context )

void fix_symbolt::fix_symbol ( symbolt & symbol )

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