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)
There are a large number of kinds of tree structured or tree-like data in CPROVER.
void set(const irep_namet &name, const irep_idt &value)
bool get_bool(const irep_namet &name) const