CBMC
Loading...
Searching...
No Matches
find_variables.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Find Variables
4
5Author: 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
21std::unordered_set<symbol_exprt, irep_hash>
22find_variables(const std::vector<exprt> &);
23
24#endif // CPROVER_CPROVER_FIND_VARIABLES_H
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...
API to expression classes.