MaxVioBrancher.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2009 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURMAXVIOBRANCHER_H
#define MINOTAURMAXVIOBRANCHER_H
 
#include "Brancher.h"
 
namespace Minotaur {
 
  class Timer;
 
  struct MaxVioBrStats {
    UInt calls;      
    double time;     
  };
 
  class MaxVioBrancher : public Brancher {
    
    public:
      MaxVioBrancher(EnvPtr env, HandlerVector & handlers);
 
      ~MaxVioBrancher();
 
      // find branches after a node is processed.
      Branches findBranches(RelaxationPtr rel, NodePtr node, 
                            ConstSolutionPtr sol, SolutionPoolPtr s_pool, 
                            BrancherStatus & br_status, ModVector &mods);
 
      virtual void updateAfterSolve(NodePtr , ConstSolutionPtr );
 
      // write statistics.
      void writeStats(std::ostream &out) const;
 
      std::string getName() const;
 
    private:
      BrVarCandSet cands_; 
 
      BrCandVector gencands_;
 
      HandlerVector handlers_;
 
      const static std::string me_; 
 
      RelaxationPtr rel_;
 
      MaxVioBrStats * stats_;
 
      Timer *timer_;
 
      DoubleVector x_;
 
      void freeCandidates_(BrCandPtr no_del);
 
      void findCandidates_(ModVector &mods, bool &should_prune);
 
      BrCandPtr findBestCandidate_();
 
  };
  typedef MaxVioBrancher* MaxVioBrancherPtr;
}
#endif