SparseModelMemoryProductReverseData

Warning

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

class SparseModelMemoryProductReverseData

Bases: pybind11_object

Maps schedulers on a memory product back to the original model

create_memory_scheduler_from_product_scheduler(

product_scheduler: storm::storage::Scheduler<double>,

) → storm::storage::Scheduler<double>

create_memory_scheduler_from_product_scheduler(product_scheduler: storm::storage::Scheduler<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >) → storm::storage::Scheduler<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >

create_memory_scheduler_from_product_scheduler(

product_scheduler: storm::storage::Scheduler<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA,

carl: :NotRelevant,

carl: :StdMultivariatePolynomialPolicies<0> > >,

true> >,

) → storm::storage::Scheduler<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA, carl::NotRelevant, carl::StdMultivariatePolynomialPolicies<0> > >, true> >