equal
deleted
inserted
replaced
202 |
202 |
203 SmartUGraph::UEdgeMap<Value> aux_cost(aux_graph); |
203 SmartUGraph::UEdgeMap<Value> aux_cost(aux_graph); |
204 SmartUGraph::UEdgeMap<UEdge> cross(aux_graph); |
204 SmartUGraph::UEdgeMap<UEdge> cross(aux_graph); |
205 { |
205 { |
206 int i = 0; |
206 int i = 0; |
207 while (i < (int)externals.size()) { |
207 while (i < int(externals.size())) { |
208 int sn = externals[i].source; |
208 int sn = externals[i].source; |
209 int tn = externals[i].target; |
209 int tn = externals[i].target; |
210 Value ev = externals[i].value; |
210 Value ev = externals[i].value; |
211 UEdge ee = externals[i].uedge; |
211 UEdge ee = externals[i].uedge; |
212 ++i; |
212 ++i; |
213 while (i < (int)externals.size() && |
213 while (i < int(externals.size()) && |
214 sn == externals[i].source && tn == externals[i].target) { |
214 sn == externals[i].source && tn == externals[i].target) { |
215 if (externals[i].value < ev) { |
215 if (externals[i].value < ev) { |
216 ev = externals[i].value; |
216 ev = externals[i].value; |
217 ee = externals[i].uedge; |
217 ee = externals[i].uedge; |
218 } |
218 } |