Go to the documentation of this file.
10 #ifndef CPROVER_UTIL_FIND_SYMBOLS_H
11 #define CPROVER_UTIL_FIND_SYMBOLS_H
15 #include <unordered_set>
32 template <
typename iteratort>
36 std::is_base_of<exprt, typename iteratort::value_type>::value,
37 "find_symbols takes exprt iterators as arguments");
98 #endif // CPROVER_UTIL_FIND_SYMBOLS_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
std::unordered_set< irep_idt > find_symbol_identifiers(const exprt &src)
Find identifiers of the sub expressions with id ID_symbol.
The type of an expression, extends irept.
void find_symbols_or_nexts(const exprt &src, find_symbols_sett &dest)
Add to the set dest the sub-expressions of src with id ID_symbol or ID_next_symbol.
Base class for all expressions.
Expression to hold a symbol (variable)
#define SINCE(year, month, day, msg)
void find_type_symbols(const typet &src, find_symbols_sett &dest)
std::unordered_set< irep_idt > find_symbols_sett
void find_type_and_expr_symbols(const typet &src, find_symbols_sett &dest)
void set(const irep_namet &name, const irep_idt &value)
void find_symbols(const exprt &src, find_symbols_sett &dest, bool current, bool next)
Add to the set dest the sub-expressions of src with id ID_symbol if current is true,...
bool has_symbol(const exprt &src, const find_symbols_sett &symbols)
void find_non_pointer_type_symbols(const typet &src, find_symbols_sett &dest)