42 std::cout <<
"Enumerating next path...\n";
79 for(
const auto &succ : succs)
87 if((ret+1)<succs.size())
92 std::cout <<
"Backtracked to a path of size " << path.size() <<
'\n';
141 for(goto_programt::targetst::iterator it=t->targets.begin();
142 it != t->targets.end();
158 return path.size()>1 && path.back().loc==
loop_header;
void extend_path(patht &path, goto_programt::targett t, int succ)
goto_programt::targett loop_header
std::list< Target > get_successors(Target target) const
goto_programt & goto_program
The boolean constant true.
natural_loops_mutablet::natural_loopt & loop
std::list< path_nodet > patht
bool is_looping(patht &path)
int backtrack(patht &path)
Base class for all expressions.
void complete_path(patht &path, int succ)
goto_programt::targett loc
virtual bool next(patht &path)
instructionst::iterator targett