CBMC
|
Go to the source code of this file.
Functions | |
std::ostream & | operator<< (std::ostream &out, const symbol_table_baset &symbol_table) |
Print the contents of the symbol table. More... | |
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.