changeset 140 | ca164520d31a |
parent 131 | 9aca797b87e8 |
0:44b4f42f6513 | 1:e5d8f31df3ad |
---|---|
348 NodeIt v=level_list[++i]; |
348 NodeIt v=level_list[++i]; |
349 while ( v ) { |
349 while ( v ) { |
350 level.set(v,n); |
350 level.set(v,n); |
351 v=right.get(v); |
351 v=right.get(v); |
352 } |
352 } |
353 level_list[i]=NodeIt(); |
353 level_list[i]=NodeIt(); |
354 if ( !what_heur ) active[i]=NodeIt(); |
354 if ( !what_heur ) active[i]=NodeIt(); |
355 } |
355 } |
356 |
356 |
357 level.set(w,n); |
357 level.set(w,n); |
358 b=lev-1; |
358 b=lev-1; |