cprover
show_symbol_table.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Show the symbol table
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_GOTO_PROGRAMS_SHOW_SYMBOL_TABLE_H
13#define CPROVER_GOTO_PROGRAMS_SHOW_SYMBOL_TABLE_H
14
15class goto_modelt;
16class symbol_tablet;
18
20 const symbol_tablet &,
22
24 const symbol_tablet &,
26
28 const goto_modelt &,
30
32 const goto_modelt &,
34
35#endif // CPROVER_GOTO_PROGRAMS_SHOW_SYMBOL_TABLE_H
The symbol table.
Definition: symbol_table.h:14
void show_symbol_table_brief(const symbol_tablet &, ui_message_handlert &ui)
void show_symbol_table(const symbol_tablet &, ui_message_handlert &ui)