From 11868e05bd19656783e9d46adfc940ac6090380b Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 20 Nov 2009 14:07:28 +0000
Subject: [PATCH] Added -epsilon switch for A-R.

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

diff --git a/prism/src/explicit/STPGAbstractRefine.java b/prism/src/explicit/STPGAbstractRefine.java
index c58e2f59..3086d88d 100644
--- a/prism/src/explicit/STPGAbstractRefine.java
+++ b/prism/src/explicit/STPGAbstractRefine.java
@@ -293,6 +293,10 @@ public abstract class STPGAbstractRefine
 			getModelChecker().setProb0(false);
 		} else if (opt.equals("noprob1")) {
 			getModelChecker().setProb1(false);
+		} else if (opt.equals("epsilon")) {
+			if (optVal != null) {
+				getModelChecker().setTermCritParam(Double.parseDouble(optVal));
+			}
 		} else if (opt.equals("maxrefs")) {
 			if (optVal != null) {
 				setMaxRefinements(Integer.parseInt(optVal));
@@ -598,10 +602,6 @@ public abstract class STPGAbstractRefine
 		ModelCheckerResult res = null;
 		int i, n;
 
-		// Pass settings to model checker
-		mc.setTermCrit(TermCrit.RELATIVE);
-		mc.setTermCritParam(1e-8);
-
 		// Compute lower bounds
 		switch (abstractionType) {
 		case MDP: