From b811ebcf88112c342a499fdc0107ab39acf42ee2 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 28 Mar 2017 22:29:35 +0200
Subject: [PATCH] dd-based policy iteration appears to be working

---
 src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp b/src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp
index 9769da00f..1ded07a38 100644
--- a/src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp
+++ b/src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp
@@ -156,6 +156,8 @@ namespace storm {
                 
                 // Policy improvement step.
                 storm::dd::Add<DdType, ValueType> tmp = this->A.multiplyMatrix(schedulerX.swapVariables(this->rowColumnMetaVariablePairs), this->columnMetaVariables);
+                tmp += b;
+                
                 storm::dd::Bdd<DdType> nextScheduler;
                 if (minimize) {
                     tmp += illegalMaskAdd;