# HG changeset patch
# User Raj Bhattacharjea <raj.b@gatech.edu>
# Date 1233173068 18000
# Node ID 6f9f859bae8b93689c698618c6871bf947551185
# Parent  1a7aced59ed64d9e7ef9f6c9572a1beee53ecd80
Get/Set the package seed in a static variable

diff -r 1a7aced59ed6 -r 6f9f859bae8b src/core/rng-stream.cc
--- a/src/core/rng-stream.cc	Wed Jan 28 13:35:47 2009 -0500
+++ b/src/core/rng-stream.cc	Wed Jan 28 15:04:28 2009 -0500
@@ -367,6 +367,10 @@
 {
   12345.0, 12345.0, 12345.0, 12345.0, 12345.0, 12345.0
 };
+double RngStream::packageSeed[6] =
+{
+  12345.0, 12345.0, 12345.0, 12345.0, 12345.0, 12345.0
+};
 
 //-------------------------------------------------------------------------
 // constructor
@@ -466,7 +470,7 @@
       return false;
     }
   for (int i = 0; i < 6; ++i)
-    nextSeed[i] = seed[i];
+    packageSeed[i] = nextSeed[i] = seed[i];
   return true;
 }
 bool 
@@ -481,7 +485,7 @@
   EnsureGlobalInitialized ();
   for (int i = 0; i < 6; i++)
     {
-      seed[i] = nextSeed[i];
+      seed[i] = static_cast<uint32_t> (packageSeed[i]);
     }
 }
 void 
diff -r 1a7aced59ed6 -r 6f9f859bae8b src/core/rng-stream.h
--- a/src/core/rng-stream.h	Wed Jan 28 13:35:47 2009 -0500
+++ b/src/core/rng-stream.h	Wed Jan 28 15:04:28 2009 -0500
@@ -67,6 +67,7 @@
   double U01d ();
   static uint32_t EnsureGlobalInitialized (void);
 private: //static data
+  static double packageSeed[6];
   static double nextSeed[6];
 };