| 88 | namespace Test { namespace Int { |
| 89 | |
| 90 | TestSpace::TestSpace(int n, Gecode::IntSet& d0, Test* t) |
| 91 | : d(d0), x(*this,n,Gecode::Int::Limits::min,Gecode::Int::Limits::max), |
| 92 | test(t), reified(false) { |
| 93 | Gecode::IntVarArgs _x(*this,n,d); |
| 94 | if (x.size() == 1) |
| 95 | Gecode::dom(*this,x[0],_x[0]); |
| 96 | else |
| 97 | Gecode::dom(*this,x,_x); |
| 98 | Gecode::BoolVar b(*this,0,1); |
| 99 | r = Gecode::Reify(b,Gecode::RM_EQV); |
| 100 | if (opt.log) |
| 101 | olog << ind(2) << "Initial: x[]=" << x |
| 102 | << std::endl; |
| 103 | } |
| 104 | |
| 105 | TestSpace::TestSpace(int n, Gecode::IntSet& d0, Test* t, |
| 106 | Gecode::ReifyMode rm) |