cprover
Loading...
Searching...
No Matches
verification_resultt Struct Reference

#include <verification_result.h>

+ Collaboration diagram for verification_resultt:

Classes

class  verification_result_implt
 

Public Member Functions

 verification_resultt ()
 
 verification_resultt (const verification_resultt &other)
 
 ~verification_resultt ()
 
verification_resulttoperator= (verification_resultt &&)
 
verification_resulttoperator= (const verification_resultt &other)
 
void set_result (resultt &result)
 
void set_properties (propertiest &properties)
 
verifier_resultt final_result () const
 
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 62 of file verification_result.h.

Constructor & Destructor Documentation

◆ verification_resultt() [1/2]

verification_resultt::verification_resultt ( )

Definition at line 63 of file verification_result.cpp.

◆ verification_resultt() [2/2]

verification_resultt::verification_resultt ( const verification_resultt & other)

Definition at line 72 of file verification_result.cpp.

◆ ~verification_resultt()

verification_resultt::~verification_resultt ( )

Definition at line 68 of file verification_result.cpp.

Member Function Documentation

◆ final_result()

verifier_resultt verification_resultt::final_result ( ) const

Definition at line 96 of file verification_result.cpp.

◆ get_property_description()

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

Definition at line 123 of file verification_result.cpp.

◆ get_property_ids()

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

Definition at line 113 of file verification_result.cpp.

◆ get_property_status()

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

Definition at line 133 of file verification_result.cpp.

◆ operator=() [1/2]

verification_resultt & verification_resultt::operator= ( const verification_resultt & other)

Definition at line 80 of file verification_result.cpp.

◆ operator=() [2/2]

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

◆ set_properties()

void verification_resultt::set_properties ( propertiest & properties)

Definition at line 86 of file verification_result.cpp.

◆ set_result()

void verification_resultt::set_result ( resultt & result)

Definition at line 91 of file verification_result.cpp.

Member Data Documentation

◆ _impl

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

Definition at line 80 of file verification_result.h.


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