wdm::random::RandomGenerator Class Reference

Random-number generator used for reproducible randomized tie breaking. More...

#include <random.hpp>

Detailed Description

Random-number generator used for reproducible randomized tie breaking.

---

The documentation for this class was generated from the following file:

• include/wdm/random.hpp