path_enumerator.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Loop Acceleration
 
Author: Matt Lewis
 
\*******************************************************************/
 
 
#ifndef CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_ENUMERATOR_H
#define CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_ENUMERATOR_H
 
#include <goto-programs/goto_program.h>
 
#include <analyses/natural_loops.h>
 
#include "path.h"
 
class path_enumeratort
{
 public:
  virtual ~path_enumeratort()
  {
  }
 
  virtual bool next(patht &path) = 0;
};
 
#endif // CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_ENUMERATOR_H