12 #ifndef CPROVER_GOTO_INSTRUMENT_ACCELERATE_ALL_PATHS_ENUMERATOR_H 13 #define CPROVER_GOTO_INSTRUMENT_ACCELERATE_ALL_PATHS_ENUMERATOR_H 50 #endif // CPROVER_GOTO_INSTRUMENT_ACCELERATE_ALL_PATHS_ENUMERATOR_H std::set< goto_programt::targett > natural_loopt
void extend_path(patht &path, goto_programt::targett t, int succ)
goto_programt::targett loop_header
goto_programt & goto_program
instructionst::iterator targett
natural_loops_mutablet::natural_loopt & loop
std::list< path_nodet > patht
A generic container class for the GOTO intermediate representation of one function.
bool is_looping(patht &path)
int backtrack(patht &path)
void complete_path(patht &path, int succ)
Compute natural loops in a goto_function.
all_paths_enumeratort(goto_programt &_goto_program, natural_loops_mutablet::natural_loopt &_loop, goto_programt::targett _loop_header)
virtual bool next(patht &path)