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/irep.h
>
16
17
class
message_handlert
;
18
class
symbol_tablet
;
19
20
struct
cprover_library_entryt
21
{
22
const
char
*
function
;
23
const
char
*
model
;
24
};
25
26
std::string
get_cprover_library_text
(
27
const
std::set<irep_idt> &functions,
28
const
symbol_tablet
&,
29
const
struct
cprover_library_entryt
[],
30
const
std::string &prologue);
31
32
void
add_library
(
33
const
std::string &src,
34
symbol_tablet
&,
35
message_handlert
&);
36
37
void
cprover_c_library_factory
(
38
const
std::set<irep_idt> &functions,
39
symbol_tablet
&,
40
message_handlert
&);
41
42
#endif // CPROVER_ANSI_C_CPROVER_LIBRARY_H
symbol_tablet
The symbol table.
Definition:
symbol_table.h:14
cprover_library_entryt::model
const char * model
Definition:
cprover_library.h:23
cprover_c_library_factory
void cprover_c_library_factory(const std::set< irep_idt > &functions, symbol_tablet &, message_handlert &)
Definition:
cprover_library.cpp:80
cprover_library_entryt
Definition:
cprover_library.h:21
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:43
irep.h
add_library
void add_library(const std::string &src, symbol_tablet &, message_handlert &)
Definition:
cprover_library.cpp:95
ansi-c
cprover_library.h
Generated by
1.8.20