JaniModelType

class JaniModelType(*values)

Bases: Enum

Type of the Jani model

CTMC = 3

CTMDP = 5

DTMC = 2

HA = 10

LTS = 1

MA = 6

MDP = 4

PHA = 11

PTA = 8

SHA = 12

STA = 9

TA = 7

UNDEFINED = 0