CutPool.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2010 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURCUTPOOL_H
#define MINOTAURCUTPOOL_H
 
#include "Types.h"
 
namespace Minotaur {
 
class Environment;
class Cut;
class Problem;
class Solution;
 
typedef Environment* EnvironmentPtr;
typedef Cut* CutPtr;
typedef Solution* SolutionPtr;
 
typedef std::vector<CutPtr> CutVector;
typedef std::deque<CutPtr> CutQ;
 
class CutPool {
 
public:
  CutPool();
 
  CutManager(EnvPtr env);
 
  ~CutManager();
 
  void addCut(CutPtr cut);
 
  void addCuts(CutVector cuts);
 
  CutPtr findDup(CutPtr cut);
 
  void removeCut(CutPtr cut);
 
  void removeCuts(CutVector cuts);
 
  void write(std::ostream &out) const;
 
private:
  EnvPtr env_;
 
  LoggerPtr logger_;
 
  CutQ glAct_;
 
  CutQ glInact_;
 
  const static std::string me_;
};
}
#endif