RandomBrancher.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2009 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURRANDOMBRANCHER_H
#define MINOTAURRANDOMBRANCHER_H
 
#include "Brancher.h"
 
namespace Minotaur {
 
  struct RandomBrStats {
    UInt calls;      
    double time;     
  };
 
  class Timer;
 
  class RandomBrancher : public Brancher {
    
  public:
    RandomBrancher();
 
    RandomBrancher(EnvPtr env, HandlerVector handlers);
 
    ~RandomBrancher();
 
    // Find a branching candidate. Returns NULL if x does not have any
    // thing to branch on or if no branching candidates are needed. 
    Branches findBranches(RelaxationPtr rel, NodePtr node, 
                          ConstSolutionPtr sol, SolutionPoolPtr s_pool, 
                          BrancherStatus & br_status, ModVector &mods);
 
    // Write the statistics.
    void writeStats(std::ostream &out) const;
 
    // Return name.
    std::string getName() const;
 
  private:
    const static std::string me_; 
 
    LoggerPtr logger_;
 
    HandlerVector handlers_;
 
    Timer *timer_;
 
    RandomBrStats *stats_;
 
    UInt seed_;
 
  };
  typedef RandomBrancher* RandomBrancherPtr;
}
#endif