From ecf202ff41cb6aff359e766d90bb27b7f7c16dc2 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 13 Apr 2008 12:21:11 +0000
Subject: [PATCH] New getMinVarIndex and getMaxVarIndex methods in JDDVars.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@751 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/jdd/JDDVars.java | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/prism/src/jdd/JDDVars.java b/prism/src/jdd/JDDVars.java
index 822e0c2a..c8a0b736 100644
--- a/prism/src/jdd/JDDVars.java
+++ b/prism/src/jdd/JDDVars.java
@@ -92,6 +92,32 @@ public class JDDVars
 		return DDV_GetIndex(((JDDNode)vars.elementAt(i)).ptr());
 	}
 	
+	public int getMinVarIndex()
+	{
+		int i, j, n, min;
+		n = vars.size();
+		if (n == 0) return -1;
+		min = getVarIndex(0);
+		for (i = 1; i < n; i++) {
+			j = getVarIndex(i);
+			if (j < min) min = j;
+		}
+		return min;
+	}
+	
+	public int getMaxVarIndex()
+	{
+		int i, j, n, max;
+		n = vars.size();
+		if (n == 0) return -1;
+		max = getVarIndex(0);
+		for (i = 1; i < n; i++) {
+			j = getVarIndex(i);
+			if (j > max) max = j;
+		}
+		return max;
+	}
+	
 	public void refAll()
 	{
 		int i;