KavrakiLab / robowflex

Making MoveIt Easy!
https://kavrakilab.github.io/robowflex/
Other
114 stars 24 forks source link

[FEATURE] Allow the user to change the seed of the random number generator #285

Closed carlosquinterop closed 2 years ago

carlosquinterop commented 2 years ago

Currently, the random number generator uses the mt13937 default seed and it can not be modified, which obviously generates identical sequences between different runs. Full seed management would probably require creating a new class (and transforming the current version of the random number generator to a class). An easy solution in the mean time is just adding a new function within the namespace that lets the user selects a new seed.