Collaboration diagram for c_wranglert::contract_clauset:

Public Member Functions
	contract_clauset (std::string _clause, std::string _content)

Detailed Description

Definition at line 44 of file c_wrangler.cpp.

Constructor & Destructor Documentation

c_wranglert::contract_clauset::contract_clauset	(	std::string	_clause,
		std::string	_content
	)

inline

Definition at line 48 of file c_wrangler.cpp.

std::string c_wranglert::contract_clauset::clause

Definition at line 46 of file c_wrangler.cpp.

std::string c_wranglert::contract_clauset::content

Definition at line 47 of file c_wrangler.cpp.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/crangler/c_wrangler.cpp