build_model¶

Warning

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

build_model( env: storm::dft::DftEnvironment, dft: storm::dft::storage::DFT<double>, symmetries: storm::dft::storage::DftSymmetries, relevant_events: storm::dft::utility::RelevantEvents, ) → stormpy.developer.storage._storage._SparseModel_Double¶

build_model( env: storm::dft::DftEnvironment, dft: storm::dft::storage::DFT<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA, carl: :NotRelevant, carl: :StdMultivariatePolynomialPolicies<0> > >, true> >, symmetries: storm::dft::storage::DftSymmetries, relevant_events: storm::dft::utility::RelevantEvents, ) → stormpy.developer.storage._storage._SparseModel_RationalFunction

Build state-space model (CTMC or MA) for DFT