| 154 | } |
| 155 | |
| 156 | bool |
| 157 | TestSpace::failed(void) { |
| 158 | if (opt.log) { |
| 159 | olog << ind(3) << "Fixpoint: " << x; |
| 160 | bool f=(status() == Gecode::SS_FAILED); |
| 161 | olog << std::endl << ind(3) << " --> " << x << std::endl; |
| 162 | return f; |
| 163 | } else { |
| 164 | return status() == Gecode::SS_FAILED; |
| 165 | } |
| 166 | } |
| 167 | |
| 168 | int |
| 169 | TestSpace::rndvar(Gecode::Support::RandomGenerator& rand) { |