| 66 | } |
| 67 | |
| 68 | SetAssignment::SetAssignment(int n0, const Gecode::IntSet& d0, int _withInt) |
| 69 | : n(n0), dsv(new CountableSet[n]), ir(_withInt, d0), done(false), lub(d0), |
| 70 | withInt(_withInt) { |
| 71 | for (int i=n; i--; ) |
| 72 | dsv[i].init(lub); |
| 73 | } |
| 74 | |
| 75 | void |
| 76 | SetAssignment::next(Gecode::Support::RandomGenerator& rand) { |