cprover
loop_accelerationt Class Referenceabstract

#include <loop_acceleration.h>

Inheritance diagram for loop_accelerationt:
[legend]

Public Member Functions

virtual bool accelerate (path_acceleratort &accelerator)=0
 

Detailed Description

Definition at line 18 of file loop_acceleration.h.

Member Function Documentation

§ accelerate()

virtual bool loop_accelerationt::accelerate ( path_acceleratort accelerator)
pure virtual

The documentation for this class was generated from the following file: