Environment

class Environment(self: stormpy.environments.Environment)

Bases: pybind11_object

Environment configuring the algorithms of Storm

Construct default environment

dd(self: stormpy.environments.Environment)

Get the dd part of the environment

exploration(self: stormpy.environments.Environment)

Get the exploration part of the environment

property model_tolerance

Tolerance for numerical deviations in the model

modelchecker(self: stormpy.environments.Environment)

Get the model checker part of the environment

solver(self: stormpy.environments.Environment)

Get the solver part of the environment