12 #ifndef CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_ENUMERATOR_H 13 #define CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_ENUMERATOR_H 31 #endif // CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_ENUMERATOR_H virtual ~path_enumeratort()
virtual bool next(patht &path)=0
std::list< path_nodet > patht
Compute natural loops in a goto_function.