cprover
|
#include <loop_acceleration.h>
Public Member Functions | |
virtual bool | accelerate (path_acceleratort &accelerator)=0 |
Definition at line 18 of file loop_acceleration.h.
|
pure virtual |
Implemented in disjunctive_polynomial_accelerationt, and enumerating_loop_accelerationt.