BrCand.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2009 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURBRCAND_H
#define MINOTAURBRCAND_H
 
#include <string>
#include "Types.h"
 
namespace Minotaur {
 
class Handler;
class Variable;
 
class BrCand {
public:    
  BrCand();
 
  virtual ~BrCand() {};
 
  virtual void decrBranches() { --branches_; };
 
  virtual double getDDist() = 0;
 
  virtual BranchDirection getDir() const {return prefDir_;};
 
  virtual HandlerPtr getHandler() { return h_; };
 
  virtual std::string getName() const {return "default br-cand";};
 
  virtual int getPCostIndex() const { return pCostIndex_; };
 
  virtual double getScore() { return score_; };
 
  virtual double getUDist() = 0;
 
  virtual int numBranches() { return branches_; };
 
  virtual void setDir(BranchDirection d) {prefDir_ = d;};
 
  void setDist(double ddist, double udist);
 
  virtual void setHandler(HandlerPtr h) { h_ = h; };
 
  virtual void setNumBranches(int n) { branches_ = n; };
 
  virtual void setScore(const double score) { score_ = score; };
 
protected:
  HandlerPtr h_;
 
  int branches_;
 
  int pCostIndex_;
 
  BranchDirection prefDir_;
 
  double score_;
};   
 
bool CompareScore(BrCandPtr c1, BrCandPtr c2); 
}
 
#endif