NodeProcessor.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2009 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURNODEPROCESSOR_H
#define MINOTAURNODEPROCESSOR_H
 
#include "Types.h"
 
namespace Minotaur {
 
  class Brancher;
  class Relaxation;
  class SolutionPool;
  class WarmStart;
  class CutManager;
  typedef Brancher* BrancherPtr;
  typedef Relaxation* RelaxationPtr;
  typedef SolutionPool* SolutionPoolPtr;
  typedef WarmStart* WarmStartPtr;
  typedef CutManager* CutManagerPtr;
  class NodeProcessor {
    public:
      NodeProcessor() { }
 
      virtual ~NodeProcessor() { }
 
      virtual void setBrancher(BrancherPtr brancher);
 
      virtual void processRootNode(NodePtr node, RelaxationPtr rel, 
          SolutionPoolPtr s_pool);
 
      virtual void process(NodePtr node, RelaxationPtr rel, 
          SolutionPoolPtr s_pool) = 0;
 
      virtual  Branches getBranches() = 0;
 
      virtual bool foundNewSolution() = 0;
 
      virtual WarmStartPtr getWarmStart() = 0;
 
      virtual BrancherPtr getBrancher() { return brancher_;};
 
      virtual void writeStats(std::ostream &) const {};
 
      virtual void writeStats() const {};
 
      virtual void setCutManager(CutManager *) {};
    protected:
      BrancherPtr brancher_;
  };
 
  typedef NodeProcessor* NodeProcessorPtr;
 
}
#endif