Bin packing constraints
[Using integer variables and constraints]
|void||Gecode::binpacking (Home home, const IntVarArgs &l, const IntVarArgs &b, const IntArgs &s, IntPropLevel ipl=IPL_DEF)|
|Post propagator for bin packing. |
|const IntVarArgs &||l,|
|const IntVarArgs &||b,|
|const IntArgs &||s,|
|IntPropLevel|| ipl = |
Post propagator for bin packing.
The variables in l are the loads for each bin, whereas the variables in b define for each item into which bin it is packed. The integer values s define the size of the items.
It is propagated that for each with the constraint holds and that for each with the constraint holds.
The propagation follows: Paul Shaw. A Constraint for Bin Packing. CP 2004.
Throws the following exceptions: