22 for (
const auto& v : pair.source.vertices())
24 pair.dist[v] = SourcePair::infinity;
25 pair.prev[v] = SourcePair::undefined;
32 auto vert = pair.result.vertex;
33 pair.result.remove(vert);
35 for (
auto& v : pair.graph)
37 const auto& alt = pair.dist[v.u] + pair.graph.distance(v.u, v.v);
39 if (alt < pair.dist[v.u])
42 pair.prev[v.v] = vert;