changeset 946 | c94ef40a22ce |
parent 941 | 186aa53d2802 |
child 968 | 1a7593db0eaa |
1:c89b445cafbf | 2:8ed8159c778b |
---|---|
123 paths.clear(); |
123 paths.clear(); |
124 //total_length=0; |
124 //total_length=0; |
125 paths.resize(k); |
125 paths.resize(k); |
126 for (int j=0; j<i; ++j){ |
126 for (int j=0; j<i; ++j){ |
127 Node n=s; |
127 Node n=s; |
128 OutEdgeIt e; |
|
129 |
128 |
130 while (n!=t){ |
129 while (n!=t){ |
131 |
130 |
132 |
131 OutEdgeIt e(G, n); |
133 G.first(e,n); |
|
134 |
132 |
135 while (!reversed[e]){ |
133 while (!reversed[e]){ |
136 ++e; |
134 ++e; |
137 } |
135 } |
138 n = G.head(e); |
136 n = G.head(e); |