cprover
|
Go to the source code of this file.
Typedefs | |
typedef std::unordered_set< irep_idt > | find_symbols_sett |
Functions | |
void | find_symbols (const exprt &src, find_symbols_sett &dest) |
void | find_symbols (const exprt &src, find_symbols_sett &dest, bool current, bool next) |
void | find_symbols (const exprt &src, std::set< exprt > &dest) |
void | find_symbols (const exprt &src, std::set< symbol_exprt > &dest) |
bool | has_symbol (const exprt &src, const find_symbols_sett &symbols) |
void | find_type_symbols (const typet &src, find_symbols_sett &dest) |
void | find_type_symbols (const exprt &src, find_symbols_sett &dest) |
void | find_non_pointer_type_symbols (const typet &src, find_symbols_sett &dest) |
void | find_non_pointer_type_symbols (const exprt &src, find_symbols_sett &dest) |
void | find_type_and_expr_symbols (const typet &src, find_symbols_sett &dest) |
void | find_type_and_expr_symbols (const exprt &src, find_symbols_sett &dest) |
typedef std::unordered_set<irep_idt> find_symbols_sett |
Definition at line 20 of file find_symbols.h.
void find_non_pointer_type_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 190 of file find_symbols.cpp.
void find_non_pointer_type_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 197 of file find_symbols.cpp.
void find_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 16 of file find_symbols.cpp.
void find_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest, | ||
bool | current, | ||
bool | next | ||
) |
Definition at line 23 of file find_symbols.cpp.
Definition at line 67 of file find_symbols.cpp.
void find_symbols | ( | const exprt & | src, |
std::set< symbol_exprt > & | dest | ||
) |
Definition at line 80 of file find_symbols.cpp.
void find_type_and_expr_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 204 of file find_symbols.cpp.
void find_type_and_expr_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 209 of file find_symbols.cpp.
void find_type_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 180 of file find_symbols.cpp.
void find_type_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 185 of file find_symbols.cpp.
bool has_symbol | ( | const exprt & | src, |
const find_symbols_sett & | symbols | ||
) |
Definition at line 60 of file find_symbols.cpp.