| 226 | } |
| 227 | |
| 228 | void |
| 229 | TestSpace::rel(int i, Gecode::IntRelType irt, int n) { |
| 230 | if (opt.log) { |
| 231 | olog << ind(4) << "x[" << i << "] "; |
| 232 | switch (irt) { |
| 233 | case Gecode::IRT_EQ: olog << "="; break; |
| 234 | case Gecode::IRT_NQ: olog << "!="; break; |
| 235 | case Gecode::IRT_LQ: olog << "<="; break; |
| 236 | case Gecode::IRT_LE: olog << "<"; break; |
| 237 | case Gecode::IRT_GQ: olog << ">="; break; |
| 238 | case Gecode::IRT_GR: olog << ">"; break; |
| 239 | } |
| 240 | olog << " " << n << std::endl; |
| 241 | } |
| 242 | Gecode::rel(*this, x[i], irt, n); |
| 243 | } |
| 244 | |
| 245 | void |
| 246 | TestSpace::rel(bool sol) { |