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.