cprover
|
#include <path_search.h>
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 |
Definition at line 86 of file path_search.h.
|
inline |
Definition at line 94 of file path_search.h.
References path_searcht::FAILURE, and status.
|
inline |
Definition at line 95 of file path_search.h.
References path_searcht::NOT_REACHED, and status.
|
inline |
Definition at line 93 of file path_search.h.
References status, and path_searcht::SUCCESS.
irep_idt path_searcht::property_entryt::description |
Definition at line 89 of file path_search.h.
Referenced by path_searcht::initialize_property_map().
goto_tracet path_searcht::property_entryt::error_trace |
Definition at line 90 of file path_search.h.
Referenced by path_searcht::check_assertion().
source_locationt path_searcht::property_entryt::source_location |
Definition at line 91 of file path_search.h.
Referenced by path_searcht::initialize_property_map().
statust path_searcht::property_entryt::status |
Definition at line 88 of file path_search.h.
Referenced by path_searcht::check_assertion(), path_searcht::initialize_property_map(), is_failure(), is_not_reached(), and is_success().