Public Member Functions

Public Attributes

A pointer to the corresponding goto instruction.

std::string description

A description (usually derived from the assertion's comment)

The status of the property.

Definition at line 58 of file properties.h.

property_infot::property_infot ( goto_programt::const_targett pc,

std::string description,

property_statust status

)

Definition at line 62 of file properties.cpp.

std::string property_infot::description

A description (usually derived from the assertion's comment)

Definition at line 69 of file properties.h.

A pointer to the corresponding goto instruction.

Definition at line 66 of file properties.h.

property_statust property_infot::status

The status of the property.

Definition at line 72 of file properties.h.

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