| 73 | |
| 74 | template<class A, class B> |
| 75 | ExecStatus |
| 76 | Exp<A,B>::propagate(Space& home, const ModEventDelta&) { |
| 77 | GECODE_ME_CHECK(x1.eq(home,exp(x0.domain()))); |
| 78 | if (x1.max() == 0.0) |
| 79 | return ES_FAILED; |
| 80 | GECODE_ME_CHECK(x0.eq(home,log(x1.domain()))); |
| 81 | return x0.assigned() ? home.ES_SUBSUMED(*this) : ES_FIX; |
| 82 | } |
| 83 | |
| 84 | |
| 85 | /* |