Method init

gecode/int/int-set-1.hpp:56–72

Initialize \a s with iterator \a i

  public:
    /// Initialize \a s with iterator \a i
    static void init(IntSet& s, I& i) {
      Region reg;
      Support::DynamicArray<IntSet::Range,Region> d(reg);
      int n=0;
      unsigned int size = 0;
      while (i()) {
        d[n].min = i.min(); d[n].max = i.max(); size += i.width();
        ++n; ++i;
      }
      if (n > 0) {
        IntSet::IntSetObject* o = IntSet::IntSetObject::allocate(n);
        for (int j=0; j<n; j++)
          o->r[j]=d[j];
        o->size = size;
        s.object(o);
      }
    }
  };

  /// Initialize integer set with integer set