cprover
Loading...
Searching...
No Matches
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 propertiestget_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: