12 #ifndef CPROVER_CPP_CPP_ID_H 13 #define CPROVER_CPP_CPP_ID_H 100 void print(std::ostream &out,
unsigned indent=0)
const;
101 void print_fields(std::ostream &out,
unsigned indent=0)
const;
116 #endif // CPROVER_CPP_CPP_ID_H
void print(std::ostream &out, unsigned indent=0) const
cpp_idt & get_parent() const
void print_fields(std::ostream &out, unsigned indent=0) const
bool is_namespace() const
void set_parent(cpp_idt &_parent)
std::ostream & operator<<(std::ostream &out, const cpp_idt &cpp_id)
#define PRECONDITION(CONDITION)
irep_idt class_identifier
unsigned compound_counter
Base class for all expressions.
std::vector< cpp_idt * > scope_listt
scope_listt secondary_scopes
std::multimap< irep_idt, cpp_idt > cpp_id_mapt