document_propertiest::doc_claimt Struct Reference

Collaboration diagram for document_propertiest::doc_claimt:

Public Attributes
std::set< irep_idt >	comment_set

Detailed Description

Definition at line 60 of file document_properties.cpp.

Member Data Documentation

comment_set

std::set<irep_idt> document_propertiest::doc_claimt::comment_set

Definition at line 62 of file document_properties.cpp.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/goto-instrument/document_properties.cpp