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:

• /home/runner/work/cbmc/cbmc/src/crangler/c_wrangler.cpp