polynomial.h File Reference

Loop Acceleration. More...

#include <vector>
#include <map>
#include <util/expr.h>

Include dependency graph for polynomial.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	monomialt
struct	monomialt::termt
class	polynomialt

Typedefs
typedef std::map< exprt, exprt >	substitutiont
typedef std::vector< polynomialt >	polynomialst

Detailed Description

Loop Acceleration.

Definition in file polynomial.h.

Typedef Documentation

polynomialst

typedef std::vector<polynomialt> polynomialst

Definition at line 63 of file polynomial.h.

substitutiont

typedef std::map<exprt, exprt> substitutiont

Definition at line 39 of file polynomial.h.