+/* --report. */
+enum report_e
+ {
+ report_none = 0,
+ report_states = 1 << 0,
+ report_itemsets = 1 << 1,
+ report_lookaheads = 1 << 2,
+ report_solved_conflicts = 1 << 3,
+ report_all = ~0
+ };
+extern int report_flag;
+
+void getargs (int argc, char *argv[]);