|
|
lucid
0.0.1
Lifting-based Uncertain Control Invariant Dynamics
|
Collection of random functions. More...
Functions | |
| void | seed (int seed) |
| Seed the random number generator. | |
Variables | |
| std::mt19937 | gen {std::random_device{}()} |
| Global random number generator instance. | |
Collection of random functions.
| void lucid::random::seed | ( | int | seed | ) |
Seed the random number generator.
This is used to ensure reproducibility between runs of the program. If the seed is not set, the generator will use a std::random_device to generate a random seed.
| seed | value to use for the random number generator. If negative, a random seed will be generated. |