JDDVars: make JDDVars Iterable<JDDNode>

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10429 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/jdd/JDDVars.java

@@ -26,6 +26,7 @@
 
 package jdd;
 
+import java.util.Iterator;
 import java.util.Vector;
 
 /**
@@ -37,7 +38,7 @@ import java.util.Vector;
  * when no longer used. This will dereference all the variables contained in the JDDVars
  * object.
  */
-public class JDDVars
+public class JDDVars implements Iterable<JDDNode>
 {
 	private Vector<JDDNode> vars;
 	private long array;
@@ -215,6 +216,12 @@ public class JDDVars
 		return vars.size();
 	}
 
+	@Override
+	public Iterator<JDDNode> iterator()
+	{
+		return vars.iterator();
+	}
+
 	@Override
 	public String toString()
 	{