16#include <unordered_set>
19 const std::unordered_set<symbol_exprt, irep_hash> &
bound_symbols,
48 for(
const auto &v :
let_expr.values())
53 for(
const auto &s :
let_expr.variables())
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Base class for all expressions.
const irep_idt & id() const
Expression to hold a symbol (variable)
static void free_symbols_rec(const std::unordered_set< symbol_exprt, irep_hash > &bound_symbols, const exprt &src, const std::function< void(const symbol_exprt &)> &f)
void free_symbols(const exprt &expr, const std::function< void(const symbol_exprt &)> &f)
API to expression classes.
const let_exprt & to_let_expr(const exprt &expr)
Cast an exprt to a let_exprt.
const binding_exprt & to_binding_expr(const exprt &expr)
Cast an exprt to a binding_exprt.
const symbol_exprt & to_symbol_expr(const exprt &expr)
Cast an exprt to a symbol_exprt.