diff --git a/src/storage/valuation.cpp b/src/storage/valuation.cpp index 212a01d..06f4b8e 100644 --- a/src/storage/valuation.cpp +++ b/src/storage/valuation.cpp @@ -9,7 +9,7 @@ void define_statevaluation(py::module& m) { py::class_> statevaluation(m,"StateValuation", "Valuations for explicit states"); - statevaluation.def("get_state", &storm::storage::sparse::StateValuations::getStateValuation) + statevaluation.def("get_state", &storm::storage::sparse::StateValuations::getStateValuation, py::return_value_policy::reference) ; } @@ -18,5 +18,5 @@ void define_simplevaluation(py::module& m) { py::class_> simplevaluation(m, "SimpleValuation", "Valuations for storm variables"); simplevaluation.def("get_boolean_value", &storm::expressions::SimpleValuation::getBooleanValue); simplevaluation.def("get_integer_value", &storm::expressions::SimpleValuation::getIntegerValue); - simplevaluation.def("__str__", &storm::expressions::SimpleValuation::toString); + simplevaluation.def("__str__", &storm::expressions::SimpleValuation::toString, py::arg("pretty")=true); }