- if (n->getRMW() != NULL) {
- print_node(n, file, 0);
- fprintf(file, " -> ");
- print_node(n->getRMW(), file, 0);
- fprintf(file, "[style=dotted];\n");
- }
- for (unsigned int j = 0; j < n->getNumEdges(); j++) {
- print_node(n, file, 0);
- fprintf(file, " -> ");
- print_node(n->getEdge(j), file, 0);
- fprintf(file, ";\n");
- }
+ if (n->getRMW())
+ print_edge(file, n, n->getRMW(), "style=dotted");
+ for (unsigned int j = 0; j < n->getNumEdges(); j++)
+ print_edge(file, n, n->getEdge(j), NULL);