#include <map>#include <set>#include <util/symbol_table.h>#include <goto-programs/goto_program.h>#include "polynomial.h"#include "path.h"#include "acceleration_utils.h"#include "cone_of_influence.h"
Include dependency graph for polynomial_accelerator.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | polynomial_acceleratort |
| struct | polynomial_acceleratort::polynomial_array_assignment |
Functions | |
| expr_sett | find_modified (goto_programt::instructionst &body) |
Detailed Description
Loop Acceleration
Definition in file polynomial_accelerator.h.
Function Documentation
◆ find_modified()
| expr_sett find_modified | ( | goto_programt::instructionst & | body | ) |
