EnvironmentFactory

Warning

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

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

Bases: pybind11_object

Factory creating environments with default values

Construct factory

create(

self: stormpy.developer._core.EnvironmentFactory,

) → stormpy.environments.Environment

Create a new environment