42 start_graph (FILE *fout)  in start_graph()  argument
44   fprintf (fout,  in start_graph()
52   fprintf (fout,  in start_graph()
56   fprintf (fout,  in start_graph()
63 output_node (int id, char const *label, FILE *fout)  in output_node()  argument
65   fprintf (fout, "  %d [label=\"%s\"]\n", id, label);  in output_node()
70              char const *style, FILE *fout)  in output_edge()  argument
72   fprintf (fout, "  %d -> %d [style=%s", source, destination, style);  in output_edge()
74     fprintf (fout, " label=%s", quote (label));  in output_edge()
75   fputs ("]\n", fout);  in output_edge()
101               bool enabled, bool first, FILE *fout)  in conclude_red()  argument
116       fprintf (fout, "  %1$d -> \"%1$dR%2$d%3$s\" [",  in conclude_red()
124           fprintf (fout, "label=\"[%s]\", ", label);  in conclude_red()
129       fprintf (fout, "style=solid]\n");  in conclude_red()
132       fprintf (fout, " \"%dR%d%s\" [label=\"",  in conclude_red()
135         fprintf (fout, "R%d", ruleno);  in conclude_red()
137         fprintf (fout, "Acc");  in conclude_red()
139       fprintf (fout, "\", fillcolor=%s, shape=diamond, style=filled]\n",  in conclude_red()
156 output_red (state const *s, reductions const *reds, FILE *fout)  in output_red()  argument
206       conclude_red (&dout, source, ruleno, false, firstd, fout);  in output_red()
207       conclude_red (&eout, source, ruleno, true, firste && !defaulted, fout);  in output_red()
215 finish_graph (FILE *fout)  in finish_graph()  argument
217   fputs ("}\n", fout);  in finish_graph()