load_dft_json_string

load_dft_json_string[ValueType](json_string: str)

Select a specialization with load_dft_json_string[ValueType](...).

The default specialization is load_dft_json_string[float].

Template arguments:

• ValueType (type)

Supported specializations: load_dft_json_string[float], load_dft_json_string[stormpy.numbers.RationalFunction].

Load DFT from JSON string