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);