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:

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