Start API Documentation stormpy.environments MinMaxMethod MinMaxMethod¶ class MinMaxMethod(*values)¶ Bases: Enum Method for min-max equation systems INTERVAL_ITERATION = 5¶ LINEAR_PROGRAMMING = 2¶ OPTIMISTIC_VALUE_ITERATION = 7¶ POLICY_ITERATION = 1¶ RATIONAL_SEARCH = 4¶ SOUND_VALUE_ITERATION = 6¶ TOPOLOGICAL = 3¶ VALUE_ITERATION = 0¶