Method max

gecode/int/int-set-1.hpp:157–161

  }

  forceinline int
  IntSet::max(int i) const {
    assert(object() != nullptr);
    return static_cast<IntSetObject*>(object())->r[i].max;
  }

  forceinline unsigned int
  IntSet::width(int i) const {