CBMC
symbol_table_buildert Member List
This is the complete list of members for
symbol_table_buildert
, including all inherited members.
add
(const symbolt &symbol)
symbol_table_baset
base_symbol_table
symbol_table_buildert
private
begin
() override
symbol_table_buildert
inline
virtual
begin
()=0
symbol_table_buildert
virtual
begin
() const
symbol_table_buildert
virtual
symbol_table_baset::begin
() const
symbol_table_baset
virtual
clear
() override
symbol_table_buildert
inline
virtual
const_iteratort
typedef
symbol_table_baset
end
() override
symbol_table_buildert
inline
virtual
end
()=0
symbol_table_buildert
virtual
end
() const
symbol_table_buildert
virtual
symbol_table_baset::end
() const
symbol_table_baset
virtual
erase
(const symbolst::const_iterator &entry) override
symbol_table_buildert
inline
virtual
get_symbol_table
() const override
symbol_table_buildert
inline
virtual
get_writeable
(const irep_idt &identifier) override
symbol_table_buildert
inline
virtual
get_writeable_ref
(const irep_idt &name)
symbol_table_baset
inline
has_symbol
(const irep_idt &name) const
symbol_table_baset
inline
insert
(symbolt symbol) override
symbol_table_buildert
inline
virtual
lookup
(const irep_idt &name) const
symbol_table_baset
inline
lookup_ref
(const irep_idt &name) const
symbol_table_baset
inline
match_name_or_base_name
(const irep_idt &id) const
symbol_table_baset
inline
move
(symbolt &symbol, symbolt *&new_symbol) override
symbol_table_buildert
inline
virtual
next_free_suffix_for_prefix
symbol_table_buildert
mutable
private
next_unused_suffix
(const std::string &prefix) const override
symbol_table_buildert
inline
virtual
symbol_table_baset::next_unused_suffix
(const std::string &prefix, std::size_t start_number) const
symbol_table_baset
inline
operator const symbol_tablet &
() const
symbol_table_baset
inline
operator=
(const symbol_table_buildert &)=delete
symbol_table_buildert
operator=
(symbol_table_buildert &&)=delete
symbol_table_buildert
symbol_table_baset::operator=
(const symbol_table_baset &other)=delete
symbol_table_baset
remove
(const irep_idt &name)
symbol_table_baset
show
(std::ostream &out) const
symbol_table_baset
sorted_symbol_names
() const
symbol_table_baset
symbol_base_map
symbol_table_baset
symbol_module_map
symbol_table_baset
symbol_table_baset
(const symbolst &symbols, const symbol_base_mapt &symbol_base_map, const symbol_module_mapt &symbol_module_map)
symbol_table_baset
inline
symbol_table_baset
(const symbol_table_baset &other)=delete
symbol_table_baset
symbol_table_buildert
(symbol_table_baset &base_symbol_table)
symbol_table_buildert
inline
explicit
symbol_table_buildert
(symbol_table_buildert &&other)
symbol_table_buildert
inline
symbol_table_buildert
(const symbol_table_buildert &)=delete
symbol_table_buildert
symbols
symbol_table_baset
symbolst
typedef
symbol_table_baset
validate
(const validation_modet vm=validation_modet::INVARIANT) const override
symbol_table_buildert
inline
virtual
wrap
(symbol_table_baset &base_symbol_table)
symbol_table_buildert
inline
static
~symbol_table_baset
()
symbol_table_baset
virtual
Generated by
1.9.1