CBMC
Public Member Functions | Public Attributes | List of all members
goto_check_ct::conditiont Struct Reference
+ Collaboration diagram for goto_check_ct::conditiont:

Public Member Functions

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

Public Attributes

exprt assertion
 
std::string description
 

Detailed Description

Definition at line 162 of file goto_check_c.cpp.

Constructor & Destructor Documentation

◆ conditiont()

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

Definition at line 164 of file goto_check_c.cpp.

Member Data Documentation

◆ assertion

exprt goto_check_ct::conditiont::assertion

Definition at line 169 of file goto_check_c.cpp.

◆ description

std::string goto_check_ct::conditiont::description

Definition at line 170 of file goto_check_c.cpp.

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