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";
std::unique_ptr< path_enumeratort > path_enumerator
polynomial_acceleratort polynomial_accelerator
bool accelerate(patht &loop, path_acceleratort &accelerator)
std::list< path_nodet > patht
bool accelerate(path_acceleratort &accelerator)
goto_programt & goto_program
symbol_tablet & symbol_table
std::ostream & output_instruction(const namespacet &ns, const irep_idt &identifier, std::ostream &out, const instructionst::value_type &it) const
Output a single instruction.