| 241 | } |
| 242 | |
| 243 | void |
| 244 | TestSpace::rel(int i, Gecode::FloatRelType frt, Gecode::FloatVal n) { |
| 245 | if (opt.log) { |
| 246 | olog << ind(4) << "x[" << i << "] "; |
| 247 | switch (frt) { |
| 248 | case Gecode::FRT_EQ: olog << "="; break; |
| 249 | case Gecode::FRT_NQ: olog << "!="; break; |
| 250 | case Gecode::FRT_LQ: olog << "<="; break; |
| 251 | case Gecode::FRT_LE: olog << "<"; break; |
| 252 | case Gecode::FRT_GQ: olog << ">="; break; |
| 253 | case Gecode::FRT_GR: olog << ">"; break; |
| 254 | } |
| 255 | olog << " [" << n.min() << "," << n.max() << "]" << std::endl; |
| 256 | } |
| 257 | Gecode::rel(*this, x[i], frt, n); |
| 258 | } |
| 259 | |
| 260 | void |
| 261 | TestSpace::rel(bool sol) { |