From 4340969f7048244fa9b2811a72185a42c444789f Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 14 Sep 2016 11:35:17 +0000
Subject: [PATCH] JDD: Add DerefArray convenience method

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

diff --git a/prism/src/jdd/JDD.java b/prism/src/jdd/JDD.java
index 1716e66f..6aa59bce 100644
--- a/prism/src/jdd/JDD.java
+++ b/prism/src/jdd/JDD.java
@@ -320,6 +320,23 @@ public class JDD
 		}
 	}
 
+	/**
+	 * Dereference array of JDDNodes, by dereferencing all (non-null) elements.
+	 * <br>[ REFS: <i>none</i>, DEREFS: all elements of dds ]
+	 * @param dds the array of JDDNodes
+	 * @param n the expected length of the array (for detecting problems with refactoring)
+	 */
+	public static void DerefArray(JDDNode[] dds, int n)
+	{
+		if (n != dds.length) {
+			throw new RuntimeException("Mismatch in length of dd array and expected length!");
+		}
+		for (JDDNode dd : dds) {
+			if (dd != null)
+				JDD.Deref(dd);
+		}
+	}
+
 	/**
 	 * print cudd cache info
 	 * <br>[ REFS: <i>none</i>, DEREFS: <i>none</i> ]