| 310 | } |
| 311 | |
| 312 | void |
| 313 | SetTestSpace::addToGlb(int v, int i, const SetAssignment& a) { |
| 314 | using namespace Gecode; |
| 315 | SetVarUnknownRanges ur(x[i]); |
| 316 | CountableSetRanges air(a.lub, a[i]); |
| 317 | Gecode::Iter::Ranges::Inter<Gecode::SetVarUnknownRanges, |
| 318 | CountableSetRanges> inter(ur, air); |
| 319 | Gecode::Iter::Ranges::ToValues<Gecode::Iter::Ranges::Inter |
| 320 | <Gecode::SetVarUnknownRanges, CountableSetRanges> > interV(inter); |
| 321 | for (int j=0; j<v; j++, ++interV) {} |
| 322 | rel(i, Gecode::SRT_SUP, Gecode::IntSet(interV.val(), interV.val())); |
| 323 | } |
| 324 | |
| 325 | void |
| 326 | SetTestSpace::addToGlb(int v, int i, const SetAssignment& a, |