CBMC
find_variables.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Find Variables
4 
5 Author: Daniel Kroening, dkr@amazon.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_CPROVER_FIND_VARIABLES_H
13 #define CPROVER_CPROVER_FIND_VARIABLES_H
14 
15 #include <util/std_expr.h> // IWYU pragma: keep
16 
17 #include <unordered_set>
18 
21 std::unordered_set<symbol_exprt, irep_hash>
22 find_variables(const std::vector<exprt> &);
23 
24 #endif // CPROVER_CPROVER_FIND_VARIABLES_H
find_variables
std::unordered_set< symbol_exprt, irep_hash > find_variables(const std::vector< exprt > &)
Returns the set of program variables (as identified by object_address expressions) in the given expre...
Definition: find_variables.cpp:30
std_expr.h
API to expression classes.