LexicoBrancher.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2009 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURLEXICOBRANCHER_H
#define MINOTAURLEXICOBRANCHER_H
 
#include "Brancher.h"
 
namespace Minotaur {
 
  struct LexicoBrStats {
    UInt calls;      
    double time;     
  };
 
  class Timer;
 
  class LexicoBrancher : public Brancher {
    
    public:
      LexicoBrancher();
 
      LexicoBrancher(EnvPtr env, HandlerVector handlers);
 
      ~LexicoBrancher();
 
      Branches findBranches(RelaxationPtr rel, NodePtr node, 
                            ConstSolutionPtr sol, SolutionPoolPtr s_pool, 
                            BrancherStatus & br_status, ModVector &mods);
 
      void writeStats(std::ostream &out) const;
 
      std::string getName() const;
 
    private:
      const static std::string me_; 
 
      LoggerPtr logger_;
 
      HandlerVector handlers_;
 
      Timer *timer_;
 
      LexicoBrStats *stats_;
 
  };
  typedef LexicoBrancher* LexicoBrancherPtr;
}
#endif