api_messaget Struct Reference

Collaboration diagram for api_messaget:

Public Attributes
std::string	string
unsigned	level

Detailed Description

Definition at line 76 of file api.cpp.

Member Data Documentation

level

unsigned api_messaget::level

Definition at line 79 of file api.cpp.

string

std::string api_messaget::string

Definition at line 78 of file api.cpp.

---

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

• /home/runner/work/cbmc/cbmc/src/libcprover-cpp/api.cpp