CBMC
Public Member Functions | Public Attributes | List of all members
c_wranglert::assertiont Struct Reference
+ Collaboration diagram for c_wranglert::assertiont:

Public Member Functions

 assertiont (std::string _identifier, std::string _content)
 

Public Attributes

std::string identifier
 
std::string content
 

Detailed Description

Definition at line 68 of file c_wrangler.cpp.

Constructor & Destructor Documentation

◆ assertiont()

c_wranglert::assertiont::assertiont ( std::string  _identifier,
std::string  _content 
)
inline

Definition at line 72 of file c_wrangler.cpp.

Member Data Documentation

◆ content

std::string c_wranglert::assertiont::content

Definition at line 71 of file c_wrangler.cpp.

◆ identifier

std::string c_wranglert::assertiont::identifier

Definition at line 70 of file c_wrangler.cpp.

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