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]
|
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
|
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
