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.

Functions

std::string get_cprover_library_text (const std::set< irep_idt > &functions, const symbol_tablet &)
 
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 &)
 

Function Documentation

§ add_cprover_library()

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

§ add_library()

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

§ get_cprover_library_text()

std::string get_cprover_library_text ( const std::set< irep_idt > &  functions,
const symbol_tablet  
)