10#ifndef CPROVER_CPP_CPP_MEMBER_SPEC_H
11#define CPROVER_CPP_CPP_MEMBER_SPEC_H
void set_inline(bool value)
void set_virtual(bool value)
void set_friend(bool value)
void set_explicit(bool value)
bool get_bool(const irep_idt &name) const
irept(const irep_idt &_id)
void set(const irep_idt &name, const irep_idt &value)