equal
deleted
inserted
replaced
20 public: |
20 public: |
21 EdgeNameMap(Graph& _graph, NodeNameMap& _node_name_map) : |
21 EdgeNameMap(Graph& _graph, NodeNameMap& _node_name_map) : |
22 graph(_graph), node_name_map(_node_name_map) { } |
22 graph(_graph), node_name_map(_node_name_map) { } |
23 string get(typename Graph::Edge e) const { |
23 string get(typename Graph::Edge e) const { |
24 return |
24 return |
25 (node_name_map.get(graph.tail(e))+"->"+node_name_map.get(graph.head(e))); |
25 (node_name_map.get(graph.source(e))+"->"+node_name_map.get(graph.target(e))); |
26 } |
26 } |
27 }; |
27 }; |
28 |
28 |
29 int main (int, char*[]) |
29 int main (int, char*[]) |
30 { |
30 { |