DFTBE

class DFTBE[ValueType]

Basic Event

Template arguments:

• ValueType (type)

Available specializations:

• DFTBE[float]

• DFTBE[stormpy.numbers.RationalFunction]

Members

property DFTBE.id

Id

property DFTBE.name

Name

property DFTBE.type

Type