10 #ifndef CPROVER_ANSI_C_CPROVER_LIBRARY_H
11 #define CPROVER_ANSI_C_CPROVER_LIBRARY_H
25 const std::set<irep_idt> &functions,
28 const std::string &prologue);
31 const std::string &src,
36 const std::set<irep_idt> &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 &)