Start API Documentation stormpy.environments NextStateHeuristic NextStateHeuristic¶ class NextStateHeuristic(*values)¶ Bases: Enum Heuristic to choose the next state during exploration DIFFERENCE_PROBABILITY_SUM = 0¶ PROBABILITY = 1¶ UNIFORM = 2¶