equal
deleted
inserted
replaced
70 _ancestor_map[node] = _order_list.size(); |
70 _ancestor_map[node] = _order_list.size(); |
71 _order_list.push_back(node); |
71 _order_list.push_back(node); |
72 } |
72 } |
73 |
73 |
74 void discover(const Arc& arc) { |
74 void discover(const Arc& arc) { |
75 Node source = _graph.source(arc); |
|
76 Node target = _graph.target(arc); |
75 Node target = _graph.target(arc); |
77 |
76 |
78 _tree_map[arc] = true; |
77 _tree_map[arc] = true; |
79 _pred_map[target] = arc; |
78 _pred_map[target] = arc; |
80 } |
79 } |