10 #ifndef CPROVER_UTIL_FIND_MACROS_H 11 #define CPROVER_UTIL_FIND_MACROS_H 13 #include <unordered_set> 27 #endif // CPROVER_UTIL_FIND_MACROS_H A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
void find_macros(const exprt &src, const namespacet &ns, find_macros_sett &dest)
std::unordered_set< irep_idt > find_macros_sett
Base class for all expressions.