| 175 | |
| 176 | template<class Tracer> |
| 177 | forceinline void |
| 178 | BAB<Tracer>::reset(Space* s) { |
| 179 | tracer.round(); |
| 180 | delete best; |
| 181 | best = nullptr; |
| 182 | path.reset(); |
| 183 | d = 0; |
| 184 | mark = 0; |
| 185 | delete cur; |
| 186 | if ((s == nullptr) || (s->status(*this) == SS_FAILED)) { |
| 187 | delete s; |
| 188 | cur = nullptr; |
| 189 | } else { |
| 190 | cur = s; |
| 191 | } |
| 192 | Worker::reset(); |
| 193 | } |
| 194 | |
| 195 | template<class Tracer> |
| 196 | forceinline NoGoods& |