find_variables.h File Reference

Find Variables. More...

#include <util/std_expr.h>
#include <unordered_set>

Include dependency graph for find_variables.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
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 expression.

Detailed Description

Find Variables.

Definition in file find_variables.h.

Function Documentation

find_variables()

std::unordered_set< symbol_exprt, irep_hash > find_variables

(

const std::vector< exprt > &

src

)

Returns the set of program variables (as identified by object_address expressions) in the given expression.

Definition at line 30 of file find_variables.cpp.