renaming::level2t Member List

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

build_goto_symex_classes()	renaming::level2t	friend
clone() const =0	renaming::level2t	pure virtual
coveredinbees(expr2tc &lhs_sym, unsigned count, unsigned node_id)	renaming::level2t	protectedvirtual
current_names	renaming::level2t
current_namest typedef	renaming::level2t
current_number(const expr2tc &sym) const	renaming::level2t
current_number(const name_record &rec) const	renaming::level2t
current_value(const name_record &rec) const	renaming::level2t	inline
declare(const name_record &rec)	renaming::level2t	inline
dump() const	renaming::level2t	virtual
get_ident_name(expr2tc &symbol) const override	renaming::level2t	virtual
get_original_name(expr2tc &expr) const override	renaming::level2t	inlinevirtual
renaming::renaming_levelt::get_original_name(expr2tc &expr, symbol2t::renaming_level lev)	renaming::renaming_levelt	static
level2t()=default	renaming::level2t
make_assignment(expr2tc &lhs_symbol, const expr2tc &constant_value, const expr2tc &assigned_value)	renaming::level2t	virtual
print(std::ostream &out) const	renaming::level2t	virtual
remove(const expr2tc &symbol) override	renaming::level2t	inlinevirtual
rename(expr2tc &expr) override	renaming::level2t	virtual
rename(expr2tc &expr, unsigned count)=0	renaming::level2t	pure virtual
rename_to_record(expr2tc &sym, const name_record &rec)	renaming::level2t	static
retire(const name_record &rec)	renaming::level2t	inline
set_constant(const name_record &rec, const expr2tc &value)	renaming::level2t	inline
~level2t() override=default	renaming::level2t
~renaming_levelt()=default	renaming::renaming_levelt	virtual