From cdfbe8d4bb057188b411851e6561d82e8977ccce Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Sun, 24 May 2020 22:21:55 -0700
Subject: [PATCH] from pomdp to pmc now preserves state valuations

---
 src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp b/src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp
index 22bf11cfe..b0f1837cb 100644
--- a/src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp
+++ b/src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp
@@ -122,6 +122,8 @@ namespace storm {
             }
             
             modelComponents.stateLabeling = pomdp.getStateLabeling();
+            modelComponents.stateValuations = pomdp.getOptionalStateValuations();
+
             
             return std::make_shared<storm::models::sparse::Dtmc<storm::RationalFunction>>(modelComponents);