cprover
|
#include <sat_path_enumerator.h>
Public Member Functions | |
sat_path_enumeratort (message_handlert &message_handler, symbol_tablet &_symbol_table, goto_functionst &_goto_functions, goto_programt &_goto_program, natural_loops_mutablet::natural_loopt &_loop, goto_programt::targett _loop_header, guard_managert &guard_manager) | |
bool | next (patht &path) |
![]() | |
virtual | ~path_enumeratort () |
Protected Types | |
typedef std::map< goto_programt::targett, exprt > | distinguish_mapt |
typedef std::map< exprt, bool > | distinguish_valuest |
Protected Member Functions | |
void | find_distinguishing_points () |
void | build_path (scratch_programt &scratch_program, patht &path) |
void | build_fixed () |
void | record_path (scratch_programt &scratch_program) |
Definition at line 33 of file sat_path_enumerator.h.
|
protected |
Definition at line 76 of file sat_path_enumerator.h.
|
protected |
Definition at line 77 of file sat_path_enumerator.h.
|
inline |
Definition at line 36 of file sat_path_enumerator.h.
|
protected |
Definition at line 212 of file sat_path_enumerator.cpp.
|
protected |
Definition at line 134 of file sat_path_enumerator.cpp.
|
protected |
Definition at line 109 of file sat_path_enumerator.cpp.
|
virtual |
Implements path_enumeratort.
Definition at line 48 of file sat_path_enumerator.cpp.
|
protected |
Definition at line 358 of file sat_path_enumerator.cpp.
|
protected |
Definition at line 86 of file sat_path_enumerator.h.
|
protected |
Definition at line 83 of file sat_path_enumerator.h.
|
protected |
Definition at line 82 of file sat_path_enumerator.h.
|
protected |
Definition at line 85 of file sat_path_enumerator.h.
|
protected |
Definition at line 71 of file sat_path_enumerator.h.
|
protected |
Definition at line 72 of file sat_path_enumerator.h.
|
protected |
Definition at line 80 of file sat_path_enumerator.h.
|
protected |
Definition at line 73 of file sat_path_enumerator.h.
|
protected |
Definition at line 81 of file sat_path_enumerator.h.
|
protected |
Definition at line 74 of file sat_path_enumerator.h.
|
protected |
Definition at line 61 of file sat_path_enumerator.h.
|
protected |
Definition at line 84 of file sat_path_enumerator.h.
|
protected |
Definition at line 70 of file sat_path_enumerator.h.
|
protected |
Definition at line 69 of file sat_path_enumerator.h.
|
protected |
Definition at line 79 of file sat_path_enumerator.h.