SOSBrCand.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2009 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURSOSBRCAND_H
#define MINOTAURSOSBRCAND_H
 
#include <string>
#include "Types.h"
#include "BrCand.h"
 
namespace Minotaur {
 
class SOS;
 
class SOSBrCand : public BrCand {
public:
  SOSBrCand();
  SOSBrCand(const SOS* sos, VarVector &left, VarVector &right, double lsum,
            double rsum);
 
  ~SOSBrCand();
 
  // base class method.
  double getDDist();
 
  double getLSum() const;
 
  // base class method.
  std::string getName() const;
 
  double getRSum() const;
 
  // base class method.
  double getUDist();
 
  VariableConstIterator lVarsBegin() const;
 
  VariableConstIterator lVarsEnd() const;
 
  VariableConstIterator rVarsBegin() const;
 
  VariableConstIterator rVarsEnd() const;
 
 
private:
  VarVector lvars_;
  
  VarVector rvars_;
 
  double lsum_;
  double rsum_;
 
  const SOS* sos_;
};
 
typedef SOSBrCand* SOSBrCandPtr;
}
 
#endif