From b5c09de4c4b14357a98208b683a6c11aafbd449a Mon Sep 17 00:00:00 2001
From: Ernst Moritz Hahn <emhahn@cs.ox.ac.uk>
Date: Thu, 9 Jan 2014 06:35:22 +0000
Subject: [PATCH] fixed stopping criterion for fast adaptive uniformisation
 when being in array mode

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7817 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/FastAdaptiveUniformisation.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/explicit/FastAdaptiveUniformisation.java b/prism/src/explicit/FastAdaptiveUniformisation.java
index 4ae232ca..a50d9036 100644
--- a/prism/src/explicit/FastAdaptiveUniformisation.java
+++ b/prism/src/explicit/FastAdaptiveUniformisation.java
@@ -882,7 +882,7 @@ public class FastAdaptiveUniformisation extends PrismComponent
 
 		/* iterate using matrix */
 		boolean canArray = true;
-		while (birthProbSum < (1 - 1E-9) && canArray) {
+		while (birthProbSum < (1 - epsilon) && canArray) {
 			//			timer2 = System.currentTimeMillis();
 			double prob = birthProc.calculateNextProb(maxRate);
 			birthProbSum += prob;