EnvironmentBuilder

Warning

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

class EnvironmentBuilder

Bases: pybind11_object

Builds an environment from the current Storm settings

static build_environment() → stormpy.environments.Environment

Build an environment whose solver and model checker configuration is taken from the current Storm settings