address_taken.h File Reference

Address Taken. More...

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

Include dependency graph for address_taken.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 >	address_taken (const std::vector< exprt > &)

Detailed Description

Address Taken.

Definition in file address_taken.h.

Function Documentation

address_taken()

std::unordered_set<symbol_exprt, irep_hash> address_taken

(

const std::vector< exprt > &

src

)

Definition at line 51 of file address_taken.cpp.