cprover
Loading...
Searching...
No Matches
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
class
message_handlert
;
16
17
void
remove_internal_symbols
(
18
class
symbol_tablet
&symbol_table,
19
message_handlert
&,
20
const
bool
);
21
22
#endif
// CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
message_handlert
Definition:
message.h:28
symbol_tablet
The symbol table.
Definition:
symbol_table.h:14
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:104
linking
remove_internal_symbols.h
Generated by
1.9.6