Searched defs:fgraph (Results 1 – 1 of 1) sorted by relevance
140 print_actions (state const *s, FILE *fgraph) in print_actions()178 print_state (state *s, FILE *fgraph) in print_state()198 FILE *fgraph = xfopen (spec_graph_file, "w"); in print_graph() local