cprover
path_searcht Member List
This is the complete list of members for
path_searcht
, including all inherited members.
branch_bound
path_searcht
protected
check_assertion
(statet &state)
path_searcht
protected
context_bound
path_searcht
protected
debug
()
messaget
inline
depth_limit
path_searcht
protected
do_show_vcc
(statet &state)
path_searcht
protected
drop_state
(const statet &state)
path_searcht
protected
eager_infeasibility
path_searcht
endl
(mstreamt &m)
messaget
inline
static
eom
(mstreamt &m)
messaget
inline
static
error
()
messaget
inline
error_trace
safety_checkert
execute
(queuet::iterator state)
path_searcht
protected
FAILURE
enum value
path_searcht
get_message_handler
()
messaget
inline
get_mstream
(unsigned message_level)
messaget
inline
initialize_property_map
(const goto_functionst &goto_functions)
path_searcht
protected
is_feasible
(statet &state)
path_searcht
protected
last_source_location
path_searcht
protected
loc_data
path_searcht
protected
M_DEBUG
enum value
messaget
M_ERROR
enum value
messaget
M_PROGRESS
enum value
messaget
M_RESULT
enum value
messaget
M_STATISTICS
enum value
messaget
M_STATUS
enum value
messaget
M_WARNING
enum value
messaget
message_handler
messaget
protected
message_levelt
enum name
messaget
messaget
()
messaget
inline
messaget
(const messaget &other)
messaget
inline
messaget
(message_handlert &_message_handler)
messaget
inline
explicit
mstream
messaget
protected
NOT_REACHED
enum value
path_searcht
ns
safety_checkert
protected
number_of_dropped_states
path_searcht
number_of_failed_properties
path_searcht
number_of_feasible_paths
path_searcht
number_of_infeasible_paths
path_searcht
number_of_locs
path_searcht
number_of_paths
path_searcht
number_of_steps
path_searcht
number_of_VCCs
path_searcht
number_of_VCCs_after_simplification
path_searcht
operator()
(const goto_functionst &goto_functions)
path_searcht
virtual
path_searcht
(const namespacet &_ns)
path_searcht
inline
explicit
pick_state
()
path_searcht
protected
progress
()
messaget
inline
property_map
path_searcht
property_mapt
typedef
path_searcht
queue
path_searcht
protected
queuet
typedef
path_searcht
protected
report_statistics
()
path_searcht
protected
result
()
messaget
inline
resultt
enum name
safety_checkert
safety_checkert
(const namespacet &_ns)
safety_checkert
explicit
safety_checkert
(const namespacet &_ns, message_handlert &_message_handler)
safety_checkert
explicit
sat_time
path_searcht
search_heuristic
path_searcht
protected
search_heuristict
enum name
path_searcht
protected
set_bfs
()
path_searcht
inline
set_branch_bound
(int limit)
path_searcht
inline
set_context_bound
(int limit)
path_searcht
inline
set_depth_limit
(int limit)
path_searcht
inline
set_dfs
()
path_searcht
inline
set_locs
()
path_searcht
inline
set_message_handler
(message_handlert &_message_handler)
messaget
inline
virtual
set_time_limit
(int limit)
path_searcht
inline
set_unwind_limit
(int limit)
path_searcht
inline
show_vcc
path_searcht
start_time
path_searcht
statet
typedef
path_searcht
protected
statistics
()
messaget
inline
status
()
messaget
inline
statust
enum name
path_searcht
SUCCESS
enum value
path_searcht
time_limit
path_searcht
protected
unwind_limit
path_searcht
protected
warning
()
messaget
inline
~messaget
()
messaget
virtual
Generated by
1.8.14