cprover
linearize.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Loop Acceleration
4 
5 Author: Matt Lewis
6 
7 \*******************************************************************/
8 
11 
12 #include "linearize.h"
13 
15 
17 {
18 }
Generate Equation using Symbolic Execution.
bool linearize(symex_target_equationt &equation, linear_recurrencet &recurrence)
Definition: linearize.cpp:16
Loop Acceleration.