For sorting array in decreasing order of coefficients. More...
Public Member Functions | |
bool | operator() (const ScaleBool &x, const ScaleBool &y) |
For sorting array in decreasing order of coefficients.
bool Gecode::Int::Linear::ScaleBoolArray::ScaleDec::operator() | ( | const ScaleBool & | x, |
const ScaleBool & | y | ||
) | [inline] |
Definition at line 104 of file bool-scale.hpp.