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 <functional>
16
#include <set>
17
18
#include <
util/irep.h
>
19
20
class
goto_functionst
;
21
class
goto_modelt
;
22
class
message_handlert
;
23
class
symbol_tablet
;
24
25
void
link_to_library
(
26
symbol_tablet
&,
27
goto_functionst
&,
28
message_handlert
&,
29
const
std::function<
30
void
(
const
std::set<irep_idt> &,
symbol_tablet
&,
message_handlert
&)> &);
31
32
void
link_to_library
(
33
goto_modelt
&,
34
message_handlert
&,
35
const
std::function<
36
void
(
const
std::set<irep_idt> &,
symbol_tablet
&,
message_handlert
&)> &);
37
38
#endif // CPROVER_GOTO_PROGRAMS_LINK_TO_LIBRARY_H
symbol_tablet
The symbol table.
Definition:
symbol_table.h:19
goto_modelt
Definition:
goto_model.h:24
message_handlert
Definition:
message.h:24
goto_functionst
A collection of goto functions.
Definition:
goto_functions.h:22
link_to_library
void link_to_library(symbol_tablet &, goto_functionst &, message_handlert &, const std::function< void(const std::set< irep_idt > &, symbol_tablet &, message_handlert &)> &)
Complete missing function definitions using the library.
Definition:
link_to_library.cpp:47
irep.h
goto-programs
link_to_library.h
Generated by
1.8.17