cprover
path_accelerationt Class Referenceabstract

#include <path_acceleration.h>

Inheritance diagram for path_accelerationt:
[legend]

Public Member Functions

virtual bool accelerate (patht &loop, path_acceleratort &accelerator)=0
 

Detailed Description

Definition at line 18 of file path_acceleration.h.

Member Function Documentation

◆ accelerate()

virtual bool path_accelerationt::accelerate ( patht loop,
path_acceleratort accelerator 
)
pure virtual

Implemented in polynomial_acceleratort.


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