DFTDependency

class DFTDependency[ValueType]

Dependency

Template arguments:

• ValueType (type)

Available specializations:

• DFTDependency[float]

• DFTDependency[stormpy.numbers.RationalFunction]

Members

property DFTDependency.dependent_events

Dependent events

property DFTDependency.id

Id

property DFTDependency.is_fdep

Whether the dependency is an FDEP (represented as PDEP with probability 1)

property DFTDependency.name

Name

property DFTDependency.trigger_event

Trigger event

property DFTDependency.type

Type