Go to the documentation of this file.
12 #ifndef CPROVER_GOTO_PROGRAMS_SYSTEM_LIBRARY_SYMBOLS_H
13 #define CPROVER_GOTO_PROGRAMS_SYSTEM_LIBRARY_SYMBOLS_H
37 std::set<std::string> &out_system_headers)
const;
41 std::set<std::string> &out_system_headers)
const;
53 std::list<irep_idt> symbols);
59 #endif // CPROVER_GOTO_PROGRAMS_SYSTEM_LIBRARY_SYMBOLS_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
The type of an expression, extends irept.
void init_system_library_map()
To generate a map of header file names -> list of symbols The symbol names are reserved as the header...
Defines typet, type_with_subtypet and type_with_subtypest.
bool is_type_internal(const typet &type, std::set< std::string > &out_system_headers) const
Helper function to call is_symbol_internal_symbol on a nameless fake symbol with the given type,...
system_library_symbolst()
std::map< irep_idt, irep_idt > system_library_map
void set_use_all_headers(bool use)
bool is_symbol_internal_symbol(const symbolt &symbol, std::set< std::string > &out_system_headers) const
To find out if a symbol is an internal symbol.
void add_to_system_library(irep_idt header_file, std::list< irep_idt > symbols)
To add the symbols from a specific header file to the system library map.