DFT

class DFT[ValueType](dft: stormpy.dft.DFT[ValueType])

Dynamic Fault Tree

Template arguments:

• ValueType (type)

Available specializations:

• DFT[float]

• DFT[stormpy.numbers.RationalFunction]

Construction

Copy a Dynamic Fault Tree

The specialization can be inferred from the first positional constructor argument (alternatively, the dft keyword argument).

Members

DFT.build_state_generation_info(

self: stormpy.dft.DFT[ValueType],

symmetries: stormpy.dft.DftSymmetries,

) → stormpy.dft.developer.DFTStateGenerationInfo

Build state generation information

DFT.can_have_nondeterminism(self: stormpy.dft.DFT[ValueType]) → bool

Whether the model can contain non-deterministic choices

DFT.get_element(self: stormpy.dft.DFT[ValueType], index: SupportsInt | SupportsIndex)

Get DFT element at index

DFT.get_element_by_name(self: stormpy.dft.DFT[ValueType], name: str)

Get DFT element by name

DFT.get_elements_string(self: stormpy.dft.DFT[ValueType]) → str

DFT.get_parameters(self)

Available only for: DFT[stormpy.numbers.RationalFunction].

Return the parameters occurring in this parametric DFT.

DFT.modules(self: stormpy.dft.DFT[ValueType])

Compute independent modules of DFT

DFT.nr_basic_elements(self: stormpy.dft.DFT[ValueType]) → int

Number of basic elements

DFT.nr_dynamic_elements(self: stormpy.dft.DFT[ValueType]) → int

Number of dynamic elements

DFT.nr_elements(self: stormpy.dft.DFT[ValueType]) → int

Total number of elements

DFT.set_relevant_events(

self: stormpy.dft.DFT[ValueType],

relevant_events,

allow_dc_for_relevant: bool,

) → None

DFT.symmetries(self: stormpy.dft.DFT[ValueType]) → stormpy.dft.DftSymmetries

Compute symmetries in DFT

property DFT.top_level_element

Get top level element