Brancher.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2009 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURBRANCHER_H
#define MINOTAURBRANCHER_H
 
#include "Types.h"
 
namespace Minotaur {
 
  class   Node;
  class   Relaxation;
  class   Solution;
  class   SolutionPool;
  typedef Relaxation* RelaxationPtr;
  typedef const Solution* ConstSolutionPtr;
  typedef SolutionPool* SolutionPoolPtr;
 
  class Brancher {
    
    public:
      Brancher();
 
      virtual ~Brancher();
 
      virtual Branches findBranches(RelaxationPtr rel, NodePtr node, 
                                    ConstSolutionPtr sol,
                                    SolutionPoolPtr s_pool, 
                                    BrancherStatus & br_status,
                                    ModVector &mods) = 0;
 
      virtual std::string getName() const = 0;
 
      virtual void updateAfterSolve(NodePtr node, ConstSolutionPtr sol);
 
      virtual void writeStats(std::ostream &) const {};
 
    protected:
      LoggerPtr logger_;
 
  };
  typedef Brancher* BrancherPtr;
 
}
#endif