Loading...

Searching...

No Matches

Classes | Public Member Functions | Private Attributes | List of all members

verification_resultt Struct Reference

#include <verification_result.h>

+ Collaboration diagram for verification_resultt:

[フレーム]

[legend]

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