Loop Acceleration. More...
#include <list>#include <map>#include <set>#include <goto-programs/goto_program.h>#include <analyses/guard.h>#include <analyses/natural_loops.h>#include "polynomial.h"#include "path.h"#include "cone_of_influence.h"
Include dependency graph for acceleration_utils.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | acceleration_utilst |
| struct | acceleration_utilst::polynomial_array_assignmentt |
Typedefs | |
| typedef std::unordered_map< exprt, exprt, irep_hash > | expr_mapt |
| typedef std::list< exprt > | expr_listt |
Detailed Description
Loop Acceleration.
Definition in file acceleration_utils.h.
Typedef Documentation
◆ expr_listt
| typedef std::list<exprt> expr_listt |
Definition at line 32 of file acceleration_utils.h.
