cprover
cprover_library.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_ANSI_C_CPROVER_LIBRARY_H
11 #define CPROVER_ANSI_C_CPROVER_LIBRARY_H
12 
13 #include <set>
14 
15 #include <util/symbol_table.h>
16 #include <util/message.h>
17 
19 {
20  const char *function;
21  const char *model;
22 };
23 
24 std::string get_cprover_library_text(
25  const std::set<irep_idt> &functions,
26  const symbol_tablet &,
27  const struct cprover_library_entryt[],
28  const std::string &prologue);
29 
30 void add_library(
31  const std::string &src,
32  symbol_tablet &,
34 
36  const std::set<irep_idt> &functions,
37  symbol_tablet &,
39 
40 #endif // CPROVER_ANSI_C_CPROVER_LIBRARY_H
symbol_tablet
The symbol table.
Definition: symbol_table.h:20
cprover_library_entryt::model
const char * model
Definition: cprover_library.h:21
cprover_c_library_factory
void cprover_c_library_factory(const std::set< irep_idt > &functions, symbol_tablet &, message_handlert &)
Definition: cprover_library.cpp:79
cprover_library_entryt
Definition: cprover_library.h:19
message_handlert
Definition: message.h:28
get_cprover_library_text
std::string get_cprover_library_text(const std::set< irep_idt > &functions, const symbol_tablet &, const struct cprover_library_entryt[], const std::string &prologue)
Definition: cprover_library.cpp:42
symbol_table.h
Author: Diffblue Ltd.
message.h
add_library
void add_library(const std::string &src, symbol_tablet &, message_handlert &)
Definition: cprover_library.cpp:94