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.
