Start API Documentation stormpy.environments SteadyStateDistributionAlgorithm SteadyStateDistributionAlgorithm¶ class SteadyStateDistributionAlgorithm(*values)¶ Bases: Enum Algorithm for steady state distribution computation AUTOMATIC = 0¶ CLASSIC = 3¶ EQUATION_SYSTEM = 1¶ EXPECTED_VISITING_TIMES = 2¶