| 289 | |
| 290 | namespace { |
| 291 | IntVar |
| 292 | pair(Home home, IntVar x, int w, IntVar y, int h) { |
| 293 | IntVar xy(home,0,w*h-1); |
| 294 | if (Int::Element::Pair::post(home,x,y,xy,w,h) != ES_OK) |
| 295 | home.fail(); |
| 296 | return xy; |
| 297 | } |
| 298 | |
| 299 | IntVar |
| 300 | pairWithOffsets(Home home, IntVar x, int xoff, int w, IntVar y, int yoff, int h) { |