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
14
#include <
goto-symex/symex_target_equation.h
>
15
16
bool
linearize
(
symex_target_equationt
&equation,
linear_recurrencet
&recurrence)
17
{
18
}
symex_target_equation.h
Generate Equation using Symbolic Execution.
symex_target_equationt
Definition:
symex_target_equation.h:31
linear_recurrencet
Definition:
linearize.h:31
linearize
bool linearize(symex_target_equationt &equation, linear_recurrencet &recurrence)
Definition:
linearize.cpp:16
linearize.h
Loop Acceleration.
goto-instrument
accelerate
linearize.cpp
Generated by
1.8.14