cprover
loop_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_LOOP_ACCELERATION_H
13
#define CPROVER_GOTO_INSTRUMENT_ACCELERATE_LOOP_ACCELERATION_H
14
15
#include "
path.h
"
16
#include "
accelerator.h
"
17
18
class
loop_accelerationt
19
{
20
public
:
21
virtual
bool
accelerate
(
path_acceleratort
&accelerator) = 0;
22
};
23
24
#endif // CPROVER_GOTO_INSTRUMENT_ACCELERATE_LOOP_ACCELERATION_H
path_acceleratort
Definition:
accelerator.h:26
loop_accelerationt
Definition:
loop_acceleration.h:18
path.h
Loop Acceleration.
accelerator.h
Loop Acceleration.
loop_accelerationt::accelerate
virtual bool accelerate(path_acceleratort &accelerator)=0
goto-instrument
accelerate
loop_acceleration.h
Generated by
1.8.14