| 369 | } |
| 370 | |
| 371 | void |
| 372 | sqr(Home home, IntVar x0, IntVar x1, IntPropLevel ipl) { |
| 373 | using namespace Int; |
| 374 | GECODE_POST; |
| 375 | Arithmetic::SqrOps ops; |
| 376 | if (vbd(ipl) == IPL_DOM) { |
| 377 | GECODE_ES_FAIL(Arithmetic::PowDom<Arithmetic::SqrOps> |
| 378 | ::post(home,x0,x1,ops)); |
| 379 | } else { |
| 380 | GECODE_ES_FAIL(Arithmetic::PowBnd<Arithmetic::SqrOps> |
| 381 | ::post(home,x0,x1,ops)); |
| 382 | } |
| 383 | } |
| 384 | |
| 385 | void |
| 386 | sqrt(Home home, IntVar x0, IntVar x1, IntPropLevel ipl) { |