Start API Documentation stormpy.io UmbExportValueType UmbExportValueType¶ class UmbExportValueType(*values)¶ Bases: Enum Value type for UMB export DEFAULT = 0¶ DOUBLE = 2¶ DOUBLE_INTERVAL = 3¶ RATIONAL = 1¶ RATIONAL_INTERVAL = 4¶