equal
deleted
inserted
replaced
49 } |
49 } |
50 } |
50 } |
51 } |
51 } |
52 cout << " edge [ shape=ellipse, fontname=Helvetica, fontsize=10 ];" << endl; |
52 cout << " edge [ shape=ellipse, fontname=Helvetica, fontsize=10 ];" << endl; |
53 for(EdgeIt e(g); e!=INVALID; ++e) { |
53 for(EdgeIt e(g); e!=INVALID; ++e) { |
54 cout << " n" << g.id(g.tail(e)) << " -> " << " n" << g.id(g.head(e)) |
54 cout << " n" << g.id(g.source(e)) << " -> " << " n" << g.id(g.target(e)) |
55 << " [ label=\"" << g.id(e) |
55 << " [ label=\"" << g.id(e) |
56 << ", length:" << length[e] << "\" ]; " << endl; |
56 << ", length:" << length[e] << "\" ]; " << endl; |
57 } |
57 } |
58 cout << "}" << endl; |
58 cout << "}" << endl; |
59 } |
59 } |