From 0983f2f5643e9a53b1f6b08004b611a04cbba511 Mon Sep 17 00:00:00 2001
From: hannah <hannah.mertens@rwth-aachen.de>
Date: Sun, 11 Jul 2021 03:01:25 +0200
Subject: [PATCH] print memory updates

 Conflicts:
	src/storm/storage/Scheduler.cpp
---
 src/storm/storage/Scheduler.cpp | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/storm/storage/Scheduler.cpp b/src/storm/storage/Scheduler.cpp
index 27d5d6d37..f834434ca 100644
--- a/src/storm/storage/Scheduler.cpp
+++ b/src/storm/storage/Scheduler.cpp
@@ -215,6 +215,18 @@ namespace storm {
                         stateString << "undefined.";
                     }
 
+                    if(!isMemorylessScheduler()) {
+                        stateString << "    ";
+                        for (auto const& choiceProbPair : choice.getChoiceAsDistribution()) {
+                            for (auto entryIt = model->getTransitionMatrix().getRow(state + choiceProbPair.first).begin(); entryIt < model->getTransitionMatrix().getRow(state +  choiceProbPair.first).end(); ++entryIt) {
+                                out << ", model state' = " << entryIt->getColumn() << ": (transition = " << state+choiceProbPair.first << ") -> " << "(m' = "<<this->memoryStructure->getSuccessorMemoryState(memoryState, entryIt - model->getTransitionMatrix().begin()) <<")";
+                            }
+
+                        }
+
+                    stateString << std::endl;
+                    }
+
                     // Todo: print memory updates
                     out << stateString.str();
                     out << std::endl;