cprover
link_to_library.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Library Linking
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_GOTO_PROGRAMS_LINK_TO_LIBRARY_H
13
#define CPROVER_GOTO_PROGRAMS_LINK_TO_LIBRARY_H
14
15
#include <
util/message.h
>
16
17
#include "
goto_model.h
"
18
19
void
link_to_library
(
20
symbol_tablet
&,
21
goto_functionst
&,
22
message_handlert
&);
23
24
void
link_to_library
(
25
goto_modelt
&,
26
message_handlert
&);
27
28
#endif // CPROVER_GOTO_PROGRAMS_LINK_TO_LIBRARY_H
message.h
goto_modelt
Definition:
goto_model.h:22
link_to_library
void link_to_library(symbol_tablet &, goto_functionst &, message_handlert &)
Definition:
link_to_library.cpp:31
goto_model.h
Symbol Table + CFG.
symbol_tablet
The symbol table.
Definition:
symbol_table.h:52
message_handlert
Definition:
message.h:20
goto_functionst
Definition:
goto_functions.h:20
goto-programs
link_to_library.h
Generated by
1.8.12