12#ifndef CPROVER_CPP_CPP_USING_H
13#define CPROVER_CPP_CPP_USING_H
41 set(ID_namespace, value);
void set_namespace(bool value)
bool get_namespace() const
const cpp_namet & name() const
bool get_bool(const irep_idt &name) const
const irept & find(const irep_idt &name) const
irept(const irep_idt &_id)
void set(const irep_idt &name, const irep_idt &value)
irept & add(const irep_idt &name)