SolutionPool.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2008 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURSOLUTIONPOOL_H
#define MINOTAURSOLUTIONPOOL_H
 
#include "Problem.h"
#include "Solution.h"
#include "Types.h"
//#include <sys/time.h>
 
namespace Minotaur {
 
  class Environment;
  class Timer;
 
  class SolutionPool {
  public:
    SolutionPool();
 
    ~SolutionPool();
 
    SolutionPool(EnvPtr env, ProblemPtr problem, UInt limit=100);
 
    void addSolution(ConstSolutionPtr);
 
    //void setRootSolution(ConstSolutionPtr);
 
    UInt getNumSols() const;
 
    UInt getNumSolsFound() const;
 
    UInt getSizeLimit() const;
 
    //double getWallTime() {
      //struct timeval time;
      //if (gettimeofday(&time,NULL)) {
        //return 0;
      //}
      //return (double)time.tv_sec + (double)time.tv_usec * .000001;
    //}
 
    void setSizeLimit(UInt limit);
 
    SolutionIterator solsBegin() { return sols_.begin(); }
 
    SolutionIterator solsEnd() { return sols_.end(); }
 
    void addSolution(const double *x, double obj_value);
 
    SolutionPtr getBestSolution();
 
    //SolutionPtr getRootSolution();
 
    double getBestSolutionValue() const;
 
    //double getRootSolutionValue() const;
 
    void writeStats(std::ostream &out) const; 
 
  private:
    std::vector<SolutionPtr> sols_;
 
    SolutionPtr bestSolution_;
 
    //SolutionPtr rootSolution_;
 
    const static std::string me_;
 
    UInt numSolsFound_;
 
    ProblemPtr problem_;
 
    UInt sizeLimit_;
 
    double timeBest_;
 
    double timeFirst_;
 
    const Timer* timer_;
 
    //double wallTimeStart_;
 
  };
 
  typedef SolutionPool* SolutionPoolPtr;
}
#endif