+void MTPGraph::print_dot() {
+ cout << "digraph {" << endl;
+ cout << " node[shape=circle];" << endl;
+ for(int n = 0; n < _nb_vertices; n++) {
+ int a = vertices[n].id;
+ for(Edge *e = vertices[n].root_edge; e; e = e->next) {
+ int b = e->terminal_vertex->id;
+ if(e->occupied) {
+ cout << " " << b << " -> " << a << " [style=bold,color=black,label=\"" << -e->length << "\"];" << endl;
+ } else {
+ cout << " " << a << " -> " << b << " [color=gray,label=\"" << e->length << "\"];" << endl;
+ }
+ }
+ }
+ cout << "}" << endl;
+}
+