analyze_dft

Warning

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

analyze_dft(env: storm::dft::DftEnvironment, dft: storm::dft::storage::DFT<double>, properties: collections.abc.Sequence[stormpy.logic.Formula], relevant_events: storm::dft::utility::RelevantEvents) → list[object]

analyze_dft(env: storm::dft::DftEnvironment, dft: storm::dft::storage::DFT<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA, carl::NotRelevant, carl::StdMultivariatePolynomialPolicies<0> > >, true> >, properties: collections.abc.Sequence[stormpy.logic.Formula], relevant_events: storm::dft::utility::RelevantEvents) → list[object]

Analyze the DFT

Analyze the DFT