cprover
Loading...
Searching...
No Matches
cprover_library.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Michael Tautschnig
6
7\*******************************************************************/
8
9#ifndef CPROVER_CPP_CPROVER_LIBRARY_H
10#define CPROVER_CPP_CPROVER_LIBRARY_H
11
12#include <set>
13
14#include <util/irep.h>
15
17class symbol_tablet;
18
20 const std::set<irep_idt> &functions,
23
24#endif // CPROVER_CPP_CPROVER_LIBRARY_H
The symbol table.
Definition: symbol_table.h:14
void cprover_cpp_library_factory(const std::set< irep_idt > &functions, symbol_tablet &, message_handlert &)