28 std::cout <<
"Found a path...\n";
31 for(patht::iterator it = path.begin();
43 std::cout <<
"Accelerated it\n";
46 accelerator.
path.swap(path);
55 std::cout <<
"No more paths to accelerate!\n";
polynomial_acceleratort polynomial_accelerator
virtual bool next(patht &path)=0
virtual bool accelerate(patht &loop, path_acceleratort &accelerator)
std::list< path_nodet > patht
path_enumeratort * path_enumerator
virtual bool accelerate(path_acceleratort &accelerator)
goto_programt & goto_program
symbol_tablet & symbol_table
std::ostream & output_instruction(const class namespacet &ns, const irep_idt &identifier, std::ostream &out, instructionst::const_iterator it) const
See below.