DFTState

class DFTState[ValueType]

DFT state

Template arguments:

• ValueType (type)

Available specializations:

• DFTState[float]

• DFTState[stormpy.numbers.RationalFunction]

Members

DFTState.dont_care(

self: stormpy.dft.DFTState[ValueType],

id: SupportsInt | SupportsIndex,

) → bool

Is element Don’t Care

DFTState.get_failable_elements(self: stormpy.dft.DFTState[ValueType])

Get failable elements

DFTState.has_failed(

self: stormpy.dft.DFTState[ValueType],

id: SupportsInt | SupportsIndex,

) → bool

Is element failed

DFTState.is_failsafe(

self: stormpy.dft.DFTState[ValueType],

id: SupportsInt | SupportsIndex,

) → bool

Is element fail-safe

DFTState.is_invalid(self: stormpy.dft.DFTState[ValueType]) → bool

Is state invalid

DFTState.is_operational(

self: stormpy.dft.DFTState[ValueType],

id: SupportsInt | SupportsIndex,

) → bool

Is element operational

DFTState.spare_uses(

self: stormpy.dft.DFTState[ValueType],

spare_id: SupportsInt | SupportsIndex,

) → int

Child currently used by a SPARE

DFTState.to_string(self: stormpy.dft.DFTState[ValueType], dft: stormpy.dft.DFT[ValueType]) → str

Print status