CBMC
address_taken.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Address Taken
4
5
Author: Daniel Kroening, dkr@amazon.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_CPROVER_ADDRESS_TAKEN_H
13
#define CPROVER_CPROVER_ADDRESS_TAKEN_H
14
15
#include <
util/std_expr.h
>
// IWYU pragma: keep
16
17
#include <unordered_set>
18
19
std::unordered_set<symbol_exprt, irep_hash>
20
address_taken
(
const
std::vector<exprt> &);
21
22
#endif
// CPROVER_CPROVER_ADDRESS_TAKEN_H
address_taken
std::unordered_set< symbol_exprt, irep_hash > address_taken(const std::vector< exprt > &)
Definition:
address_taken.cpp:51
std_expr.h
API to expression classes.
src
cprover
address_taken.h
Generated by
1.9.1