Post constraint on \a x
| 1011 | } |
| 1012 | /// Post constraint on \a x |
| 1013 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 1014 | int n=x.size()-1; |
| 1015 | Gecode::BoolVarArgs m(n); |
| 1016 | for (int i=0; i<n; i++) |
| 1017 | m[i]=channel(home,x[i]); |
| 1018 | Gecode::argmin(home, m, offset, x[n], tiebreak); |
| 1019 | } |
| 1020 | }; |
| 1021 | |
| 1022 | /// %Test for argument minimum constraint with shared variables |