Searched refs:report_flag (Results 1 – 10 of 10) sorted by relevance
78 if (report_flag & report_itemsets) in print_core()113 if (report_flag & report_lookahead_tokens in print_core()377 if ((report_flag & report_solved_conflicts) && s->solved_conflicts) in print_state()518 if (report_flag & report_itemsets) in print_results()525 if (report_flag & report_itemsets) in print_results()
71 if (report_flag & report_itemsets) in print_core()106 if (report_flag & report_lookahead_tokens in print_core()
89 extern int report_flag;
67 int report_flag = report_none; variable707 report_flag |= report_states; in getargs()
152 if (report_flag) in main()
334 if (report_flag) in compute_output_file_names()
69 if (report_flag & report_solved_conflicts) in log_resolution()
337 | "%verbose" { report_flag |= report_states; }
2418 { report_flag |= report_states; }
16743 * src/print_graph.c: Use report_flag.17724 (report_flag): this.17737 report_flag instead of trace_flag.