src/graphviz.h


1
2
3
4
5
6
7

#include <stdbool.h>

void start_graph (FILE *fout);
void output_node (int id, char const *label, FILE *fout);
void output_edge (int source, int destination, char const *label,
		  char const *style, FILE *fout);
void finish_graph (FILE *fout);