cprover
|
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 |
Definition at line 54 of file c_wrangler.cpp.
|
inline |
Definition at line 59 of file c_wrangler.cpp.
std::string c_wranglert::loop_invariantt::content |
Definition at line 58 of file c_wrangler.cpp.
std::string c_wranglert::loop_invariantt::identifier |
Definition at line 57 of file c_wrangler.cpp.
std::string c_wranglert::loop_invariantt::loop_type |
Definition at line 56 of file c_wrangler.cpp.