public interface PersistentRandomSource
RandomSource which supports writing a seed to disk, and bootstrapping future instances
of it by reading the seed file from disk.write_seed(boolean) during shutdown to store the seed to disk.Yarrow to this as well.| Modifier and Type | Method and Description |
|---|---|
void |
write_seed(boolean force)
Explanation of the purpose of this mechanism is at its interface
PersistentRandomSource. |
void write_seed(boolean force)
PersistentRandomSource.force - If false, the implementation might decide to ignore this function call if the seed file
was written to disk a short time ago already.