cprover
|
#include <path.h>
Public Member Functions | |
path_nodet (const goto_programt::targett &_loc) | |
path_nodet (const goto_programt::targett &_loc, const exprt &_guard) | |
void | output (const goto_programt &program, std::ostream &str) |
Public Attributes | |
goto_programt::targett | loc |
const exprt | guard |
|
inlineexplicit |
|
inline |
void path_nodet::output | ( | const goto_programt & | program, |
std::ostream & | str | ||
) |
Referenced by path_nodet().
goto_programt::targett path_nodet::loc |
Definition at line 41 of file path.h.
Referenced by all_paths_enumeratort::backtrack(), and all_paths_enumeratort::complete_path().