Functions | |
void | Gecode::binpacking (Home home, const IntVarArgs &l, const IntVarArgs &b, const IntArgs &s, IntPropLevel ipl=IPL_DEF) |
Post propagator for bin packing. | |
void Gecode::binpacking | ( | Home | home, |
const IntVarArgs & | l, | ||
const IntVarArgs & | b, | ||
const IntArgs & | s, | ||
IntPropLevel | ipl = IPL_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
The propagation follows: Paul Shaw. A Constraint for Bin Packing. CP 2004.
Throws the following exceptions:
Definition at line 41 of file bin-packing.cpp.