Changed all the licence notices in all the files.

[pspp-builds.git] / src / settings.h

diff --git a/src/settings.h b/src/settings.h
index 14f902ec989d5d2c2129f1f26d331721fadffc5e..2c426f94fc6f6e68be32d576c5f190841a695789 100644 (file)
--- a/src/settings.h
+++ b/src/settings.h
@@ -14,8 +14,8 @@
 
    You should have received a copy of the GNU General Public License
    along with this program; if not, write to the Free Software
-   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
-   02111-1307, USA. */
+   Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+   02110-1301, USA. */
 
 #if !settings_h
 #define settings_h 1
@@ -139,6 +139,7 @@ int get_viewlength(void);
 int get_viewwidth(void);
 
 void init_settings(void) ;
+void done_settings(void) ;
 
 /* Whether pspp can erase and overwrite files */
 int safer_mode(void);
@@ -168,6 +169,9 @@ char *get_cprompt(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);
 
@@ -227,11 +231,8 @@ const char *get_pager(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};