src/core/rng-stream.h
changeset 4231 6f9f859bae8b
parent 4224 40e5d5af3c71
child 4234 7ec503ed040d
equal deleted inserted replaced
4230:1a7aced59ed6 4231:6f9f859bae8b
    65   bool anti, incPrec;
    65   bool anti, incPrec;
    66   double U01 ();
    66   double U01 ();
    67   double U01d ();
    67   double U01d ();
    68   static uint32_t EnsureGlobalInitialized (void);
    68   static uint32_t EnsureGlobalInitialized (void);
    69 private: //static data
    69 private: //static data
       
    70   static double packageSeed[6];
    70   static double nextSeed[6];
    71   static double nextSeed[6];
    71 };
    72 };
    72 
    73 
    73 } //namespace ns3
    74 } //namespace ns3
    74 
    75