goto_check_javat::conditiont Struct Reference

Collaboration diagram for goto_check_javat::conditiont:

Public Member Functions
	conditiont (const exprt &_assertion, const std::string &_description)

Public Attributes
exprt	assertion
std::string	description

Detailed Description

Definition at line 125 of file goto_check_java.cpp.

Constructor & Destructor Documentation

conditiont()

goto_check_javat::conditiont::conditiont ( const exprt &  _assertion, const std::string &  _description  )

inline

Definition at line 127 of file goto_check_java.cpp.

Member Data Documentation

assertion

exprt goto_check_javat::conditiont::assertion

Definition at line 132 of file goto_check_java.cpp.

description

std::string goto_check_javat::conditiont::description

Definition at line 133 of file goto_check_java.cpp.

---

The documentation for this struct was generated from the following file:

• /builddir/build/BUILD/cbmc-cbmc-5.50.0/jbmc/src/java_bytecode/goto_check_java.cpp