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 
18 std::string get_cprover_library_text(
19  const std::set<irep_idt> &functions,
20  const symbol_tablet &);
21 
22 void add_library(
23  const std::string &src,
24  symbol_tablet &,
26 
28  const std::set<irep_idt> &functions,
29  symbol_tablet &,
31 
32 #endif // CPROVER_ANSI_C_CPROVER_LIBRARY_H
void add_library(const std::string &src, symbol_tablet &, message_handlert &)
void add_cprover_library(const std::set< irep_idt > &functions, symbol_tablet &, message_handlert &)
The symbol table.
Definition: symbol_table.h:52
Symbol table.
std::string get_cprover_library_text(const std::set< irep_idt > &functions, const symbol_tablet &)