| 229 | } |
| 230 | |
| 231 | bool |
| 232 | TestSpace::failed(void) { |
| 233 | if (opt.log) { |
| 234 | olog << ind(3) << "Fixpoint: " << x; |
| 235 | bool f=(status() == Gecode::SS_FAILED); |
| 236 | olog << std::endl << ind(3) << " --> " << x << std::endl; |
| 237 | return f; |
| 238 | } else { |
| 239 | return status() == Gecode::SS_FAILED; |
| 240 | } |
| 241 | } |
| 242 | |
| 243 | void |
| 244 | TestSpace::rel(int i, Gecode::FloatRelType frt, Gecode::FloatVal n) { |