From cd5b101a10e764f5cf3df45397f4663cbeb863a6 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 12 Oct 2018 14:24:49 +0200
Subject: [PATCH] imported patch JDDVars-merged.patch

---
 prism/src/jdd/JDDVars.java | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/prism/src/jdd/JDDVars.java b/prism/src/jdd/JDDVars.java
index 87136fdd..7f3b12bd 100644
--- a/prism/src/jdd/JDDVars.java
+++ b/prism/src/jdd/JDDVars.java
@@ -152,6 +152,20 @@ public class JDDVars implements Iterable<JDDNode>
 		sortByIndex();
 	}
 
+	/**
+	 * Create a merged JDDVars from the given variables.
+	 * Copies the variables provided as an argument.
+	 * @param ddv the variables
+	 */
+	public static JDDVars merged(JDDVars... ddv) {
+		JDDVars result = new JDDVars();
+		for (JDDVars v : ddv) {
+			result.copyVarsFrom(v);
+		}
+		result.sortByIndex();
+		return result;
+	}
+
 	/**
 	 * Remove variable v from container. Does not decrease the refcount.
 	 */