cprover
|
Public Member Functions | |
conditiont (const exprt &_assertion, const std::string &_description) | |
Public Attributes | |
exprt | assertion |
std::string | description |
Definition at line 125 of file goto_check_java.cpp.
|
inline |
Definition at line 127 of file goto_check_java.cpp.
exprt goto_check_javat::conditiont::assertion |
Definition at line 132 of file goto_check_java.cpp.
std::string goto_check_javat::conditiont::description |
Definition at line 133 of file goto_check_java.cpp.