cprover
path_searcht::property_entryt Struct Reference

#include <path_search.h>

Collaboration diagram for path_searcht::property_entryt:
[legend]

Public Member Functions

bool is_success () const
 
bool is_failure () const
 
bool is_not_reached () const
 

Public Attributes

statust status
 
irep_idt description
 
goto_tracet error_trace
 
source_locationt source_location
 

Detailed Description

Definition at line 86 of file path_search.h.

Member Function Documentation

◆ is_failure()

bool path_searcht::property_entryt::is_failure ( ) const
inline

Definition at line 94 of file path_search.h.

References path_searcht::FAILURE, and status.

◆ is_not_reached()

bool path_searcht::property_entryt::is_not_reached ( ) const
inline

Definition at line 95 of file path_search.h.

References path_searcht::NOT_REACHED, and status.

◆ is_success()

bool path_searcht::property_entryt::is_success ( ) const
inline

Definition at line 93 of file path_search.h.

References status, and path_searcht::SUCCESS.

Member Data Documentation

◆ description

irep_idt path_searcht::property_entryt::description

Definition at line 89 of file path_search.h.

Referenced by path_searcht::initialize_property_map().

◆ error_trace

goto_tracet path_searcht::property_entryt::error_trace

Definition at line 90 of file path_search.h.

Referenced by path_searcht::check_assertion().

◆ source_location

source_locationt path_searcht::property_entryt::source_location

Definition at line 91 of file path_search.h.

Referenced by path_searcht::initialize_property_map().

◆ status

statust path_searcht::property_entryt::status

The documentation for this struct was generated from the following file: