MatrixFormat

Warning

The stormpy developer API is internal and can be subject to change.

class MatrixFormat(*values)

Bases: Enum

Format of a given transition matrix: either P itself or I-P

I_MINUS_P = 1

STRAIGHT = 0