PrismModelType

class PrismModelType(*values)

Bases: Enum

Type of the prism model

CTMC = 2

CTMDP = 4

DTMC = 1

MA = 5

MDP = 3

POMDP = 6

UNDEFINED = 0