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
18
class
path_accelerationt
19
{
20
public
:
21
virtual
bool
accelerate
(
patht
&loop,
path_acceleratort
&accelerator) = 0;
22
};
23
24
#endif // CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_ACCELERATION_H
path_acceleratort
Definition:
accelerator.h:26
patht
std::list< path_nodet > patht
Definition:
path.h:45
path.h
Loop Acceleration.
accelerator.h
Loop Acceleration.
path_accelerationt::accelerate
virtual bool accelerate(patht &loop, path_acceleratort &accelerator)=0
path_accelerationt
Definition:
path_acceleration.h:18
goto-instrument
accelerate
path_acceleration.h
Generated by
1.8.12