| 199 | } |
| 200 | |
| 201 | void |
| 202 | SetTestSpace::rel(int i, Gecode::SetRelType srt, const Gecode::IntSet& is) { |
| 203 | if (opt.log) { |
| 204 | olog << ind(4) << "x[" << i << "] "; |
| 205 | switch (srt) { |
| 206 | case Gecode::SRT_EQ: olog << "="; break; |
| 207 | case Gecode::SRT_LQ: olog << "<="; break; |
| 208 | case Gecode::SRT_LE: olog << "<"; break; |
| 209 | case Gecode::SRT_GQ: olog << ">="; break; |
| 210 | case Gecode::SRT_GR: olog << ">"; break; |
| 211 | case Gecode::SRT_NQ: olog << "!="; break; |
| 212 | case Gecode::SRT_SUB: olog << "sub"; break; |
| 213 | case Gecode::SRT_SUP: olog << "sup"; break; |
| 214 | case Gecode::SRT_DISJ: olog << "||"; break; |
| 215 | case Gecode::SRT_CMPL: olog << "^-1 = "; break; |
| 216 | } |
| 217 | olog << is << std::endl; |
| 218 | } |
| 219 | Gecode::dom(*this, x[i], srt, is); |
| 220 | } |
| 221 | |
| 222 | void |
| 223 | SetTestSpace::cardinality(int i, int cmin, int cmax) { |