model-checker: Add command-line parser for model checking options.

[pspp-builds.git] / src / libpspp / model-checker.h

diff --git a/src/libpspp/model-checker.h b/src/libpspp/model-checker.h
index 205c3fac9a3713a806e31675083ccc55ee947fb0..a7372f8d3faf6066435064372c3279eedc970031 100644 (file)
--- a/src/libpspp/model-checker.h
+++ b/src/libpspp/model-checker.h
@@ -427,6 +427,11 @@ void mc_options_set_progress_func (struct mc_options *, mc_progress_func *);
 
 void *mc_options_get_aux (const struct mc_options *);
 void mc_options_set_aux (struct mc_options *, void *aux);
+
+struct argv_parser;
+void mc_options_register_argv_parser (struct mc_options *,
+                                      struct argv_parser *);
+void mc_options_usage (void);
 \f
 /* Reason that a model checking run terminated. */
 enum mc_stop_reason