From 6caf2a0b2e7ab1d385a4e40e08e6a087a641cd01 Mon Sep 17 00:00:00 2001
From: Tom Henderson <tomh@tomh.org>
Date: Sun, 1 Mar 2009 11:17:30 -0800
Subject: [PATCH] clarify the working between SeedManager set/get seed and the
 underlying package seed, in comments

---
 src/core/random-variable.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/core/random-variable.h b/src/core/random-variable.h
index cf1525762..50bb3c463 100644
--- a/src/core/random-variable.h
+++ b/src/core/random-variable.h
@@ -53,12 +53,18 @@ public:
    * ExponentialVariable y(120); //as long as the seed stays the same
    * \endcode
    * \param seed
+   *
+   * Note, while the underlying RNG takes six integer values as a seed;
+   * it is sufficient to set these all to the same integer, so we provide
+   * a simpler interface here that just takes one integer.
    */ 
   static void SetSeed (uint32_t seed);
  
   /**
    * \brief Get the seed value
    * \return the seed value
+   *
+   * Note:  returns the first of the six seed values used in the underlying RNG
    */
    static uint32_t GetSeed ();