cprover
Loading...
Searching...
No Matches
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.