CBMC
Loading...
Searching...
No Matches
path_enumerator.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Loop Acceleration
4
5Author: Matt Lewis
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_ENUMERATOR_H
13#define CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_ENUMERATOR_H
14
16
18
19#include "path.h"
20
22{
23 public:
25 {
26 }
27
28 virtual bool next(patht &path) = 0;
29};
30
31#endif // CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_ENUMERATOR_H
virtual ~path_enumeratort()
virtual bool next(patht &path)=0
Concrete Goto Program.
Compute natural loops in a goto_function.
Loop Acceleration.
std::list< path_nodet > patht
Definition path.h:44