cprover
|
Loop Acceleration. More...
Go to the source code of this file.
Functions | |
bool | linearize (symex_target_equationt &equation, linear_recurrencet &recurrence) |
Loop Acceleration.
Definition in file linearize.cpp.
bool linearize | ( | symex_target_equationt & | equation, |
linear_recurrencet & | recurrence | ||
) |
Definition at line 16 of file linearize.cpp.