src/core/rng-stream.cc
changeset 360 7bffd987426c
parent 346 4a76f247e7dc
child 364 9df87117d468
equal deleted inserted replaced
359:91b7ad7fa784 360:7bffd987426c
   314    anti = false;
   314    anti = false;
   315    incPrec = false;
   315    incPrec = false;
   316    // Stream initialization moved to separate method.
   316    // Stream initialization moved to separate method.
   317 }
   317 }
   318 
   318 
       
   319 RngStream::RngStream(const RngStream& r)
       
   320 {
       
   321    anti = r.anti;
       
   322    incPrec = r.incPrec;
       
   323    for (int i = 0; i < 6; ++i) {
       
   324       Cg[i] = r.Cg[i];
       
   325       Bg[i] = r.Bg[i];
       
   326       Ig[i] = r.Ig[i];
       
   327    }
       
   328 }
       
   329       
       
   330 
   319 void RngStream::InitializeStream()
   331 void RngStream::InitializeStream()
   320 { // Moved from the RngStream constructor above to allow seeding
   332 { // Moved from the RngStream constructor above to allow seeding
   321   // AFTER the global package seed has been set in the Random
   333   // AFTER the global package seed has been set in the Random
   322   // object constructor.
   334   // object constructor.
   323    /* Information on a stream. The arrays {Cg, Bg, Ig} contain the current
   335    /* Information on a stream. The arrays {Cg, Bg, Ig} contain the current