equal
deleted
inserted
replaced
55 order.push_back(a); |
55 order.push_back(a); |
56 |
56 |
57 OutEdgeIt e; |
57 OutEdgeIt e; |
58 G.first(e,a); |
58 G.first(e,a); |
59 for (;G.valid(e);G.next(e)) { |
59 for (;G.valid(e);G.next(e)) { |
60 Node v = G.head(e); // hmm |
60 Node v = G.target(e); // hmm |
61 if (heap.state(v) == Heap::IN_HEAP ) { |
61 if (heap.state(v) == Heap::IN_HEAP ) { |
62 heap.decrease(v, heap[v]+1); |
62 heap.decrease(v, heap[v]+1); |
63 } |
63 } |
64 else if (heap.state(v) == Heap::PRE_HEAP) { |
64 else if (heap.state(v) == Heap::PRE_HEAP) { |
65 heap.push(v, 1); |
65 heap.push(v, 1); |