12 #ifndef CPROVER_CPP_CPP_USING_H 13 #define CPROVER_CPP_CPP_USING_H 41 set(ID_namespace, value);
45 #endif // CPROVER_CPP_CPP_USING_H const cpp_namet & name() const
void set_namespace(bool value)
bool get_bool(const irep_namet &name) const
Base class for tree-like data structures with sharing.
bool get_namespace() const
irept & add(const irep_namet &name)
const irept & find(const irep_namet &name) const
void set(const irep_namet &name, const irep_idt &value)