CBMC
Loading...
Searching...
No Matches
free_symbols.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Free Symbols
4
5Author: Daniel Kroening, [email protected]
6
7\*******************************************************************/
8
9#ifndef CPROVER_CPROVER_FREE_SYMBOLS_H
10#define CPROVER_CPROVER_FREE_SYMBOLS_H
11
14
15#include <functional>
16
17class exprt;
18class symbol_exprt;
19
20void free_symbols(
21 const exprt &,
22 const std::function<void(const symbol_exprt &)> &);
23
24#endif // CPROVER_CPROVER_FREE_SYMBOLS_H
exprt
Base class for all expressions.
Definition expr.h:56
symbol_exprt
Expression to hold a symbol (variable)
Definition std_expr.h:131
free_symbols
void free_symbols(const exprt &, const std::function< void(const symbol_exprt &)> &)
Definition free_symbols.cpp:65