equal
deleted
inserted
replaced
48 DfsIterator<Graph, ReachedMap> dfs(g, reached); |
48 DfsIterator<Graph, ReachedMap> dfs(g, reached); |
49 FOR_EACH_LOC(typename Graph::NodeIt, n, g) { |
49 FOR_EACH_LOC(typename Graph::NodeIt, n, g) { |
50 if (!reached[n]) { |
50 if (!reached[n]) { |
51 dfs.pushAndSetReached(n); |
51 dfs.pushAndSetReached(n); |
52 while (!dfs.finished()) { |
52 while (!dfs.finished()) { |
|
53 ++dfs; |
53 if (dfs.isANodeExamined()) { |
54 if (dfs.isANodeExamined()) { |
54 l.push_back(dfs.aNode()); |
55 l.push_back(dfs.aNode()); |
55 } |
56 } |
56 ++dfs; |
|
57 } |
57 } |
58 } |
58 } |
59 } |
59 } |
60 } |
60 } |
61 } //namespace hugo |
61 } //namespace hugo |