.def("reduce_to_state_based_rewards",[](RewardModel<double>&rewardModel,SparseMatrix<double>const&transitions,boolonlyStateRewards){returnrewardModel.reduceToStateBasedRewards(transitions,onlyStateRewards);},py::arg("transition_matrix"),py::arg("only_state_rewards"),"Reduce to state-based rewards")
.def("reduce_to_state_based_rewards",[](RewardModel<double>&rewardModel,SparseMatrix<double>const&transitions,boolonlyStateRewards){returnrewardModel.reduceToStateBasedRewards(transitions,onlyStateRewards);},py::arg("transition_matrix"),py::arg("only_state_rewards"),"Reduce to state-based rewards")
;
;
@ -203,6 +204,8 @@ void define_model(py::module& m) {
.def("reduce_to_state_based_rewards",[](RewardModel<storm::RationalFunction>&rewardModel,SparseMatrix<storm::RationalFunction>const&transitions,boolonlyStateRewards){returnrewardModel.reduceToStateBasedRewards(transitions,onlyStateRewards);},py::arg("transition_matrix"),py::arg("only_state_rewards"),"Reduce to state-based rewards")
.def("reduce_to_state_based_rewards",[](RewardModel<storm::RationalFunction>&rewardModel,SparseMatrix<storm::RationalFunction>const&transitions,boolonlyStateRewards){returnrewardModel.reduceToStateBasedRewards(transitions,onlyStateRewards);},py::arg("transition_matrix"),py::arg("only_state_rewards"),"Reduce to state-based rewards")