SOS.h

Go to the documentation of this file.

//
//    Minotaur -- It's only 1/2 bull
//
//    (C)opyright 2008 - 2025 The Minotaur Team.
//
 
 
#ifndef MINOTAURSOS_H
#define MINOTAURSOS_H
 
#include "Types.h"
#include "Variable.h"
 
namespace Minotaur {
 
 
class SOS {
public:
  SOS();
 
  SOS(int n, SOSType type, const double *weights, const VarVector &vars,
      int priority, int id, std::string name);
 
  virtual ~SOS();
 
  int getId() const;
  int getNz();
  SOSType getType();
  int getPriority() const;
 
  std::string getName() const;
  const double* getWeights();
 
  VariableConstIterator varsBegin() const;
  VariableConstIterator varsEnd() const;
 
private:
  int id_;
 
  int n_;
 
  int priority_;
 
  SOSType type_;
      
  double * weights_;
 
  VarVector vars_;
 
  std::string name_;
 
};
}
#endif