#include "find_symbols.h"
#include "std_types.h"
#include "std_expr.h"
Go to the source code of this file.
|
void | find_symbols (const exprt &src, find_symbols_sett &dest) |
|
void | find_symbols (const exprt &src, find_symbols_sett &dest, bool current, bool next) |
|
bool | has_symbol (const exprt &src, const find_symbols_sett &symbols, bool current, bool next) |
|
bool | has_symbol (const exprt &src, const find_symbols_sett &symbols) |
|
void | find_symbols (const exprt &src, std::set< exprt > &dest) |
|
void | find_symbols (const exprt &src, std::set< symbol_exprt > &dest) |
|
void | find_symbols (kindt kind, const typet &src, find_symbols_sett &dest) |
|
void | find_symbols (kindt kind, const exprt &src, find_symbols_sett &dest) |
|
void | find_type_symbols (const exprt &src, find_symbols_sett &dest) |
|
void | find_type_symbols (const typet &src, find_symbols_sett &dest) |
|
void | find_non_pointer_type_symbols (const exprt &src, find_symbols_sett &dest) |
|
void | find_non_pointer_type_symbols (const typet &src, find_symbols_sett &dest) |
|
void | find_type_and_expr_symbols (const exprt &src, find_symbols_sett &dest) |
|
void | find_type_and_expr_symbols (const typet &src, find_symbols_sett &dest) |
|
◆ kindt
Enumerator |
---|
F_TYPE | |
F_TYPE_NON_PTR | |
F_EXPR | |
F_BOTH | |
Definition at line 14 of file find_symbols.cpp.
◆ find_non_pointer_type_symbols() [1/2]
◆ find_non_pointer_type_symbols() [2/2]
◆ find_symbols() [1/6]
◆ find_symbols() [2/6]
◆ find_symbols() [3/6]
void find_symbols |
( |
const exprt & |
src, |
|
|
std::set< exprt > & |
dest |
|
) |
| |
◆ find_symbols() [4/6]
◆ find_symbols() [5/6]
◆ find_symbols() [6/6]
◆ find_type_and_expr_symbols() [1/2]
◆ find_type_and_expr_symbols() [2/2]
◆ find_type_symbols() [1/2]
◆ find_type_symbols() [2/2]
◆ has_symbol() [1/2]
◆ has_symbol() [2/2]