From 390344d02fa4e6855e2d48ceaf54f00c9d87e16d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 30 Jul 2014 15:21:03 +0000
Subject: [PATCH] Undo accidental part of last commit

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9005 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/param/JasFunction.java       | 10 ----------
 prism/src/param/ParamModelChecker.java |  8 --------
 2 files changed, 18 deletions(-)

diff --git a/prism/src/param/JasFunction.java b/prism/src/param/JasFunction.java
index 2b06b567..b59f933f 100644
--- a/prism/src/param/JasFunction.java
+++ b/prism/src/param/JasFunction.java
@@ -182,16 +182,6 @@ final class JasFunction extends Function {
 		if (this.isNaN() || other.isNaN()) {
 			return factory.getNaN();
 		}
-		if (other.isZero()) {
-			if (this.isZero()) {
-				return factory.getNaN();
-			} else {
-				return factory.getInf();
-			}
-		}
-		if (this.isZero()) {
-			return factory.getZero();
-		}
 		return new JasFunction((JasFunctionFactory) factory, jas.divide(((JasFunction) other).jas), NORMAL);
 	}
 	
diff --git a/prism/src/param/ParamModelChecker.java b/prism/src/param/ParamModelChecker.java
index d3e1a404..1451a3f0 100644
--- a/prism/src/param/ParamModelChecker.java
+++ b/prism/src/param/ParamModelChecker.java
@@ -241,14 +241,6 @@ final public class ParamModelChecker extends PrismComponent
 		BitSet needStates = new BitSet(model.getNumStates());
 		needStates.set(0, model.getNumStates());
 		RegionValues vals = checkExpression(paramModel, expr, needStates);
-		mainLog.println(vals);
-		Function f = vals.getResult(0).getInitStateValueAsFunction();
-		int n = 100;
-		String s = "";
-		for (int i = 0; i < n; i++) {
-			BigRational br = f.evaluate(new param.Point(new BigRational[] {new BigRational(i, n)}));
-			s += " " + br.doubleValue();
-		}
 		timer = System.currentTimeMillis() - timer;
 		mainLog.println("\nTime for model checking: " + timer / 1000.0 + " seconds.");