CBMC
|
Author: Diffblue Ltd. More...
Go to the source code of this file.
Classes | |
class | symbol_table_baset |
The symbol table base class interface. More... | |
class | symbol_table_baset::iteratort |
Typedefs | |
typedef std::multimap< irep_idt, irep_idt > | symbol_base_mapt |
typedef std::multimap< irep_idt, irep_idt > | symbol_module_mapt |
Functions | |
std::ostream & | operator<< (std::ostream &out, const symbol_table_baset &symbol_table) |
Print the contents of the symbol table. More... | |
typedef std::multimap<irep_idt, irep_idt> symbol_base_mapt |
Definition at line 15 of file symbol_table_base.h.
typedef std::multimap<irep_idt, irep_idt> symbol_module_mapt |
Definition at line 16 of file symbol_table_base.h.
std::ostream& operator<< | ( | std::ostream & | out, |
const symbol_table_baset & | symbol_table | ||
) |
Print the contents of the symbol table.
out | The ostream to direct output to |
symbol_table | The symbol table to print out |
Definition at line 76 of file symbol_table_base.cpp.