cprover
|
Public Member Functions | |
conditiont (const exprt &_assertion, const std::string &_description) | |
Public Attributes | |
exprt | assertion |
std::string | description |
Definition at line 90 of file goto_check.cpp.
|
inline |
Definition at line 92 of file goto_check.cpp.
exprt goto_checkt::conditiont::assertion |
Definition at line 97 of file goto_check.cpp.
std::string goto_checkt::conditiont::description |
Definition at line 98 of file goto_check.cpp.