cprover_library.cpp File Reference

#include "cprover_library.h"
#include <sstream>
#include <util/config.h>
#include <ansi-c/cprover_library.h>

Include dependency graph for cprover_library.cpp:

Go to the source code of this file.

Functions
static std::string	get_cprover_library_text (const std::set< irep_idt > &functions, const symbol_table_baset &symbol_table)
void	cprover_cpp_library_factory (const std::set< irep_idt > &functions, const symbol_table_baset &symbol_table, symbol_table_baset &dest_symbol_table, message_handlert &message_handler)

Function Documentation

cprover_cpp_library_factory()

void cprover_cpp_library_factory	(	const std::set< irep_idt > &	functions,
		const symbol_table_baset &	symbol_table,
		symbol_table_baset &	dest_symbol_table,
		message_handlert &	message_handler
	)

Definition at line 38 of file cprover_library.cpp.

get_cprover_library_text()

static std::string get_cprover_library_text ( const std::set< irep_idt > &  functions, const symbol_table_baset &  symbol_table  )

static

Definition at line 17 of file cprover_library.cpp.