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.