CBMC
|
Address Taken. More...
Go to the source code of this file.
Functions | |
std::unordered_set< symbol_exprt, irep_hash > | address_taken (const std::vector< exprt > &) |
Address Taken.
Definition in file address_taken.h.
std::unordered_set<symbol_exprt, irep_hash> address_taken | ( | const std::vector< exprt > & | src | ) |
Definition at line 51 of file address_taken.cpp.