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

@@ -985,6 +985,7 @@ public class MDPSimple extends ModelSimple implements MDP
 				minmax = d;
 			first = false;
 		}
+		minmax += mdpRewards.getStateReward(s);
 
 		return minmax;
 	}

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;
 	}