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
struct
cprover_library_entryt
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
&,
33
message_handlert
&);
34
35
void
cprover_c_library_factory
(
36
const
std::set<irep_idt> &functions,
37
symbol_tablet
&,
38
message_handlert
&);
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
ansi-c
cprover_library.h
Generated by
1.8.20