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