cprover
Loading...
Searching...
No Matches
free_symbols.cpp File Reference
#include "free_symbols.h"
#include <util/std_expr.h>
#include <unordered_set>
Include dependency graph for free_symbols.cpp:

Go to the source code of this file.

Functions

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)

Function Documentation

◆ free_symbols()

void free_symbols ( const exprt & expr,
const std::function< void(const symbol_exprt &)> & f )

Definition at line 65 of file free_symbols.cpp.

◆ free_symbols_rec()

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 )
static

Definition at line 18 of file free_symbols.cpp.