Perform propagation
| 102 | virtual PropCost cost(const Space& /* home */, const ModEventDelta& /* med */) const { return PropCost::record(); } |
| 103 | /// Perform propagation |
| 104 | virtual ExecStatus propagate(Space& home, const ModEventDelta& /* med */) { |
| 105 | record_assigned(static_cast<FlatZincSpace&>(home), x); |
| 106 | if (x.size() == 0) { |
| 107 | return home.ES_SUBSUMED(*this); |
| 108 | } else { |
| 109 | return ES_FIX; |
| 110 | } |
| 111 | } |
| 112 | |
| 113 | /// Post propagator |
| 114 | static ExecStatus post(FlatZincSpace& home, const typename ViewToVarArg<View>::argtype& x) { |
nothing calls this directly
no test coverage detected