Start API Documentation stormpy UncertaintyResolutionMode UncertaintyResolutionMode¶ class UncertaintyResolutionMode(*values)¶ Bases: Enum How uncertainty in interval models is resolved COOPERATIVE = 3¶ MAXIMIZE = 1¶ MINIMIZE = 0¶ ROBUST = 2¶ UNSET = 4¶