DFTElementType

class DFTElementType(*values)

Bases: Enum

AND = 1

BE = 0

MUTEX = 9

OR = 2

PAND = 4

PDEP = 7

POR = 5

SEQ = 8

SPARE = 6

VOT = 3

friendly_name(self: stormpy.dft.DFTElementType) → str