From 7ab0f64ad0ea5d3c3df33609ceea9c2a67eaff75 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 30 Apr 2010 12:03:06 +0000
Subject: [PATCH] Added option to set epsilon for A-R loop.

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

diff --git a/prism/src/explicit/STPGAbstractRefine.java b/prism/src/explicit/STPGAbstractRefine.java
index 8b96d8e1..e41626af 100644
--- a/prism/src/explicit/STPGAbstractRefine.java
+++ b/prism/src/explicit/STPGAbstractRefine.java
@@ -285,6 +285,10 @@ public abstract class STPGAbstractRefine
 						throw new PrismException("Unknown refinement option \"" + ss[1] + "\"");
 				}
 			}
+		} else if (opt.equals("epsilonref") || opt.equals("eref")) {
+			if (optVal != null) {
+				setRefineTermCritParam(Double.parseDouble(optVal));
+			}
 		} else if (opt.equals("nopre")) {
 			getModelChecker().setPrecomp(false);
 		} else if (opt.equals("pre")) {