| 180 | } |
| 181 | |
| 182 | bool |
| 183 | SetTestSpace::failed(void) { |
| 184 | if (opt.log) { |
| 185 | olog << ind(3) << "Fixpoint: x[]=" << x |
| 186 | << " y[]=" << y << std::endl; |
| 187 | bool f=(status() == Gecode::SS_FAILED); |
| 188 | olog << ind(3) << " --> x[]=" << x |
| 189 | << " y[]=" << y << std::endl; |
| 190 | return f; |
| 191 | } else { |
| 192 | return status() == Gecode::SS_FAILED; |
| 193 | } |
| 194 | } |
| 195 | |
| 196 | bool |
| 197 | SetTestSpace::subsumed(bool b) { |