ModelCheckerEnvironment¶

class ModelCheckerEnvironment¶

Bases: pybind11_object

Environment for the model checker

conditional( self: stormpy.environments.ModelCheckerEnvironment, ) → stormpy.environments.ConditionalModelCheckerEnvironment¶: Get the conditional model checking environment

property ltl2da_tool¶: Path to external ltl2da tool (None if unset)

multi(self: stormpy.environments.ModelCheckerEnvironment)¶: Get the multi-objective model checking environment

property steady_state_distribution_algorithm¶: Algorithm for steady state distributions