X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Frandom.h;h=85959677a86ca5a6f3f74058e9190b89406771f7;hb=0ef6ac022673935ef842a1059aad45b89d59f025;hp=21aef7c96191cdac332a8a3aec0d4ded141de3f5;hpb=3a7fba81ceae5b049d0f7d671e9e3c3c43bbf703;p=pspp

diff --git a/src/random.h b/src/random.h
index 21aef7c961..85959677a8 100644
--- a/src/random.h
+++ b/src/random.h
@@ -1,5 +1,5 @@
 /* PSPP - computes sample statistics.
-   Copyright (C) 1997-9, 2000 Free Software Foundation, Inc.
+   Copyright (C) 1997-9, 2000, 2005 Free Software Foundation, Inc.
    Written by Ben Pfaff <blp@gnu.org>.
 
    This program is free software; you can redistribute it and/or
@@ -14,23 +14,18 @@
 
    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 !random_h
-#define random_h 1
+#ifndef RANDOM_H
+#define RANDOM_H 1
 
-#include <stddef.h>
+#include <gsl/gsl_rng.h>
 
-struct rng *rng_create (void);
-void rng_destroy (struct rng *);
-void rng_seed (struct rng *, const void *, size_t);
-void rng_get_bytes (struct rng *, void *, size_t);
-int rng_get_int (struct rng *);
-unsigned rng_get_unsigned (struct rng *);
-double rng_get_double (struct rng *);
-double rng_get_double_normal (struct rng *);
+void random_init (void);
+void random_done (void);
 
-struct rng *pspp_rng (void);
+gsl_rng *get_rng (void);
+void set_rng (unsigned long seed);
 
 #endif /* random.h */