Method operator <

gecode/int/view/scale.hpp:239–243

   */
  template<class Val, class UnsVal>
  forceinline bool
  ScaleView<Val,UnsVal>::operator <(const ScaleView<Val,UnsVal>& y) const {
    return ((base() < y.base())
            || ((base() == y.base()) && (scale() < y.scale())));
  }