| 167 | } |
| 168 | |
| 169 | void |
| 170 | SetTestSpace::post(void) { |
| 171 | if (reified){ |
| 172 | test->post(*this,x,y,r); |
| 173 | if (opt.log) |
| 174 | olog << ind(3) << "Posting reified propagator" << std::endl; |
| 175 | } else { |
| 176 | test->post(*this,x,y); |
| 177 | if (opt.log) |
| 178 | olog << ind(3) << "Posting propagator" << std::endl; |
| 179 | } |
| 180 | } |
| 181 | |
| 182 | bool |
| 183 | SetTestSpace::failed(void) { |