| 383 | } |
| 384 | |
| 385 | void |
| 386 | sqrt(Home home, IntVar x0, IntVar x1, IntPropLevel ipl) { |
| 387 | using namespace Int; |
| 388 | GECODE_POST; |
| 389 | Arithmetic::SqrOps ops; |
| 390 | if (vbd(ipl) == IPL_DOM) { |
| 391 | GECODE_ES_FAIL(Arithmetic::NrootDom<Arithmetic::SqrOps> |
| 392 | ::post(home,x0,x1,ops)); |
| 393 | } else { |
| 394 | GECODE_ES_FAIL(Arithmetic::NrootBnd<Arithmetic::SqrOps> |
| 395 | ::post(home,x0,x1,ops)); |
| 396 | } |
| 397 | } |
| 398 | |
| 399 | void |
| 400 | pow(Home home, IntVar x0, int n, IntVar x1, IntPropLevel ipl) { |
no test coverage detected