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_resultt &	operator= (verification_resultt &&)
verification_resultt &	operator= (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 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_resultt &

other

)

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_resultt &

other

)

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

(

propertiest &

properties

)

Definition at line 85 of file verification_result.cpp.

set_result()

void verification_resultt::set_result

(

resultt &

result

)

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:

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