Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
464dad4af1e01471886341091c1f95a47cd2905f
[simgrid.git] / src / xbt / graph.c
1 /*      $Id$     */
2
3 /* a generic graph library.                                                 */
4
5 /* Copyright (c) 2006 Darina Dimitrova, Arnaud Legrand.                     */
6 /* All rights reserved.                                                     */
7
8 /* This program is free software; you can redistribute it and/or modify it
9  * under the terms of the license (GNU LGPL) which comes with this package. */
10
11 #include <stdlib.h>
12 #include "xbt/sysdep.h"
13 #include "xbt/log.h"
14 #include "xbt/graph.h"
15 #include "graph_private.h"
16 #include "xbt/graphxml_parse.h"
17 #include "xbt/dict.h"
18 #include "xbt/heap.h"
19
20
21
22
23 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_graph, xbt, "Graph");
24
25
26
27 /** @brief Constructor
28  *  @return a new graph
29  */
30 xbt_graph_t xbt_graph_new_graph(unsigned short int directed, void *data)
31 {
32   xbt_graph_t graph = NULL;
33   graph = xbt_new0(struct xbt_graph, 1);
34   graph->directed = directed;
35   graph->data = data;
36   graph->nodes = xbt_dynar_new(sizeof(xbt_node_t), NULL);
37   graph->edges = xbt_dynar_new(sizeof(xbt_edge_t), NULL);
38
39   return graph;
40 }
41
42 /** @brief add a node to the given graph */
43 xbt_node_t xbt_graph_new_node(xbt_graph_t g, void *data)
44 {
45   xbt_node_t node = NULL;
46   node = xbt_new0(struct xbt_node, 1);
47   node->data = data;
48   if (g->directed)
49     /* only the "out" field is used */
50     node->in = xbt_dynar_new(sizeof(xbt_edge_t), NULL);
51
52   node->out = xbt_dynar_new(sizeof(xbt_edge_t), NULL);
53   node->position_x = -1.0;
54   node->position_y = -1.0;
55
56   xbt_dynar_push(g->nodes, &node);
57
58   return node;
59 }
60
61 /** @brief add an edge to the given graph */
62 xbt_edge_t xbt_graph_new_edge(xbt_graph_t g,
63                               xbt_node_t src, xbt_node_t dst, void *data)
64 {
65   xbt_edge_t edge = NULL;
66
67   edge = xbt_new0(struct xbt_edge, 1);
68   xbt_dynar_push(src->out, &edge);
69   if (g->directed)
70     xbt_dynar_push(dst->in, &edge);
71   else                          /* only the "out" field is used */
72     xbt_dynar_push(dst->out, &edge);
73
74   edge->data = data;
75   edge->src = src;
76   edge->dst = dst;
77
78   xbt_dynar_push(g->edges, &edge);
79
80   return edge;
81 }
82
83 xbt_edge_t xbt_graph_get_edge(xbt_graph_t g, xbt_node_t src, xbt_node_t dst)
84 {
85   xbt_edge_t edge;
86   unsigned int cursor;
87
88   xbt_dynar_foreach(src->out, cursor, edge) {
89     DEBUG3("%p = %p--%p",edge,edge->src,edge->dst);
90     if((edge->src==src) && (edge->dst==dst)) return edge;
91   }
92   if(!g->directed) {
93     xbt_dynar_foreach(src->out, cursor, edge) {
94       DEBUG3("%p = %p--%p",edge,edge->src,edge->dst);
95       if((edge->dst==src) && (edge->src==dst)) return edge;
96     }
97   }
98   return NULL;
99 }
100
101 void *xbt_graph_node_get_data(xbt_node_t node)
102 {
103   return node->data;
104 }
105
106 void xbt_graph_node_set_data(xbt_node_t node, void *data)
107 {
108   node->data = data;
109 }
110
111 void *xbt_graph_edge_get_data(xbt_edge_t edge)
112 {
113   return edge->data;
114 }
115
116 void xbt_graph_edge_set_data(xbt_edge_t edge, void *data)
117 {
118   edge->data = data;
119 }
120
121 /** @brief Destructor
122  *  @param g: poor victim
123  *  @param node_free_function: function to use to free data associated to each node
124  *  @param edge_free_function: function to use to free data associated to each edge
125  *  @param graph_free_function: function to use to free data associated to g
126  *
127  * Free the graph structure. 
128  */
129 void xbt_graph_free_graph(xbt_graph_t g,
130                           void_f_pvoid_t node_free_function,
131                           void_f_pvoid_t edge_free_function,
132                           void_f_pvoid_t graph_free_function)
133 {
134   unsigned int cursor = 0;
135   xbt_node_t node = NULL;
136   xbt_edge_t edge = NULL;
137
138
139   xbt_dynar_foreach(g->nodes, cursor, node) {
140     xbt_dynar_free(&(node->out));
141     xbt_dynar_free(&(node->in));
142     if (node_free_function)
143       (*node_free_function)(node->data);
144   }
145
146   xbt_dynar_foreach(g->edges, cursor, edge) {
147     if (edge_free_function)
148       (*edge_free_function)(edge->data);
149   }
150
151   xbt_dynar_foreach(g->nodes, cursor, node)
152       free(node);
153   xbt_dynar_free(&(g->nodes));
154
155   xbt_dynar_foreach(g->edges, cursor, edge)
156       free(edge);
157   xbt_dynar_free(&(g->edges));
158   if(graph_free_function) 
159      (*graph_free_function)(g->data);
160   free(g);
161
162   return;
163 }
164
165
166 /** @brief remove the given node from the given graph */
167 void xbt_graph_free_node(xbt_graph_t g, xbt_node_t n,
168                          void_f_pvoid_t node_free_function,
169                          void_f_pvoid_t edge_free_function)
170 {
171   unsigned long nbr;
172   unsigned long i;
173   unsigned int cursor = 0;
174   xbt_node_t node = NULL;
175   xbt_edge_t edge = NULL;
176
177   nbr = xbt_dynar_length(g->edges);
178   cursor = 0;
179   for (i = 0; i < nbr; i++) {
180     xbt_dynar_get_cpy(g->edges, cursor, &edge);
181
182     if ((edge->dst == n) || (edge->src == n)) {
183       xbt_graph_free_edge(g, edge, edge_free_function);
184     } else
185       cursor ++;
186   }
187
188   if ((node_free_function) && (n->data))
189     (*node_free_function)(n->data);
190
191   cursor = 0;
192   xbt_dynar_foreach(g->nodes, cursor, node)
193     if (node == n)
194       xbt_dynar_cursor_rm(g->nodes, &cursor);
195
196   xbt_dynar_free(&(n->in));
197   xbt_dynar_free(&(n->out));
198
199   free(n);
200
201   return;
202 }
203
204 /** @brief remove the given edge from the given graph */
205 void xbt_graph_free_edge(xbt_graph_t g, xbt_edge_t e,
206                          void_f_pvoid_t free_function)
207 {
208   int idx;
209   unsigned int cursor = 0;
210   xbt_edge_t edge = NULL;
211
212   if ((free_function) && (e->data))
213     (*free_function)(e->data);
214
215   xbt_dynar_foreach(g->edges, cursor, edge) {
216     if (edge == e) {
217       if (g->directed) {
218         idx = __xbt_find_in_dynar(edge->dst->in, edge);
219         xbt_dynar_remove_at(edge->dst->in, idx, NULL);
220       } else {                  /* only the out field is used */
221         idx = __xbt_find_in_dynar(edge->dst->out, edge);
222         xbt_dynar_remove_at(edge->dst->out, idx, NULL);
223       }
224
225       idx = __xbt_find_in_dynar(edge->src->out, edge);
226       xbt_dynar_remove_at(edge->src->out, idx, NULL);
227
228       xbt_dynar_cursor_rm(g->edges, &cursor);
229       free(edge);
230       break;
231     }
232   }
233 }
234
235 int __xbt_find_in_dynar(xbt_dynar_t dynar, void *p)
236 {
237
238   unsigned int cursor = 0;
239   void *tmp = NULL;
240
241   xbt_dynar_foreach(dynar, cursor, tmp) {
242     if (tmp == p)
243       return cursor;
244   }
245   return -1;
246 }
247
248 /** @brief Retrieve the graph's nodes as a dynar */
249 xbt_dynar_t xbt_graph_get_nodes(xbt_graph_t g)
250 {
251   return g->nodes;
252 }
253
254 /** @brief Retrieve the graph's edges as a dynar */
255 xbt_dynar_t xbt_graph_get_edges(xbt_graph_t g)
256 {
257   return g->edges;
258 }
259
260 /** @brief Retrieve the node at the source of the given edge */
261 xbt_node_t xbt_graph_edge_get_source(xbt_edge_t e)
262 {
263
264   return e->src;
265 }
266
267 /** @brief Retrieve the node being the target of the given edge */
268 xbt_node_t xbt_graph_edge_get_target(xbt_edge_t e)
269 {
270   return e->dst;
271 }
272
273
274 /** @brief Set the weight of the given edge */
275 void xbt_graph_edge_set_length(xbt_edge_t e, double length)
276 {
277   e->length = length;
278
279 }
280
281 double xbt_graph_edge_get_length(xbt_edge_t e)
282 {
283   return e->length;
284 }
285
286
287 /** @brief construct the adjacency matrix corresponding to the given graph
288  * 
289  * The weights are the distances between nodes
290  */
291 double *xbt_graph_get_length_matrix(xbt_graph_t g)
292 {
293   unsigned int cursor = 0;
294   unsigned int in_cursor = 0;
295   unsigned long idx, i;
296   unsigned long n;
297   xbt_edge_t edge = NULL;
298   xbt_node_t node = NULL;
299   double *d = NULL;
300
301 # define D(u,v) d[(u)*n+(v)]
302   n = xbt_dynar_length(g->nodes);
303
304   d = (double *) xbt_new0(double, n * n);
305
306   for (i = 0; i < n * n; i++) {
307     d[i] = -1.0;
308   }
309
310   xbt_dynar_foreach(g->nodes, cursor, node) {
311     in_cursor = 0;
312     D(cursor, cursor) = 0;
313
314     xbt_dynar_foreach(node->out, in_cursor, edge) {
315       if (edge->dst == node)
316         idx = __xbt_find_in_dynar(g->nodes, edge->src);
317       else                      /*case of  undirected graphs */
318         idx = __xbt_find_in_dynar(g->nodes, edge->dst);
319       D(cursor, idx) = edge->length;
320     }
321   }
322
323 # undef D
324
325   return d;
326 }
327
328 /** @brief Floyd-Warshall algorithm for shortest path finding
329  * 
330  * From wikipedia: 
331  * 
332  * The Floyd–Warshall algorithm takes as input an adjacency matrix
333  * representation of a weighted, directed graph (V, E). The weight of a
334  * path between two vertices is the sum of the weights of the edges along
335  * that path. The edges E of the graph may have negative weights, but the
336  * graph must not have any negative weight cycles. The algorithm computes,
337  * for each pair of vertices, the minimum weight among all paths between
338  * the two vertices. The running time complexity is Θ(|V|3).
339  */
340 void xbt_floyd_algorithm(xbt_graph_t g, double *adj, double *d,
341                          xbt_node_t * p)
342 {
343   unsigned long i, j, k;
344   unsigned long n;
345   n = xbt_dynar_length(g->nodes);
346
347 # define D(u,v) d[(u)*n+(v)]
348 # define P(u,v) p[(u)*n+(v)]
349
350   for (i = 0; i < n * n; i++) {
351     d[i] = adj[i];
352   }
353
354
355   for (i = 0; i < n; i++) {
356     for (j = 0; j < n; j++) {
357       if (D(i, j) != -1) {
358         P(i, j) = *((xbt_node_t *) xbt_dynar_get_ptr(g->nodes, i));
359       }
360     }
361   }
362
363   for (k = 0; k < n; k++) {
364     for (i = 0; i < n; i++) {
365       for (j = 0; j < n; j++) {
366         if ((D(i, k) != -1) && (D(k, j) != -1)) {
367           if ((D(i, j) == -1) || (D(i, j) > D(i, k) + D(k, j))) {
368             D(i, j) = D(i, k) + D(k, j);
369             P(i, j) = P(k, j);
370           }
371         }
372       }
373     }
374   }
375
376
377
378 # undef P
379 # undef D
380 }
381
382 /** @brief computes all-pairs shortest paths */
383 xbt_node_t *xbt_graph_shortest_paths(xbt_graph_t g)
384 {
385   xbt_node_t *p;
386   xbt_node_t *r;
387   unsigned long i, j, k;
388   unsigned long n;
389
390   double *adj = NULL;
391   double *d = NULL;
392
393 # define P(u,v) p[(u)*n+(v)]
394 # define R(u,v) r[(u)*n+(v)]
395
396   n = xbt_dynar_length(g->nodes);
397   adj = xbt_graph_get_length_matrix(g);
398   d = xbt_new0(double, n * n);
399   p = xbt_new0(xbt_node_t, n * n);
400   r = xbt_new0(xbt_node_t, n * n);
401
402   xbt_floyd_algorithm(g, adj, d, p);
403
404   for (i = 0; i < n; i++) {
405     for (j = 0; j < n; j++) {
406       k = j;
407
408       while ((P(i, k)) && (__xbt_find_in_dynar(g->nodes, P(i, k)) != i)) {
409         k = __xbt_find_in_dynar(g->nodes, P(i, k));
410       }
411
412       if (P(i, j)) {
413         R(i, j) = *((xbt_node_t *) xbt_dynar_get_ptr(g->nodes, k));
414       }
415     }
416   }
417 # undef R
418 # undef P
419
420   free(d);
421   free(p);
422   free(adj);
423   return r;
424 }
425
426 /** @brief Extract a spanning tree of the given graph */
427 xbt_edge_t *xbt_graph_spanning_tree_prim(xbt_graph_t g)
428 {
429   int tree_size = 0;
430   int tree_size_max = xbt_dynar_length(g->nodes) - 1;
431   xbt_edge_t *tree = xbt_new0(xbt_edge_t, tree_size_max);
432   xbt_edge_t e, edge;
433   xbt_node_t node = NULL;
434   xbt_dynar_t edge_list = NULL;
435   xbt_heap_t heap = xbt_heap_new(10, NULL);
436   unsigned int cursor;
437
438   xbt_assert0(!(g->directed),
439               "Spanning trees do not make sense on directed graphs");
440
441   xbt_dynar_foreach(g->nodes, cursor, node) {
442     node->xbtdata = NULL;
443   }
444
445   node = xbt_dynar_getfirst_as(g->nodes, xbt_node_t);
446   node->xbtdata = (void *) 1;
447   edge_list = node->out;
448   xbt_dynar_foreach(edge_list, cursor, e)
449       xbt_heap_push(heap, e, -(e->length));
450
451   while ((edge = xbt_heap_pop(heap))) {
452     if ((edge->src->xbtdata) && (edge->dst->xbtdata))
453       continue;
454     tree[tree_size++] = edge;
455     if (!(edge->src->xbtdata)) {
456       edge->src->xbtdata = (void *) 1;
457       edge_list = edge->src->out;
458       xbt_dynar_foreach(edge_list, cursor, e) {
459         xbt_heap_push(heap, e, -(e->length));
460       }
461     } else {
462       edge->dst->xbtdata = (void *) 1;
463       edge_list = edge->dst->out;
464       xbt_dynar_foreach(edge_list, cursor, e) {
465         xbt_heap_push(heap, e, -(e->length));
466       }
467     }
468     if (tree_size == tree_size_max)
469       break;
470   }
471
472   xbt_heap_free(heap);
473
474   return tree;
475 }
476
477 /** @brief Topological sort on the given graph 
478  *
479  *  From wikipedia:
480  * 
481  * In graph theory, a topological sort of a directed acyclic graph (DAG) is
482  * a linear ordering of its nodes which is compatible with the partial
483  * order R induced on the nodes where x comes before y (xRy) if there's a
484  * directed path from x to y in the DAG. An equivalent definition is that
485  * each node comes before all nodes to which it has edges. Every DAG has at
486  * least one topological sort, and may have many.
487  */
488 xbt_node_t *xbt_graph_topo_sort(xbt_graph_t g)
489 {
490
491   xbt_node_t *sorted;
492   unsigned int cursor;
493   int idx;
494   xbt_node_t node;
495   unsigned long n;
496
497   n = xbt_dynar_length(g->nodes);
498   idx = n - 1;
499
500   sorted = xbt_malloc(n * sizeof(xbt_node_t));
501
502   xbt_dynar_foreach(g->nodes, cursor, node)
503     node->xbtdata = xbt_new0(int, 1);
504
505   xbt_dynar_foreach(g->nodes, cursor, node)
506     xbt_graph_depth_visit(g, node, sorted, &idx);
507
508   xbt_dynar_foreach(g->nodes, cursor, node) {
509     free(node->xbtdata);
510     node->xbtdata = NULL;
511   }
512
513   return sorted;
514 }
515
516 /** @brief First-depth graph traversal */
517 void xbt_graph_depth_visit(xbt_graph_t g, xbt_node_t n,
518                            xbt_node_t * sorted, int *idx)
519 {
520   unsigned int cursor;
521   xbt_edge_t edge;
522
523   if (*((int *) (n->xbtdata)) == ALREADY_EXPLORED)
524     return;
525   else if (*((int *) (n->xbtdata)) == CURRENTLY_EXPLORING)
526     THROW0(0, 0, "There is a cycle");
527   else {
528     *((int *) (n->xbtdata)) = CURRENTLY_EXPLORING;
529
530     xbt_dynar_foreach(n->out, cursor, edge) {
531       xbt_graph_depth_visit(g, edge->dst, sorted, idx);
532     }
533
534     *((int *) (n->xbtdata)) = ALREADY_EXPLORED;
535     sorted[(*idx)--] = n;
536   }
537 }
538
539 /********************* Import and Export ******************/
540 static xbt_graph_t parsed_graph = NULL;
541 static xbt_dict_t parsed_nodes = NULL;
542
543 static void *(*__parse_node_label_and_data) (xbt_node_t, const char *,
544                                              const char *) = NULL;
545 static void *(*__parse_edge_label_and_data) (xbt_edge_t, const char *,
546                                              const char *) = NULL;
547
548 static void __parse_graph_begin(void)
549 {
550   DEBUG0("<graph>");
551   if (A_graphxml_graph_isDirected == A_graphxml_graph_isDirected_true)
552     parsed_graph = xbt_graph_new_graph(1, NULL);
553   else
554     parsed_graph = xbt_graph_new_graph(0, NULL);
555
556   parsed_nodes = xbt_dict_new();
557 }
558
559 static void __parse_graph_end(void)
560 {
561   xbt_dict_free(&parsed_nodes);
562   DEBUG0("</graph>");
563 }
564
565 static void __parse_node(void)
566 {
567   xbt_node_t node = xbt_graph_new_node(parsed_graph, NULL);
568
569   DEBUG1("<node name=\"%s\"/>", A_graphxml_node_name);
570   if (__parse_node_label_and_data)
571     node->data = __parse_node_label_and_data(node, A_graphxml_node_label,
572                                              A_graphxml_node_data);
573   xbt_graph_parse_get_double(&(node->position_x),
574                              A_graphxml_node_position_x);
575   xbt_graph_parse_get_double(&(node->position_y),
576                              A_graphxml_node_position_y);
577
578   xbt_dict_set(parsed_nodes, A_graphxml_node_name, (void *) node, NULL);
579 }
580
581 static void __parse_edge(void)
582 {
583   xbt_edge_t edge = xbt_graph_new_edge(parsed_graph,
584                                        xbt_dict_get(parsed_nodes,
585                                                     A_graphxml_edge_source),
586                                        xbt_dict_get(parsed_nodes,
587                                                     A_graphxml_edge_target),
588                                        NULL);
589
590   if (__parse_edge_label_and_data)
591     edge->data = __parse_edge_label_and_data(edge, A_graphxml_edge_label,
592                                              A_graphxml_edge_data);
593
594   xbt_graph_parse_get_double(&(edge->length), A_graphxml_edge_length);
595
596   DEBUG3("<edge  source=\"%s\" target=\"%s\" length=\"%f\"/>",
597          (char *) (edge->src)->data,
598          (char *) (edge->dst)->data, xbt_graph_edge_get_length(edge));
599 }
600
601 /** @brief Import a graph from a file following the GraphXML format */
602 xbt_graph_t xbt_graph_read(const char *filename,
603                            void *(*node_label_and_data) (xbt_node_t,
604                                                         const char *,
605                                                         const char *),
606                            void *(*edge_label_and_data) (xbt_edge_t,
607                                                         const char *,
608                                                         const char *))
609 {
610
611   xbt_graph_t graph = NULL;
612
613   __parse_node_label_and_data = node_label_and_data;
614   __parse_edge_label_and_data = edge_label_and_data;
615
616   xbt_graph_parse_reset_parser();
617
618   STag_graphxml_graph_fun = __parse_graph_begin;
619   ETag_graphxml_graph_fun = __parse_graph_end;
620   ETag_graphxml_node_fun = __parse_node;
621   ETag_graphxml_edge_fun = __parse_edge;
622
623   xbt_graph_parse_open(filename);
624   xbt_assert1((!(*xbt_graph_parse)()), "Parse error in %s", filename);
625   xbt_graph_parse_close();
626
627   graph = parsed_graph;
628   parsed_graph = NULL;
629
630   return graph;
631 }
632
633 /** @brief Export the given graph in the GraphViz formatting for visualization */
634 void xbt_graph_export_graphviz(xbt_graph_t g, const char *filename,
635                                const char *(node_name) (xbt_node_t),
636                                const char *(edge_name) (xbt_edge_t))
637 {
638   unsigned int cursor = 0;
639   xbt_node_t node = NULL;
640   xbt_edge_t edge = NULL;
641   FILE *file = NULL;
642   const char *name = NULL;
643
644   file = fopen(filename, "w");
645   xbt_assert1(file, "Failed to open %s \n", filename);
646
647   if (g->directed)
648     fprintf(file, "digraph test {\n");
649   else
650     fprintf(file, "graph test {\n");
651
652   fprintf(file, "  graph [overlap=scale]\n");
653
654   fprintf(file, "  node [shape=box, style=filled]\n");
655   fprintf(file,
656           "  node [width=.3, height=.3, style=filled, color=skyblue]\n\n");
657
658   xbt_dynar_foreach(g->nodes, cursor, node) {
659     fprintf(file, "  \"%p\" ", node);
660     if ((node_name) && ((name = node_name(node))))
661       fprintf(file, "[label=\"%s\"]", name);
662     fprintf(file, ";\n");
663   }
664   xbt_dynar_foreach(g->edges, cursor, edge) {
665     if (g->directed)
666       fprintf(file, "  \"%p\" -> \"%p\"", edge->src, edge->dst);
667     else
668       fprintf(file, "  \"%p\" -- \"%p\"", edge->src, edge->dst);
669     if ((edge_name) && ((name = edge_name(edge))))
670       fprintf(file, "[label=\"%s\"]", name);
671     fprintf(file, ";\n");
672   }
673   fprintf(file, "}\n");
674   fclose(file);
675 }
676
677 /** @brief Export the given graph in the GraphXML format */
678 void xbt_graph_export_graphxml(xbt_graph_t g, const char *filename,
679                                const char *(node_name) (xbt_node_t),
680                                const char *(edge_name) (xbt_edge_t),
681                                const char *(node_data_print) (void *),
682                                const char *(edge_data_print) (void *))
683 {
684   unsigned int cursor = 0;
685   xbt_node_t node = NULL;
686   xbt_edge_t edge = NULL;
687   FILE *file = NULL;
688   const char *name = NULL;
689
690   file = fopen(filename, "w");
691   xbt_assert1(file, "Failed to open %s \n", filename);
692
693   fprintf(file, "<?xml version='1.0'?>\n");
694   fprintf(file, "<!DOCTYPE graph SYSTEM \"graphxml.dtd\">\n");
695   if (g->directed)
696     fprintf(file, "<graph isDirected=\"true\">\n");
697   else
698     fprintf(file, "<graph isDirected=\"false\">\n");
699   xbt_dynar_foreach(g->nodes, cursor, node) {
700     fprintf(file, "  <node name=\"%p\" ", node);
701     if ((node_name) && ((name = node_name(node))))
702       fprintf(file, "label=\"%s\" ", name);
703     if ((node_data_print) && ((name = node_data_print(node->data))))
704       fprintf(file, "data=\"%s\" ", name);
705     fprintf(file, ">\n");
706   }
707   xbt_dynar_foreach(g->edges, cursor, edge) {
708     fprintf(file, "  <edge source=\"%p\" target =\"%p\" ",
709             edge->src, edge->dst);
710     if ((edge_name) && ((name = edge_name(edge))))
711       fprintf(file, "label=\"%s\" ", name);
712     if (edge->length >= 0.0)
713       fprintf(file, "length=\"%g\" ", edge->length);
714     if ((edge_data_print) && ((name = edge_data_print(edge->data))))
715       fprintf(file, "data=\"%s\" ", name);
716     fprintf(file, ">\n");
717   }
718   fprintf(file, "</graph>\n");
719   fclose(file);
720 }