| changeset 2301 | eb378706bd3d |
| parent 2257 | 0a9393adc747 |
| child 2355 | ac0d843b8873 |
| 4:d4b4ea5e3fd4 | 5:5f956d665e24 |
|---|---|
387 ws.push_back((Word)*it); |
387 ws.push_back((Word)*it); |
388 } |
388 } |
389 rnd.initState(ws.begin(), ws.end()); |
389 rnd.initState(ws.begin(), ws.end()); |
390 } |
390 } |
391 |
391 |
392 template <typename Iterator> |
|
393 static void init(RandomCore<Word>& rnd, Result seed) { |
392 static void init(RandomCore<Word>& rnd, Result seed) { |
394 rnd.initState(seed); |
393 rnd.initState(seed); |
395 } |
394 } |
396 }; |
395 }; |
397 |
396 |