10#ifndef CPROVER_CPP_CPP_MEMBER_SPEC_H
11#define CPROVER_CPP_CPP_MEMBER_SPEC_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
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.
bool get_bool(const irep_idt &name) const
void set(const irep_idt &name, const irep_idt &value)