CBMC
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/irep.h
>
16
17
#include <functional>
18
#include <set>
19
20
class
goto_modelt
;
21
class
message_handlert
;
22
class
symbol_tablet
;
23
24
void
link_to_library
(
25
goto_modelt
&,
26
message_handlert
&,
27
const
std::function<
void
(
28
const
std::set<irep_idt> &,
29
const
symbol_tablet
&,
30
symbol_tablet
&,
31
message_handlert
&)> &);
32
33
#endif
// CPROVER_GOTO_PROGRAMS_LINK_TO_LIBRARY_H
goto_modelt
Definition:
goto_model.h:27
message_handlert
Definition:
message.h:27
symbol_tablet
The symbol table.
Definition:
symbol_table.h:14
irep.h
link_to_library
void link_to_library(goto_modelt &, message_handlert &, const std::function< void(const std::set< irep_idt > &, const symbol_tablet &, symbol_tablet &, message_handlert &)> &)
Complete missing function definitions using the library.
Definition:
link_to_library.cpp:109
src
ansi-c
goto-conversion
link_to_library.h
Generated by
1.9.1