10 #ifndef CPROVER_UTIL_FIND_SYMBOLS_H 11 #define CPROVER_UTIL_FIND_SYMBOLS_H 14 #include <unordered_set> 36 std::set<exprt> &dest);
40 std::set<symbol_exprt> &dest);
70 #endif // CPROVER_UTIL_FIND_SYMBOLS_H The type of an expression.
void find_symbols(const exprt &src, find_symbols_sett &dest)
void find_type_symbols(const typet &src, find_symbols_sett &dest)
void find_type_and_expr_symbols(const typet &src, find_symbols_sett &dest)
Base class for all expressions.
Expression to hold a symbol (variable)
std::unordered_set< irep_idt > find_symbols_sett
bool has_symbol(const exprt &src, const find_symbols_sett &symbols)
void find_non_pointer_type_symbols(const typet &src, find_symbols_sett &dest)