Start Extensions API Documentation stormpy.dft export_dft_json_file export_dft_json_file¶ export_dft_json_file(dft: DFT, path: str | PathLike[str]) → None¶ Export a DFT to a file in the JSON format. Parameters: dft – DFT. path – Path of the output file (string or path-like object).