DftInstantiator

class DftInstantiator[SourceValueType, TargetValueType](dft: stormpy.dft.DFT[stormpy.numbers.RationalFunction])

Instantiator for parametric DFT

Template arguments:

• SourceValueType (type)

• TargetValueType (type)

Available specializations:

• DftInstantiator[stormpy.numbers.RationalFunction, float]

Construction

Initialize with parametric DFT

Members

DftInstantiator.instantiate(

self: stormpy.dft.DftInstantiator[SourceValueType, TargetValueType],

valuation: collections.abc.Mapping[stormpy.numbers.Variable, stormpy.numbers.RationalFunctionCoefficient],

) → stormpy.dft.DFT[float]

Instantiate parametric DFT and obtain concrete DFT