10 #ifndef CPROVER_ANSI_C_ANSI_C_SCOPE_H 11 #define CPROVER_ANSI_C_ANSI_C_SCOPE_H 15 #include <unordered_map> 44 typedef std::unordered_map<irep_idt, ansi_c_identifiert>
name_mapt;
67 void print(std::ostream &out)
const;
70 #endif // CPROVER_ANSI_C_ANSI_C_SCOPE_H
void print(std::ostream &out) const
ansi_c_id_classt id_class
unsigned compound_counter
std::ostream & operator<<(std::ostream &os, ansi_c_id_classt c)
void swap(ansi_c_scopet &scope)
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
std::unordered_map< irep_idt, ansi_c_identifiert > name_mapt