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

Public Member Functions

 loop_invariantt (std::string _loop_type, std::string _identifier, std::string _content)
 

Public Attributes

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

Detailed Description

Definition at line 54 of file c_wrangler.cpp.

Constructor & Destructor Documentation

◆ loop_invariantt()

c_wranglert::loop_invariantt::loop_invariantt ( std::string  _loop_type,
std::string  _identifier,
std::string  _content 
)
inline

Definition at line 59 of file c_wrangler.cpp.

Member Data Documentation

◆ content

std::string c_wranglert::loop_invariantt::content

Definition at line 58 of file c_wrangler.cpp.

◆ identifier

std::string c_wranglert::loop_invariantt::identifier

Definition at line 57 of file c_wrangler.cpp.

◆ loop_type

std::string c_wranglert::loop_invariantt::loop_type

Definition at line 56 of file c_wrangler.cpp.

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