CBMC
Loading...
Searching...
No Matches
link_to_library.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Library Linking
4
5Author: 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
20class goto_modelt;
21class message_handlert;
22class symbol_tablet;
23
24void 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
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