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

Public Member Functions

 loop_contract_clauset (std::string _loop_type, std::string _identifier, std::string _clause, std::string _content)
 

Public Attributes

std::string loop_type
 
std::string identifier
 
std::string clause
 
std::string content
 

Detailed Description

Definition at line 49 of file c_wrangler.cpp.

Constructor & Destructor Documentation

◆ loop_contract_clauset()

c_wranglert::loop_contract_clauset::loop_contract_clauset ( std::string  _loop_type,
std::string  _identifier,
std::string  _clause,
std::string  _content 
)
inline

Definition at line 55 of file c_wrangler.cpp.

Member Data Documentation

◆ clause

std::string c_wranglert::loop_contract_clauset::clause

Definition at line 53 of file c_wrangler.cpp.

◆ content

std::string c_wranglert::loop_contract_clauset::content

Definition at line 54 of file c_wrangler.cpp.

◆ identifier

std::string c_wranglert::loop_contract_clauset::identifier

Definition at line 52 of file c_wrangler.cpp.

◆ loop_type

std::string c_wranglert::loop_contract_clauset::loop_type

Definition at line 51 of file c_wrangler.cpp.

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