Functions | |
void | Gecode::nooverlap (Home home, const IntVarArgs &x, const IntArgs &w, const IntVarArgs &y, const IntArgs &h, IntConLevel icl=ICL_DEF) |
Post propagator for rectangle packing. More... | |
void | Gecode::nooverlap (Home home, const IntVarArgs &x, const IntArgs &w, const IntVarArgs &y, const IntArgs &h, const BoolVarArgs &o, IntConLevel icl=ICL_DEF) |
Post propagator for rectangle packing. More... | |
void | Gecode::nooverlap (Home home, const IntVarArgs &x0, const IntVarArgs &w, const IntVarArgs &x1, const IntVarArgs &y0, const IntVarArgs &h, const IntVarArgs &y1, IntConLevel icl=ICL_DEF) |
Post propagator for rectangle packing. More... | |
void | Gecode::nooverlap (Home home, const IntVarArgs &x0, const IntVarArgs &w, const IntVarArgs &x1, const IntVarArgs &y0, const IntVarArgs &h, const IntVarArgs &y1, const BoolVarArgs &o, IntConLevel icl=ICL_DEF) |
Post propagator for rectangle packing. More... | |
Constraints for modeling geometrical packing problems.
void Gecode::nooverlap | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntArgs & | w, | ||
const IntVarArgs & | y, | ||
const IntArgs & | h, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post propagator for rectangle packing.
Propagate that no two rectangles as described by the coordinates x, and y, widths w, and heights h overlap.
Throws the following exceptions:
Definition at line 55 of file no-overlap.cpp.
void Gecode::nooverlap | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntArgs & | w, | ||
const IntVarArgs & | y, | ||
const IntArgs & | h, | ||
const BoolVarArgs & | o, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post propagator for rectangle packing.
Propagate that no two rectangles as described by the coordinates x, and y, widths w, and heights h overlap. The rectangles can be optional, as described by the Boolean variables o.
Throws the following exceptions:
Definition at line 86 of file no-overlap.cpp.
void Gecode::nooverlap | ( | Home | home, |
const IntVarArgs & | x0, | ||
const IntVarArgs & | w, | ||
const IntVarArgs & | x1, | ||
const IntVarArgs & | y0, | ||
const IntVarArgs & | h, | ||
const IntVarArgs & | y1, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post propagator for rectangle packing.
Propagate that no two rectangles as described by the start coordinates x0 and y0, widths w and heights h, and end coordinates x1 and y1 overlap.
Note that the relations and
are not propagated (for
). That is, additional constraints must be posted to enforce that relation.
Throws the following exceptions:
Definition at line 131 of file no-overlap.cpp.
void Gecode::nooverlap | ( | Home | home, |
const IntVarArgs & | x0, | ||
const IntVarArgs & | w, | ||
const IntVarArgs & | x1, | ||
const IntVarArgs & | y0, | ||
const IntVarArgs & | h, | ||
const IntVarArgs & | y1, | ||
const BoolVarArgs & | o, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post propagator for rectangle packing.
Propagate that no two rectangles as described by the start coordinates x0 and y0, widths w and heights h, and end coordinates x1 and y1 overlap. The rectangles can be optional, as described by the Boolean variables o.
Note that the relations and
are not propagated (for
). That is, additional constraints must be posted to enforce that relation.
Throws the following exceptions:
Definition at line 168 of file no-overlap.cpp.