| 221 | : pending(1U), n_e(0U), n_w(0U), es(heap), w2e(heap) {} |
| 222 | |
| 223 | forceinline void |
| 224 | SearchTracer::engine(EngineType t, unsigned int n) { |
| 225 | assert(pending > 0); |
| 226 | pending += n-1; |
| 227 | switch (t) { |
| 228 | case EngineType::PBS: case EngineType::RBS: |
| 229 | es[n_e]=EngineInfo(t,n_e+1,n_e+1+n); |
| 230 | break; |
| 231 | case EngineType::DFS: case EngineType::BAB: |
| 232 | case EngineType::LDS: case EngineType::AOE: |
| 233 | es[n_e]=EngineInfo(t,n_w,n_w+n); |
| 234 | break; |
| 235 | default: GECODE_NEVER; |
| 236 | } |
| 237 | n_e++; |
| 238 | assert(pending > 0); |
| 239 | } |
| 240 | |
| 241 | forceinline void |
| 242 | SearchTracer::worker(unsigned int& wid, unsigned int& eid) { |
no test coverage detected