Function binpacking

gecode/int/bin-packing.cpp:40–63

namespace Gecode {

  void
  binpacking(Home home,
             const IntVarArgs& l,
             const IntVarArgs& b, const IntArgs& s,
             IntPropLevel) {
    using namespace Int;
    if (same(l,b))
      throw ArgumentSame("Int::binpacking");
    if (b.size() != s.size())
      throw ArgumentSizeMismatch("Int::binpacking");
    for (int i=0; i<s.size(); i++)
      Limits::nonnegative(s[i],"Int::binpacking");
    GECODE_POST;

    ViewArray<OffsetView> lv(home,l.size());
    for (int i=0; i<l.size(); i++)
      lv[i] = OffsetView(l[i],0);

    ViewArray<BinPacking::Item> bs(home,b.size());
    for (int i=0; i<bs.size(); i++)
      bs[i] = BinPacking::Item(b[i],s[i]);

    GECODE_ES_FAIL(Int::BinPacking::Pack::post(home,lv,bs));
  }

  IntSet
  binpacking(Home home, int d,