12 #ifndef CPROVER_CPP_CPP_NAMESPACE_SPEC_H 13 #define CPROVER_CPP_CPP_NAMESPACE_SPEC_H 27 typedef std::vector<class cpp_itemt>
itemst;
41 return get(ID_namespace);
46 set(ID_namespace, _namespace);
51 return static_cast<cpp_namet &>(
add(ID_alias));
56 return static_cast<const cpp_namet &>(
find(ID_alias));
59 void output(std::ostream &out)
const;
63 set(ID_is_inline, value);
72 #endif // CPROVER_CPP_CPP_NAMESPACE_SPEC_H std::vector< class cpp_itemt > itemst
const cpp_namet & alias() const
bool get_bool(const irep_namet &name) const
const irep_idt & get(const irep_namet &name) const
void set_namespace(const irep_idt &_namespace)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
const irep_idt & get_namespace() const
void set_is_inline(bool value)
Base class for all expressions.
irept & add(const irep_namet &name)
void output(std::ostream &out) const
const itemst & items() const
bool get_is_inline() const
const irept & find(const irep_namet &name) const
void set(const irep_namet &name, const irep_idt &value)