int get_viewwidth(void);
void init_settings(void) ;
+void done_settings(void) ;
/* Whether pspp can erase and overwrite files */
int safer_mode(void);
/* Whether we echo commands to the listing file/printer;*/
int get_echo(void);
+/* What year to use as the start of the epoch. */
+int get_epoch (void);
+
/* If echo is on, whether commands from include files are echoed */
int get_include(void);
#endif /* !USE_INTERNAL_PAGER */
-/* Return 1 if the seed has been set since the last time this function
- was called.
- Fill the value pointed to by seed with the seed .
-*/
-int seed_is_set(unsigned long *seed);
+#include <gsl/gsl_rng.h>
+gsl_rng *get_rng (void);
+
+
+enum {ENHANCED,COMPATIBLE};
+
+
+/* Set the algorithm option globally */
+void set_algorithm(int x);
+
+/* Set the algorithm option for this command only */
+void set_cmd_algorithm(int x);
+
+/* Unset the algorithm option for this command */
+void unset_cmd_algorithm(void);
+
+/* Return the current algorithm setting */
+int get_algorithm(void);
+
+/* Set the syntax option */
+void set_syntax(int x);
+
+/* Get the current syntax setting */
+int get_syntax(void);
#endif /* !settings_h */