ExactEnvironmentFactory

Warning

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

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

Bases: EnvironmentFactory

Factory creating environments which enforce exact computations

Construct factory

create(

self: stormpy.developer._core.EnvironmentFactory,

) → stormpy.environments.Environment

Create a new environment