From d4887298d515126a1384b045628605a2ee2d3f0a Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 27 Jul 2015 15:48:34 +0000
Subject: [PATCH] JDDVars: add 'static JDDVars[] copyArray(JDDVars[] vararray)'

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

diff --git a/prism/src/jdd/JDDVars.java b/prism/src/jdd/JDDVars.java
index 698166e8..37a0d559 100644
--- a/prism/src/jdd/JDDVars.java
+++ b/prism/src/jdd/JDDVars.java
@@ -115,6 +115,19 @@ public class JDDVars implements Iterable<JDDNode>
 			addVar(var.copy());
 		}
 	}
+	
+	/**
+	 * Copy an array of JDDVars[] by copying each JDDVars container.
+	 * The copy will have fully referenced JDDNodes.
+	 */
+	public static JDDVars[] copyArray(JDDVars[] vararray)
+	{
+		JDDVars[] result = new JDDVars[vararray.length];
+		for (int i = 0;  i< vararray.length; i++) {
+			result[i] = vararray[i].copy();
+		}
+		return result;
+	}
 
 	/**
 	 * Removes the JDDNodes contained in ddv from this JDDVars container.