| 141 | |
| 142 | |
| 143 | TestSpace::TestSpace(int n, Gecode::FloatVal& d0, Gecode::FloatNum s, |
| 144 | Test* t) |
| 145 | : d(d0), step(s), |
| 146 | x(*this,n,Gecode::Float::Limits::min,Gecode::Float::Limits::max), |
| 147 | test(t), reified(false) { |
| 148 | Gecode::FloatVarArgs _x(*this,n,d.min(),d.max()); |
| 149 | if (x.size() == 1) |
| 150 | Gecode::dom(*this,x[0],_x[0]); |
| 151 | else |
| 152 | Gecode::dom(*this,x,_x); |
| 153 | Gecode::BoolVar b(*this,0,1); |
| 154 | r = Gecode::Reify(b,Gecode::RM_EQV); |
| 155 | if (opt.log) |
| 156 | olog << ind(2) << "Initial: x[]=" << x |
| 157 | << std::endl; |
| 158 | } |
| 159 | |
| 160 | TestSpace::TestSpace(int n, Gecode::FloatVal& d0, Gecode::FloatNum s, |
| 161 | Test* t, Gecode::ReifyMode rm) |