disjunctive_polynomial_acceleration.cpp File Reference

#include "disjunctive_polynomial_acceleration.h"
#include <iostream>
#include <map>
#include <set>
#include <string>
#include <goto-programs/goto_program.h>
#include <goto-programs/remove_skip.h>
#include <util/std_code.h>
#include <util/simplify_expr.h>
#include <util/replace_expr.h>
#include <util/arith_tools.h>
#include "accelerator.h"
#include "cone_of_influence.h"
#include "polynomial_accelerator.h"
#include "scratch_program.h"
#include "util.h"

Include dependency graph for disjunctive_polynomial_acceleration.cpp:

Go to the source code of this file.

Detailed Description

Loop Acceleration

Definition in file disjunctive_polynomial_acceleration.cpp.