Post constraint on \a x
| 76 | } |
| 77 | /// Post constraint on \a x |
| 78 | virtual void post(Space& home, SetVarArray& x, IntVarArray& y) { |
| 79 | Gecode::cardinality(home, x[0], y[0]); |
| 80 | } |
| 81 | /// Post reified constraint on \a x |
| 82 | virtual void post(Space& home, SetVarArray& x, IntVarArray& y, |
| 83 | Reify r) { |
nothing calls this directly
no test coverage detected