load_dft_json_file

load_dft_json_file[ValueType](path: str | os.PathLike[str]) → stormpy.dft.DFT

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 a DFT from a file in the JSON format.

The value type of the DFT is selected via subscript, e.g. load_dft_json_file[stormpy.RationalFunction](path): float (default) or RationalFunction (parametric).

Parameters:

path – Path to the JSON file (string or path-like object).

Returns:

The DFT.

Raises:

TypeError – If the value type is not supported.