SoundEnvironmentFactory

Warning

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

class SoundEnvironmentFactory(self: stormpy.developer._core.SoundEnvironmentFactory)

Bases: EnvironmentFactory

Factory creating environments which enforce sound computations

Construct factory

create(

self: stormpy.developer._core.EnvironmentFactory,

) → stormpy.environments.Environment

Create a new environment