10 #ifndef CPROVER_CPP_CPP_MEMBER_SPEC_H 11 #define CPROVER_CPP_CPP_MEMBER_SPEC_H 42 #endif // CPROVER_CPP_CPP_MEMBER_SPEC_H
void set_explicit(bool value)
bool get_bool(const irep_namet &name) const
void set_inline(bool value)
Base class for tree-like data structures with sharing.
void set_friend(bool value)
void set_virtual(bool value)