| 66 | |
| 67 | template<class View> |
| 68 | forceinline ExecStatus |
| 69 | MultZeroOne<View>::post(Home home, View x0, View x1) { |
| 70 | switch (rtest_eq(x0,0.0)) { |
| 71 | case RT_FALSE: |
| 72 | GECODE_ME_CHECK(x1.eq(home,1.0)); |
| 73 | break; |
| 74 | case RT_TRUE: |
| 75 | break; |
| 76 | case RT_MAYBE: |
| 77 | switch (rtest_eq(x1,1.0)) { |
| 78 | case RT_FALSE: |
| 79 | GECODE_ME_CHECK(x0.eq(home,0.0)); |
| 80 | break; |
| 81 | case RT_TRUE: |
| 82 | break; |
| 83 | case RT_MAYBE: |
| 84 | (void) new (home) MultZeroOne<View>(home,x0,x1); |
| 85 | break; |
| 86 | default: GECODE_NEVER; |
| 87 | } |
| 88 | break; |
| 89 | default: GECODE_NEVER; |
| 90 | } |
| 91 | return ES_OK; |
| 92 | } |
| 93 | |
| 94 | template<class View> |
| 95 | forceinline |