|
CBMC
|
Include dependency graph for symbol_table_base.cpp: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 77 of file symbol_table_base.cpp.