equal
deleted
inserted
replaced
79 distance.set(v, oldvalue); |
79 distance.set(v, oldvalue); |
80 heap.pop(); |
80 heap.pop(); |
81 |
81 |
82 OutEdgeIt e; |
82 OutEdgeIt e; |
83 for( G.getFirst(e,v); G.valid(e); G.next(e)) { |
83 for( G.getFirst(e,v); G.valid(e); G.next(e)) { |
84 NodeIt w=G.head(e); |
84 NodeIt w=G.bNode(e); |
85 |
85 |
86 if ( !scanned.get(w) ) { |
86 if ( !scanned.get(w) ) { |
87 if ( !reached.get(w) ) { |
87 if ( !reached.get(w) ) { |
88 reached.set(w,true); |
88 reached.set(w,true); |
89 heap.push(w,oldvalue+length.get(e)); |
89 heap.push(w,oldvalue+length.get(e)); |