Post constraint on \a x
| 927 | } |
| 928 | /// Post constraint on \a x |
| 929 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 930 | int n=x.size()-1; |
| 931 | Gecode::BoolVarArgs m(n); |
| 932 | for (int i=0; i<n; i++) |
| 933 | m[i]=channel(home,x[i]); |
| 934 | Gecode::argmax(home, m, offset, x[n], tiebreak); |
| 935 | } |
| 936 | }; |
| 937 | |
| 938 | /// %Test for argument maximum constraint with shared variables |