CBMC
Public Member Functions | Private Attributes | List of all members
verification_resultt::verification_result_implt Class Reference
+ Collaboration diagram for verification_resultt::verification_result_implt:

Public Member Functions

 verification_result_implt ()=default
 
 verification_result_implt (const verification_result_implt &other)=default
 
 ~verification_result_implt ()=default
 
void set_properties (propertiest &properties)
 
void set_result (resultt &verification_result)
 
resultt get_result ()
 
const propertiest & get_properties ()
 

Private Attributes

propertiest _properties
 
resultt _verifier_result
 

Detailed Description

Definition at line 18 of file verification_result.cpp.

Constructor & Destructor Documentation

◆ verification_result_implt() [1/2]

verification_resultt::verification_result_implt::verification_result_implt ( )
default

◆ verification_result_implt() [2/2]

verification_resultt::verification_result_implt::verification_result_implt ( const verification_result_implt &  other)
default

◆ ~verification_result_implt()

verification_resultt::verification_result_implt::~verification_result_implt ( )
default

Member Function Documentation

◆ get_properties()

const propertiest & verification_resultt::verification_result_implt::get_properties ( )

Definition at line 55 of file verification_result.cpp.

◆ get_result()

resultt verification_resultt::verification_result_implt::get_result ( )

Definition at line 49 of file verification_result.cpp.

◆ set_properties()

void verification_resultt::verification_result_implt::set_properties ( propertiest &  properties)

Definition at line 37 of file verification_result.cpp.

◆ set_result()

void verification_resultt::verification_result_implt::set_result ( resultt &  verification_result)

Definition at line 43 of file verification_result.cpp.

Member Data Documentation

◆ _properties

propertiest verification_resultt::verification_result_implt::_properties
private

Definition at line 20 of file verification_result.cpp.

◆ _verifier_result

resultt verification_resultt::verification_result_implt::_verifier_result
private

Definition at line 21 of file verification_result.cpp.

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