Perform propagation
| 56 | virtual PropCost cost(const Space& /* home */, const ModEventDelta& /* med */) const { return PropCost::record(); } |
| 57 | /// Perform propagation |
| 58 | virtual ExecStatus propagate(Space& home, const ModEventDelta& /* med */) { |
| 59 | assert(x0.assigned()); |
| 60 | if (x0.val()) { |
| 61 | static_cast<FlatZincSpace&>(home).restart_data().mark_complete = true; |
| 62 | } |
| 63 | return home.ES_SUBSUMED(*this); |
| 64 | } |
| 65 | |
| 66 | static ExecStatus post(FlatZincSpace& home, BoolView x0) { |
| 67 | if (x0.assigned()) { |
nothing calls this directly
no test coverage detected