Start Extensions API Documentation stormpy.dft ApproximationHeuristic ApproximationHeuristic¶ class ApproximationHeuristic(*values)¶ Bases: Enum Heuristic for selecting states to explore next BOUND_DIFFERENCE = 2¶ DEPTH = 0¶ PROBABILITY = 1¶