| 45 | |
| 46 | template<class A, class B> |
| 47 | ExecStatus |
| 48 | ASin<A,B>::post(Home home, A x0, B x1) { |
| 49 | if (x0 == x1) { |
| 50 | GECODE_ME_CHECK(x0.eq(home,0.0)); |
| 51 | } else { |
| 52 | GECODE_ME_CHECK(x0.gq(home,-1.0)); |
| 53 | GECODE_ME_CHECK(x0.lq(home,1.0)); |
| 54 | GECODE_ME_CHECK(x1.eq(home,asin(x0.domain()))); |
| 55 | GECODE_ME_CHECK(x0.eq(home,sin(x1.domain()))); |
| 56 | (void) new (home) ASin<A,B>(home,x0,x1); |
| 57 | } |
| 58 | return ES_OK; |
| 59 | } |
| 60 | |
| 61 | |
| 62 | template<class A, class B> |