Minotaur 0.4.1
Docs for developers
|
Public Member Functions | |
SOS () | |
Default constructor. | |
SOS (int n, SOSType type, const double *weights, const VarVector &vars, int priority, int id, std::string name) | |
virtual | ~SOS () |
Destroy. | |
int | getId () const |
int | getNz () |
SOSType | getType () |
int | getPriority () const |
std::string | getName () const |
const double * | getWeights () |
VariableConstIterator | varsBegin () const |
VariableConstIterator | varsEnd () const |