| 141 | } |
| 142 | |
| 143 | void |
| 144 | TestSpace::post(void) { |
| 145 | if (reified){ |
| 146 | test->post(*this,x,r); |
| 147 | if (opt.log) |
| 148 | olog << ind(3) << "Posting reified propagator" << std::endl; |
| 149 | } else { |
| 150 | test->post(*this,x); |
| 151 | if (opt.log) |
| 152 | olog << ind(3) << "Posting propagator" << std::endl; |
| 153 | } |
| 154 | } |
| 155 | |
| 156 | bool |
| 157 | TestSpace::failed(void) { |