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
void find_macros(const exprt &src, const namespacet &ns, find_macros_sett &dest)
Base class for all expressions.
std::unordered_set< irep_idt, irep_id_hash > find_macros_sett