|
cprover
|
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 |
Definition at line 49 of file c_wrangler.cpp.
|
inline |
Definition at line 55 of file c_wrangler.cpp.
| std::string c_wranglert::loop_contract_clauset::clause |
Definition at line 53 of file c_wrangler.cpp.
| std::string c_wranglert::loop_contract_clauset::content |
Definition at line 54 of file c_wrangler.cpp.
| std::string c_wranglert::loop_contract_clauset::identifier |
Definition at line 52 of file c_wrangler.cpp.
| std::string c_wranglert::loop_contract_clauset::loop_type |
Definition at line 51 of file c_wrangler.cpp.