From a815dcfdfd8e5c191cb0e2aafc8e7dc56ef4949d Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 3 Mar 2016 14:31:24 +0000
Subject: [PATCH] JDD: Add multi-argument Deref, for convenience.

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

diff --git a/prism/src/jdd/JDD.java b/prism/src/jdd/JDD.java
index 00095268..cfd3d93a 100644
--- a/prism/src/jdd/JDD.java
+++ b/prism/src/jdd/JDD.java
@@ -298,6 +298,18 @@ public class JDD
 		DD_Deref(ptr);
 	}
 
+	/**
+	 * Dereference dds, multi-argument variant.
+	 * The dds have to be non-{@code null}.
+	 * <br>[ REFS: <i>none</i>, DEREFS: <i>all argument dds</i> ]
+	 */
+	public static void Deref(JDDNode... dds)
+	{
+		for (JDDNode d : dds) {
+			JDD.Deref(d);
+		}
+	}
+
 	/**
 	 * print cudd cache info
 	 * <br>[ REFS: <i>none</i>, DEREFS: <i>none</i> ]