151 unsigned int a = ds.top().alt();
152 const Choice* ch = ds.top().choice();
153 unsigned int nid = ds.top().nid();
155 cur = ds.pop().space();
157 tracer.ei()->init(tracer.wid(), nid, 0, *cur, *ch);
162 cur = ds.top().space()->clone();
164 tracer.ei()->init(tracer.wid(), nid,
a, *cur, *ch);
182 unsigned int nid = tracer.nid();
184 tracer.wid(), nid, *s, ch);
185 tracer.node(*tracer.ei(),ni);
187 tracer.ei()->init(tracer.wid(), nid, 0, *cur, *ch);
197 tracer.wid(), tracer.nid(), *s);
198 tracer.node(*tracer.ei(),ni);
206 tracer.wid(), tracer.nid(), *s);
207 tracer.node(*tracer.ei(),ni);
215 switch (cur->status(*
this)) {
219 tracer.wid(), tracer.nid(), *cur);
220 tracer.node(*tracer.ei(),ni);
228 tracer.skip(*tracer.ei());
235 const Choice* ch = cur->choice();
237 unsigned int nid = tracer.nid();
240 tracer.wid(), nid, *cur, ch);
241 tracer.node(*tracer.ei(),ni);
246 unsigned int d_a = (d >= alt-1) ? alt-1 : d;
248 Node sn(cc,ch,d_a-1,nid);
250 stack_depth(
static_cast<unsigned long int>(ds.entries()));
252 tracer.ei()->init(tracer.wid(), nid, d_a, *cur, *ch);
253 cur->commit(*ch,d_a);
257 tracer.ei()->init(tracer.wid(), nid, 0, *cur, *ch);
262 goto check_discrepancy;