Searched refs:fgraph (Results 1 – 1 of 1) sorted by relevance
42 static FILE *fgraph = NULL; variable146 open_edge (&e, fgraph); in print_actions()157 output_edge (&e, fgraph); in print_actions()158 close_edge (fgraph); in print_actions()184 open_node (fgraph); in print_state()185 output_node (&n, fgraph); in print_state()186 close_node (fgraph); in print_state()201 fgraph = xfopen (spec_graph_file, "w"); in print_graph()215 open_graph (fgraph); in print_graph()216 output_graph (&static_graph, fgraph); in print_graph()[all …]