12#ifndef CPROVER_CPP_CPP_NAMESPACE_SPEC_H
13#define CPROVER_CPP_CPP_NAMESPACE_SPEC_H
27 typedef std::vector<class cpp_itemt>
itemst;
59 void output(std::ostream &out)
const;
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
bool get_is_inline() const
const cpp_namet & alias() const
std::vector< class cpp_itemt > itemst
const itemst & items() const
void output(std::ostream &out) const
void set_namespace(const irep_idt &_namespace)
void set_is_inline(bool value)
const irep_idt & get_namespace() const
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Base class for all expressions.
bool get_bool(const irep_idt &name) const
const irept & find(const irep_idt &name) const
const irep_idt & get(const irep_idt &name) const
void set(const irep_idt &name, const irep_idt &value)
irept & add(const irep_idt &name)