CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
find_macros.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9
10#ifndef CPROVER_UTIL_FIND_MACROS_H
11#define CPROVER_UTIL_FIND_MACROS_H
12
13#include <unordered_set>
14
15#include "irep.h"
16
17class exprt;
18class namespacet;
19
20typedef std::unordered_set<irep_idt> find_macros_sett;
21
22void find_macros(
23 const exprt &src,
24 const namespacet &ns,
25 find_macros_sett &dest);
26
27#endif // CPROVER_UTIL_FIND_MACROS_H
exprt
Base class for all expressions.
Definition expr.h:56
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition namespace.h:91
find_macros
void find_macros(const exprt &src, const namespacet &ns, find_macros_sett &dest)
Definition find_macros.cpp:17
find_macros_sett
std::unordered_set< irep_idt > find_macros_sett
Definition find_macros.h:20