#include <set>
#include <util/irep.h>

Include dependency graph for cprover_library.h:

This graph shows which files directly or indirectly include this file:

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

Function Documentation

◆ cprover_cpp_library_factory()

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

Definition at line 38 of file cprover_library.cpp.