export_dft_json_file¶
Warning
The stormpy developer API is internal and can be subject to change.
- export_dft_json_file(dft: storm::dft::storage::DFT<double>, path: str) None¶
- export_dft_json_file(
- dft: storm::dft::storage::DFT<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA,
- carl: :NotRelevant,
- carl: :StdMultivariatePolynomialPolicies<0> > >,
- true> >,
- path: str,
Export DFT to JSON file
Export DFT to JSON file