Function cdbf

examples/bin-packing.cpp:383–391

Post branching (assumes that \a s is sorted)

/// Post branching (assumes that \a s is sorted)
void cdbf(Home home, const IntVarArgs& l, const IntVarArgs& b,
          const IntArgs& s) {
  if (b.size() != s.size())
    throw Int::ArgumentSizeMismatch("cdbf");
  ViewArray<Int::IntView> load(home, l);
  ViewArray<Int::IntView> bin(home, b);
  IntSharedArray size(s);
  return CDBF::post(home, load, bin, size);
}