Post constraint on \a x
| 886 | } |
| 887 | /// Post constraint on \a x |
| 888 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 889 | int n=x.size()-1; |
| 890 | Gecode::IntVarArgs m(2*n); |
| 891 | for (int i=0; i<n; i++) |
| 892 | m[2*i+0]=m[2*i+1]=x[i]; |
| 893 | Gecode::argmin(home, m, x[n], tiebreak); |
| 894 | } |
| 895 | }; |
| 896 | |
| 897 | /// %Test for Boolean argument maximum constraint |