cprover
path_acceleration.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Loop Acceleration
4 
5 Author: Matt Lewis
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_ACCELERATION_H
13 #define CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_ACCELERATION_H
14 
15 #include "path.h"
16 #include "accelerator.h"
17 
19 {
20  public:
21  virtual bool accelerate(patht &loop, path_acceleratort &accelerator) = 0;
22 };
23 
24 #endif // CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_ACCELERATION_H
std::list< path_nodet > patht
Definition: path.h:45
Loop Acceleration.
Loop Acceleration.
virtual bool accelerate(patht &loop, path_acceleratort &accelerator)=0