From ad7c243d96310d6b3e8c1b664af6b6c3929de5c9 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 12 Apr 2020 10:16:34 +0100
Subject: [PATCH] Cache some native settings in the PrismNative Java object.

In particular, we currently cache the numerical method convergence settings.
This allows the values that were used for solution to be recalled at the Java level.
---
 prism/src/prism/PrismNative.java | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/prism/src/prism/PrismNative.java b/prism/src/prism/PrismNative.java
index 28c58c74..d35f762b 100644
--- a/prism/src/prism/PrismNative.java
+++ b/prism/src/prism/PrismNative.java
@@ -93,16 +93,30 @@ public class PrismNative
 		PN_SetLinEqMethodParam(d);
 	}
 	
+	private static int termCrit;
 	private static native void PN_SetTermCrit(int i);
 	public static void setTermCrit(int i)
 	{
 		PN_SetTermCrit(i);
+		// Cache locally too
+		termCrit = i;
+	}
+	public static int getTermCrit()
+	{
+		return termCrit;
 	}
 	
+	private static double termCritParam;
 	private static native void PN_SetTermCritParam(double d);
 	public static void setTermCritParam(double d)
 	{
 		PN_SetTermCritParam(d);
+		// Cache locally too
+		termCritParam = d;
+	}
+	public static double getTermCritParam()
+	{
+		return termCritParam;
 	}
 	
 	private static native void PN_SetMaxIters(int i);