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:

• /home/runner/work/cbmc/cbmc/src/libcprover-cpp/verification_result.cpp