create_weight_vector_checker

Warning

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

create_weight_vector_checker(

env: stormpy.environments.Environment,

original_model: stormpy.developer.storage._storage._SparseMdp_Double,

original_formula: stormpy.logic.MultiObjectiveFormula,

produce_scheduler: bool,

) → tuple[storm::modelchecker::multiobjective::PcaaWeightVectorChecker<storm::models::sparse::Mdp<double, storm::models::sparse::StandardRewardModel<double> > >, stormpy.developer.storage._storage.SparseModelMemoryProductReverseData | None]

create_weight_vector_checker(

env: stormpy.environments.Environment,

original_model: stormpy.developer.storage._storage._SparseMdp_Rational,

original_formula: stormpy.logic.MultiObjectiveFormula,

produce_scheduler: bool,

) → tuple[storm::modelchecker::multiobjective::PcaaWeightVectorChecker<storm::models::sparse::Mdp<__gmp_expr<__mpq_struct [1], __mpq_struct [1]>, storm::models::sparse::StandardRewardModel<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> > > >, stormpy.developer.storage._storage.SparseModelMemoryProductReverseData | None]

Create checker for weighted sums of objectives. Also returns the data for mapping schedulers back to the original model.

Create checker for weighted sums of objectives. Also returns the data for mapping schedulers back to the original model.