Definition acquisition_functions.hpp:16
uint64_t next_seed()
The next seed in the global stream: a distinct, well-mixed 64-bit value per call, reproducible for a ...
void check_deterministic_allowed(const char *operation)
Guard for a nondeterministic code path: call it before running one.
void set_deterministic(bool enabled)
Turns deterministic mode on (the default) or off.
uint64_t global_seed()
The seed most recently passed to set_seed() (0 by default).
bool deterministic()
Whether deterministic mode is on.
void set_seed(uint64_t seed)
Sets the global seed and restarts the seed stream next_seed() draws from.