| 72 | |
| 73 | template<class A, class B> |
| 74 | ExecStatus |
| 75 | ASin<A,B>::propagate(Space& home, const ModEventDelta&) { |
| 76 | if ((x0.max() < -1) || (x0.min() > 1)) return ES_FAILED; |
| 77 | GECODE_ME_CHECK(x1.eq(home,asin(x0.domain()))); |
| 78 | GECODE_ME_CHECK(x0.eq(home,sin(x1.domain()))); |
| 79 | return (x0.assigned() || x1.assigned()) ? home.ES_SUBSUMED(*this) : ES_FIX; |
| 80 | } |
| 81 | |
| 82 | |
| 83 | /* |