Adaption to changes in storm-pomdp (#119)

Author: volkm

src/pomdp/transformations.cpp

@@ -22,7 +22,7 @@ std::shared_ptr<storm::models::sparse::Pomdp<ValueType>> unfold_memory(storm::mo
 template<typename ValueType>
 std::shared_ptr<storm::models::sparse::Pomdp<ValueType>> make_simple(storm::models::sparse::Pomdp<ValueType> const& pomdp, bool keepStateValuations) {
     storm::transformer::BinaryPomdpTransformer<ValueType> transformer;
-    return transformer.transform(pomdp,true, keepStateValuations);
+    return transformer.transform(pomdp,true, keepStateValuations).transformedPomdp;
 }
 
 template<typename ValueType>
@@ -66,4 +66,4 @@ void define_transformations(py::module& m, std::string const& vtSuffix) {
 
 template void define_transformations<double>(py::module& m, std::string const& vtSuffix);
 template void define_transformations<storm::RationalNumber>(py::module& m, std::string const& vtSuffix);
-template void define_transformations<storm::RationalFunction>(py::module& m, std::string const& vtSuffix);
+template void define_transformations<storm::RationalFunction>(py::module& m, std::string const& vtSuffix);