cprover
cprover_library.h File Reference
#include <set>
#include <util/symbol_table.h>
#include <util/message.h>
+ Include dependency graph for cprover_library.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  cprover_library_entryt
 

Functions

std::string get_cprover_library_text (const std::set< irep_idt > &functions, const symbol_tablet &, const struct cprover_library_entryt[], const std::string &prologue)
 
void add_library (const std::string &src, symbol_tablet &, message_handlert &)
 
void cprover_c_library_factory (const std::set< irep_idt > &functions, symbol_tablet &, message_handlert &)
 

Function Documentation

◆ add_library()

void add_library ( const std::string &  src,
symbol_tablet ,
message_handlert  
)

Definition at line 94 of file cprover_library.cpp.

◆ cprover_c_library_factory()

void cprover_c_library_factory ( const std::set< irep_idt > &  functions,
symbol_tablet ,
message_handlert  
)

Definition at line 79 of file cprover_library.cpp.

◆ 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 at line 42 of file cprover_library.cpp.