cprover
linearize.h File Reference

Loop Acceleration. More...

#include <vector>
#include <goto-symex/goto_symex.h>
#include <goto-symex/symex_target_equation.h>
#include "Eigen/Eigen"
Include dependency graph for linearize.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  linear_recurrencet
 

Functions

bool linearize (symex_target_equationt &equation, linear_recurrencet &recurrence)
 

Detailed Description

Loop Acceleration.

Definition in file linearize.h.

Function Documentation

◆ linearize()

bool linearize ( symex_target_equationt equation,
linear_recurrencet recurrence 
)

Definition at line 16 of file linearize.cpp.