Method minus

gecode/int/bin-packing/propagate.hpp:118–125

  SizeSetMinusOne::SizeSetMinusOne(Region& region, int n_max)
    : SizeSet(region,n_max), p(-1) {}
  forceinline void
  SizeSetMinusOne::minus(int s0) {
    // This rests on the fact that items are removed in order
    do
      p++;
    while (s[p] > s0);
    assert(p < n);
  }
  forceinline int
  SizeSetMinusOne::card(void) const {
    assert(p >= 0);