BndProcessor.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2009 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURBNDPROCESSOR_H
#define MINOTAURBNDPROCESSOR_H
 
#include "NodeProcessor.h"
#include "Types.h"
 
namespace Minotaur {
 
  class Engine;
  class Problem;
  class Solution;
  typedef Engine* EnginePtr;
  typedef const Solution* ConstSolutionPtr;
 
  struct BPStats {
    UInt bra;    
    UInt inf;    
    UInt opt;    
    UInt prob;   
    UInt proc;   
    UInt ub;     
  };
 
  class BndProcessor : public NodeProcessor {
 
    public:
      BndProcessor();
 
      BndProcessor(EnvPtr env, EnginePtr engine, HandlerVector handlers_);
 
      ~BndProcessor();
      
      // True if a new solution was found while processing this node.
      bool foundNewSolution(); 
 
      // Find branches that will be used to branch at this node.
      Branches getBranches();
 
      // Get warm-start information.
      WarmStartPtr getWarmStart();
 
      // Implement NodeProcessor::process().
      void process(NodePtr node, RelaxationPtr rel, 
                   SolutionPoolPtr s_pool);
 
      // write statistics. Base class method.
      void writeStats(std::ostream &out) const; 
 
      // write statistics. Base class method.
      void writeStats() const; 
 
    protected:
 
      Branches branches_;
 
      bool contOnErr_;
 
      double cutOff_;
 
      EnginePtr engine_;
 
      EngineStatus engineStatus_;
 
      HandlerVector handlers_;
 
      LoggerPtr logger_;
 
      static const std::string me_;
 
      UInt numSolutions_;
 
      double oATol_;
 
      double oRTol_;
 
      RelaxationPtr relaxation_;
 
      BPStats stats_;
 
      WarmStartPtr ws_;
 
      virtual bool isFeasible_(NodePtr node, ConstSolutionPtr sol, 
                               SolutionPoolPtr s_pool, bool &should_prune);
 
      virtual void solveRelaxation_();
 
      virtual bool shouldPrune_(NodePtr node, double solval, 
                                SolutionPoolPtr s_pool);
 
  };
 
  typedef BndProcessor* BndProcessorPtr;
 
}
#endif