| 216 | } |
| 217 | |
| 218 | void |
| 219 | TestSpace::post(void) { |
| 220 | if (reified){ |
| 221 | test->post(*this,x,r); |
| 222 | if (opt.log) |
| 223 | olog << ind(3) << "Posting reified propagator" << std::endl; |
| 224 | } else { |
| 225 | test->post(*this,x); |
| 226 | if (opt.log) |
| 227 | olog << ind(3) << "Posting propagator" << std::endl; |
| 228 | } |
| 229 | } |
| 230 | |
| 231 | bool |
| 232 | TestSpace::failed(void) { |