Functions | |
void | Gecode::binpacking (Home home, const IntVarArgs &l, const IntVarArgs &b, const IntArgs &s, IntConLevel icl=ICL_DEF) |
Post propagator for bin packing. More... | |
void Gecode::binpacking | ( | Home | home, |
const IntVarArgs & | l, | ||
const IntVarArgs & | b, | ||
const IntArgs & | s, | ||
IntConLevel | icl = ICL_DEF |
||
) |
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:
Definition at line 45 of file bin-packing.cpp.