From 3295869453218f41c599123155048fbdf467d746 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 22 Oct 2012 14:28:13 +0000
Subject: [PATCH] Fix mvMultRewJacSingle method for DTMCEmbeddedSimple (for
 Hongyang).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5780 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/DTMCEmbeddedSimple.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/explicit/DTMCEmbeddedSimple.java b/prism/src/explicit/DTMCEmbeddedSimple.java
index dbaefa78..86b5985a 100644
--- a/prism/src/explicit/DTMCEmbeddedSimple.java
+++ b/prism/src/explicit/DTMCEmbeddedSimple.java
@@ -331,8 +331,8 @@ public class DTMCEmbeddedSimple extends DTMCExplicit
 		else {
 			// (rew(s) + sum_{j!=s} P(s,j)*vect[j]) / (1-P(s,s))
 			// = (rew(s) + sum_{j!=s} (R(s,j)/E(s))*vect[j]) / (1-(P(s,s)/E(s)))
-			// = (rew(s) + sum_{j!=s} R(s,j)*vect[j]) / (E(s)-P(s,s))
-			d = mcRewards.getStateReward(s);
+			// = (E(s)*rew(s) + sum_{j!=s} R(s,j)*vect[j]) / (E(s)-P(s,s))
+			d = er * mcRewards.getStateReward(s);
 			for (Map.Entry<Integer, Double> e : distr) {
 				k = (Integer) e.getKey();
 				prob = (Double) e.getValue();