projects
/
pspp
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Use macros from cast.h instead of literal casts
[pspp]
/
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);
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
\f
/* Reason that a model checking run terminated. */
enum mc_stop_reason