| 118 | namespace Test { namespace Set { |
| 119 | |
| 120 | SetTestSpace::SetTestSpace(int n, Gecode::IntSet& d0, int i, |
| 121 | SetTest* t, bool log) |
| 122 | : d(d0), y(*this, i, d), |
| 123 | withInt(i), r(Gecode::BoolVar(*this, 0, 1),Gecode::RM_EQV), |
| 124 | reified(false), test(t) { |
| 125 | using namespace Gecode; |
| 126 | IntSet u(Gecode::Set::Limits::min,Gecode::Set::Limits::max); |
| 127 | x = SetVarArray(*this, n, Gecode::IntSet::empty, u); |
| 128 | SetVarArgs _x(*this, n, Gecode::IntSet::empty, d); |
| 129 | if (x.size() == 1) |
| 130 | dom(*this,x[0],_x[0]); |
| 131 | else |
| 132 | dom(*this,x,_x); |
| 133 | if (opt.log && log) { |
| 134 | olog << ind(2) << "Initial: x[]=" << x; |
| 135 | olog << " y[]=" << y; |
| 136 | olog << std::endl; |
| 137 | } |
| 138 | } |
| 139 | |
| 140 | SetTestSpace::SetTestSpace(int n, Gecode::IntSet& d0, int i, |
| 141 | SetTest* t, Gecode::ReifyMode rm, bool log) |