cprover
|
Loop Acceleration. More...
#include <vector>
#include <goto-symex/goto_symex.h>
#include <goto-symex/symex_target_equation.h>
#include "Eigen/Eigen"
Go to the source code of this file.
Classes | |
struct | linear_recurrencet |
Functions | |
bool | linearize (symex_target_equationt &equation, linear_recurrencet &recurrence) |
Loop Acceleration.
Definition in file linearize.h.
bool linearize | ( | symex_target_equationt & | equation, |
linear_recurrencet & | recurrence | ||
) |
Definition at line 16 of file linearize.cpp.