CBMC
Loading...
Searching...
No Matches
Classes | Public Member Functions | Private Attributes | List of all members
verification_resultt Struct Reference

#include <verification_result.h>

+ Collaboration diagram for verification_resultt:

Classes

 

Public Member Functions

 
 
 
 
 
void  set_result (resultt &result)
 
 
 
std::vector< std::string >  get_property_ids () const
 
std::string  get_property_description (const std::string &property_id) const
 
prop_statust  get_property_status (const std::string &property_id) const
 

Private Attributes

std::unique_ptr< verification_result_implt_impl
 

Detailed Description

Definition at line 54 of file verification_result.h.

Constructor & Destructor Documentation

◆  verification_resultt() [1/2]

verification_resultt::verification_resultt ( )

Definition at line 62 of file verification_result.cpp.

◆  verification_resultt() [2/2]

verification_resultt::verification_resultt ( const verification_resulttother )

Definition at line 71 of file verification_result.cpp.

◆  ~verification_resultt()

verification_resultt::~verification_resultt ( )

Definition at line 67 of file verification_result.cpp.

Member Function Documentation

◆  final_result()

verifier_resultt verification_resultt::final_result ( ) const

Definition at line 95 of file verification_result.cpp.

◆  get_property_description()

std::string verification_resultt::get_property_description ( const std::string &  property_id ) const

Definition at line 122 of file verification_result.cpp.

◆  get_property_ids()

std::vector< std::string > verification_resultt::get_property_ids ( ) const

Definition at line 112 of file verification_result.cpp.

◆  get_property_status()

prop_statust verification_resultt::get_property_status ( const std::string &  property_id ) const

Definition at line 132 of file verification_result.cpp.

◆  operator=() [1/2]

verification_resultt & verification_resultt::operator= ( const verification_resulttother )

Definition at line 79 of file verification_result.cpp.

◆  operator=() [2/2]

verification_resultt & verification_resultt::operator= ( verification_resultt &&  )
default

◆  set_properties()

void verification_resultt::set_properties ( propertiestproperties )

Definition at line 85 of file verification_result.cpp.

◆  set_result()

void verification_resultt::set_result ( resulttresult )

Definition at line 90 of file verification_result.cpp.

Member Data Documentation

◆  _impl

std::unique_ptr<verification_result_implt> verification_resultt::_impl
private

Definition at line 72 of file verification_result.h.


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

AltStyle によって変換されたページ (->オリジナル) /