DFTElement

class DFTElement[ValueType]

DFT element

Template arguments:

• ValueType (type)

Available specializations:

• DFTElement[float]

• DFTElement[stormpy.numbers.RationalFunction]

Members

property DFTElement.id

Id

property DFTElement.name

Name

property DFTElement.type

Type