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

Public Member Functions

 function_contract_clauset (std::string _clause, std::string _content)
 

Public Attributes

std::string clause
 
std::string content
 

Detailed Description

Definition at line 39 of file c_wrangler.cpp.

Constructor & Destructor Documentation

◆ function_contract_clauset()

c_wranglert::function_contract_clauset::function_contract_clauset ( std::string  _clause,
std::string  _content 
)
inline

Definition at line 43 of file c_wrangler.cpp.

Member Data Documentation

◆ clause

std::string c_wranglert::function_contract_clauset::clause

Definition at line 41 of file c_wrangler.cpp.

◆ content

std::string c_wranglert::function_contract_clauset::content

Definition at line 42 of file c_wrangler.cpp.

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