| 170 | |
| 171 | template<class VX, class VY> |
| 172 | ExecStatus |
| 173 | ClauseTrue<VX,VY>::propagate(Space& home, const ModEventDelta&) { |
| 174 | if (x0.one() || x1.one()) |
| 175 | return home.ES_SUBSUMED(*this); |
| 176 | GECODE_ES_CHECK(resubscribe(home,*this,x0,x,x1,y)); |
| 177 | GECODE_ES_CHECK(resubscribe(home,*this,x1,y,x0,x)); |
| 178 | return ES_FIX; |
| 179 | } |
| 180 | |
| 181 | |
| 182 | /* |