Start API Documentation stormpy.models ModelType ModelType¶ class ModelType(*values)¶ Bases: Enum Type of the model CTMC = 1¶ DTMC = 0¶ MA = 3¶ MDP = 2¶ POMDP = 5¶ SMG = 6¶