X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fsettings.h;h=14f902ec989d5d2c2129f1f26d331721fadffc5e;hb=721f67e477ee5050961020ed5afd8e0daf42bf2d;hp=5ca015263531f8685b48ab93be4fc0a6fb4201ac;hpb=def7e6026513a3ee7c2b38416b30a2e890e34311;p=pspp

diff --git a/src/settings.h b/src/settings.h
index 5ca0152635..14f902ec98 100644
--- a/src/settings.h
+++ b/src/settings.h
@@ -234,4 +234,26 @@ const char *get_pager(void);
 int seed_is_set(unsigned long *seed);
 
 
+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 */