Start Extensions API Documentation stormpy.dft modules_json modules_json¶ modules_json(dft: DFT) → dict[str, object]¶ Create JSON representation of DFT modules. Parameters: dft – DFT. Returns: JSON object containing all modules in a recursive hierarchy.