load_dft_json_file

Warning

The stormpy developer API is internal and can be subject to change.

load_dft_json_file[ValueType](path: str)

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

The default specialization is load_dft_json_file[float].

Template arguments:

• ValueType (type)

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

Load DFT from JSON file