RandomGenerator

Warning

The stormpy developer API is internal and can be subject to change.

class RandomGenerator

Bases: pybind11_object

Random number generator

static create(

seed: SupportsInt | SupportsIndex,

) → stormpy.dft.developer._dft.RandomGenerator

Initialize random number generator