From 80b693fee87223cf5626b30bad8f3553872689f6 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 4 Aug 2011 22:09:04 +0000
Subject: [PATCH] Added state rewards into MDP model checking in explicit
 engine.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3372 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/MDPSimple.java | 1 +
 prism/src/explicit/MDPSparse.java | 1 +
 2 files changed, 2 insertions(+)

diff --git a/prism/src/explicit/MDPSimple.java b/prism/src/explicit/MDPSimple.java
index c2397806..e54fa6b3 100644
--- a/prism/src/explicit/MDPSimple.java
+++ b/prism/src/explicit/MDPSimple.java
@@ -985,6 +985,7 @@ public class MDPSimple extends ModelSimple implements MDP
 				minmax = d;
 			first = false;
 		}
+		minmax += mdpRewards.getStateReward(s);
 
 		return minmax;
 	}
diff --git a/prism/src/explicit/MDPSparse.java b/prism/src/explicit/MDPSparse.java
index 5559a717..f6bd0cab 100644
--- a/prism/src/explicit/MDPSparse.java
+++ b/prism/src/explicit/MDPSparse.java
@@ -976,6 +976,7 @@ public class MDPSparse extends ModelSparse implements MDP
 				minmax = d;
 			first = false;
 		}
+		minmax += mdpRewards.getStateReward(s);
 
 		return minmax;
 	}