| 136 | |
| 137 | template<class Ops, bool minus> |
| 138 | ExecStatus |
| 139 | NrootPlusBnd<Ops,minus>::propagate(Space& home, const ModEventDelta&) { |
| 140 | GECODE_ES_CHECK((prop_nroot_plus_bnd<Ops,minus>(home,x0,x1,ops))); |
| 141 | return x1.assigned() ? home.ES_SUBSUMED(*this) : ES_FIX; |
| 142 | } |
| 143 | |
| 144 | |
| 145 | /* |
nothing calls this directly
no test coverage detected