|
cprover
|
#include <path_acceleration.h>
Public Member Functions | |
| virtual bool | accelerate (patht &loop, path_acceleratort &accelerator)=0 |
Definition at line 18 of file path_acceleration.h.
|
pure virtual |
Implemented in polynomial_acceleratort.