cprover
|
Public Member Functions | |
conditiont (const exprt &_assertion, const std::string &_description) | |
Public Attributes | |
exprt | assertion |
std::string | description |
Definition at line 159 of file goto_check.cpp.
|
inline |
Definition at line 161 of file goto_check.cpp.
exprt goto_checkt::conditiont::assertion |
Definition at line 166 of file goto_check.cpp.
std::string goto_checkt::conditiont::description |
Definition at line 167 of file goto_check.cpp.