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

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  )

static

Definition at line 18 of file free_symbols.cpp.