CBMC: /home/runner/work/cbmc/cbmc/src/cpp/cprover_library.h Source File

CBMC
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
16class message_handlert;
17class symbol_table_baset;
18
19void cprover_cpp_library_factory(
20 const std::set<irep_idt> &functions,
21 const symbol_table_baset &,
22 symbol_table_baset &,
23 message_handlert &);
24
25#endif // CPROVER_CPP_CPROVER_LIBRARY_H
Definition message.h:27
The symbol table base class interface.
void cprover_cpp_library_factory(const std::set< irep_idt > &functions, const symbol_table_baset &, symbol_table_baset &, message_handlert &)

AltStyle によって変換されたページ (->オリジナル) /