cprover
remove_internal_symbols.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Remove symbols that are internal only
4
5
Author: Daniel Kroening
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
13
#define CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
14
15
#include <
util/message.h
>
16
17
#include <string>
18
19
void
remove_internal_symbols
(
20
class
symbol_tablet
&symbol_table,
21
message_handlert
&,
22
const
bool
);
23
24
#endif // CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
symbol_tablet
The symbol table.
Definition:
symbol_table.h:20
remove_internal_symbols
void remove_internal_symbols(class symbol_tablet &symbol_table, message_handlert &, const bool)
Removes internal symbols from a symbol table A symbol is EXPORTED if it is a.
Definition:
remove_internal_symbols.cpp:77
message_handlert
Definition:
message.h:28
message.h
linking
remove_internal_symbols.h
Generated by
1.8.20