Method width

gecode/int/int-set-1.hpp:163–168

  }

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

  forceinline int
  IntSet::ranges(void) const {