CBMC
free_symbols.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Free Symbols
4 
5 Author: Daniel Kroening, dkr@amazon.com
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_CPROVER_FREE_SYMBOLS_H
10 #define CPROVER_CPROVER_FREE_SYMBOLS_H
11 
14 
15 #include <functional>
16 
17 class exprt;
18 class symbol_exprt;
19 
20 void 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