free_symbols.h File Reference

Free Symbols. More...

#include <functional>

Include dependency graph for free_symbols.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

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

Detailed Description

Free Symbols.

Definition in file free_symbols.h.

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.