find_variables.cpp File Reference

Find Variables. More...

#include "find_variables.h"
#include <util/pointer_expr.h>

Include dependency graph for find_variables.cpp:

Go to the source code of this file.

Functions
static void	find_variables_rec (const exprt &src, std::unordered_set< symbol_exprt, irep_hash > &result)
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.

Detailed Description

Find Variables.

Definition in file find_variables.cpp.

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.

find_variables_rec()

static void find_variables_rec ( const exprt &  src, std::unordered_set< symbol_exprt, irep_hash > &  result  )

static

Definition at line 16 of file find_variables.cpp.