From e4bf8aa21d7335b4b0b1dc63c3da11169ceb1db8 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 27 Jul 2015 15:47:41 +0000
Subject: [PATCH] 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 | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/prism/src/jdd/JDDVars.java b/prism/src/jdd/JDDVars.java
index 80c3857e..8e2eb743 100644
--- a/prism/src/jdd/JDDVars.java
+++ b/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()
 	{