Post constraint on \a x
| 182 | } |
| 183 | /// Post constraint on \a x |
| 184 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 185 | using namespace Gecode; |
| 186 | IntVarArgs l(m); |
| 187 | IntVarArgs b(s.size()); |
| 188 | for (int j=m; j--; ) |
| 189 | l[j]=x[j]; |
| 190 | for (int i=s.size(); i--; ) |
| 191 | b[i]=x[m+i]; |
| 192 | binpacking(home, l, b, s); |
| 193 | } |
| 194 | }; |
| 195 | |
| 196 | /// %Test with different bin loads and items |
nothing calls this directly
no test coverage detected