cprover
show_symbol_table.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Show the symbol table
4
5
Author: 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
15
#include <
util/ui_message.h
>
16
17
class
goto_modelt
;
18
19
void
show_symbol_table
(
20
const
goto_modelt
&,
21
ui_message_handlert::uit
ui);
22
23
#endif // CPROVER_GOTO_PROGRAMS_SHOW_SYMBOL_TABLE_H
ui_message_handlert::uit
uit
Definition:
ui_message.h:18
ui_message.h
goto_modelt
Definition:
goto_model.h:22
show_symbol_table
void show_symbol_table(const goto_modelt &, ui_message_handlert::uit ui)
Definition:
show_symbol_table.cpp:113
goto-programs
show_symbol_table.h
Generated by
1.8.14