Post constraint on \a x
| 774 | } |
| 775 | /// Post constraint on \a x |
| 776 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 777 | int n=x.size()-1; |
| 778 | Gecode::IntVarArgs m(n); |
| 779 | for (int i=0; i<n; i++) |
| 780 | m[i]=x[i]; |
| 781 | Gecode::argmax(home, m, offset, x[n], tiebreak); |
| 782 | } |
| 783 | }; |
| 784 | |
| 785 | /// %Test for argument maximum constraint with shared variables |