BrVarCand.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2009 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURBRVARCAND_H
#define MINOTAURBRVARCAND_H
 
#include <string>
#include "Types.h"
#include "BrCand.h"
 
namespace Minotaur {
 
class BrVarCand : public BrCand {
public:
  BrVarCand(VariablePtr var, int i, double d, double u);
 
  // Destroy.
  ~BrVarCand();
 
  // base class method.
  double getDDist();
 
  // base class method.
  std::string getName() const;
 
  // base class method.
  double getUDist();
 
  VariablePtr getVar();
 
  // base class method
  void setDist(double ddist, double udist);
 
private:
  double dDist_;
 
  double uDist_;
 
  VariablePtr var_;
 
};
}
 
#endif