1.1 --- a/src/demo/dim_to_dot.cc Sat Nov 13 12:24:01 2004 +0000
1.2 +++ b/src/demo/dim_to_dot.cc Sat Nov 13 12:53:28 2004 +0000
1.3 @@ -51,7 +51,7 @@
1.4 }
1.5 cout << " edge [ shape=ellipse, fontname=Helvetica, fontsize=10 ];" << endl;
1.6 for(EdgeIt e(g); e!=INVALID; ++e) {
1.7 - cout << " n" << g.id(g.tail(e)) << " -> " << " n" << g.id(g.head(e))
1.8 + cout << " n" << g.id(g.source(e)) << " -> " << " n" << g.id(g.target(e))
1.9 << " [ label=\"" << g.id(e)
1.10 << ", length:" << length[e] << "\" ]; " << endl;
1.11 }