Functions

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.

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.

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.