solver_progress.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Solver Progress Reporting
 
Author: Daniel Kroening, dkr@amazon.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_CPROVER_SOLVER_PROGRESS_H
#define CPROVER_CPROVER_SOLVER_PROGRESS_H
 
#include <cstddef>
 
class solver_progresst
{
public:
  solver_progresst(std::size_t __total, bool __verbose)
    : total(__total), verbose(__verbose)
  {
  }
 
  void operator()(std::size_t current);
  void finished();
 
private:
  bool first = true;
  std::size_t total = 0;
  bool verbose;
};
 
#endif // CPROVER_CPROVER_SOLVER_PROGRESS_H