cprover
|
Go to the source code of this file.
Typedefs | |
typedef std::unordered_set< irep_idt, irep_id_hash > | 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, irep_id_hash> find_symbols_sett |
Definition at line 20 of file find_symbols.h.
void find_non_pointer_type_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 201 of file find_symbols.cpp.
References F_TYPE_NON_PTR, and find_symbols().
void find_non_pointer_type_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 194 of file find_symbols.cpp.
References F_TYPE_NON_PTR, and find_symbols().
Referenced by dump_ct::convert_compound().
void find_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 16 of file find_symbols.cpp.
References find_symbols().
Referenced by full_slicert::add_decl_dead(), acceleratet::add_dirty_checks(), concurrency_instrumentationt::collect(), preconditiont::compute_rec(), dump_ct::convert_global_variable(), find_non_pointer_type_symbols(), find_symbols(), find_type_and_expr_symbols(), find_type_symbols(), bv_refinementt::freeze_lazy_constraints(), expr2ct::get_shorthands(), concurrency_instrumentationt::instrument(), instrument_intervals(), postconditiont::is_used(), acceleration_utilst::stash_variables(), and polynomial_acceleratort::stash_variables().
void find_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest, | ||
bool | current, | ||
bool | next | ||
) |
Definition at line 23 of file find_symbols.cpp.
References find_symbols(), forall_operands, irept::get(), and irept::id().
Definition at line 65 of file find_symbols.cpp.
References find_symbols(), forall_operands, and irept::id().
void find_symbols | ( | const exprt & | src, |
std::set< symbol_exprt > & | dest | ||
) |
Definition at line 78 of file find_symbols.cpp.
References find_symbols(), forall_operands, irept::id(), and to_symbol_expr().
void find_type_and_expr_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 213 of file find_symbols.cpp.
References F_BOTH, and find_symbols().
void find_type_and_expr_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 208 of file find_symbols.cpp.
References F_BOTH, and find_symbols().
Referenced by linkingt::do_type_dependencies(), find_block_position_rec(), and get_symbols_rec().
void find_type_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 189 of file find_symbols.cpp.
References F_TYPE, and find_symbols().
void find_type_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 184 of file find_symbols.cpp.
References F_TYPE, and find_symbols().
bool has_symbol | ( | const exprt & | src, |
const find_symbols_sett & | symbols | ||
) |
Definition at line 58 of file find_symbols.cpp.
References has_symbol().