renaming::renaming_levelt Member List

This is the complete list of members for renaming::renaming_levelt, including all inherited members.

build_goto_symex_classes()	renaming::renaming_levelt	friend
get_ident_name(expr2tc &symbol) const =0	renaming::renaming_levelt	pure virtual
get_original_name(expr2tc &expr) const =0	renaming::renaming_levelt	pure virtual
get_original_name(expr2tc &expr, symbol2t::renaming_level lev)	renaming::renaming_levelt	static
remove(const expr2tc &symbol)=0	renaming::renaming_levelt	pure virtual
rename(expr2tc &expr)=0	renaming::renaming_levelt	pure virtual
~renaming_levelt()=default	renaming::renaming_levelt	virtual