equal
deleted
inserted
replaced
71 typedef typename Graph::Edge Edge; |
71 typedef typename Graph::Edge Edge; |
72 |
72 |
73 typedef BackCounterMap<NodeMap> ProcessedMap; |
73 typedef BackCounterMap<NodeMap> ProcessedMap; |
74 |
74 |
75 typename Dfs<Graph>::template DefProcessedMap<ProcessedMap>:: |
75 typename Dfs<Graph>::template DefProcessedMap<ProcessedMap>:: |
76 Dfs dfs(graph); |
76 Create dfs(graph); |
77 |
77 |
78 ProcessedMap processed(nodeMap, countNodes(graph)); |
78 ProcessedMap processed(nodeMap, countNodes(graph)); |
79 |
79 |
80 dfs.processedMap(processed); |
80 dfs.processedMap(processed); |
81 dfs.init(); |
81 dfs.init(); |
109 typedef typename Graph::Edge Edge; |
109 typedef typename Graph::Edge Edge; |
110 |
110 |
111 typedef typename Graph::template NodeMap<bool> ProcessedMap; |
111 typedef typename Graph::template NodeMap<bool> ProcessedMap; |
112 |
112 |
113 typename Dfs<Graph>::template DefProcessedMap<ProcessedMap>:: |
113 typename Dfs<Graph>::template DefProcessedMap<ProcessedMap>:: |
114 Dfs dfs(graph); |
114 Create dfs(graph); |
115 |
115 |
116 ProcessedMap processed(graph); |
116 ProcessedMap processed(graph); |
117 dfs.processedMap(processed); |
117 dfs.processedMap(processed); |
118 |
118 |
119 dfs.init(); |
119 dfs.init(); |