From b4f94e36a59125b0e5b284422dcdf7eba6ae1c13 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 27 Jul 2015 15:46:26 +0000
Subject: [PATCH] Add method 'JDDNode JDDNode.copy()'

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

diff --git a/prism/src/jdd/JDDNode.java b/prism/src/jdd/JDDNode.java
index d1bbb54c..790829b9 100644
--- a/prism/src/jdd/JDDNode.java
+++ b/prism/src/jdd/JDDNode.java
@@ -118,6 +118,18 @@ public class JDDNode
 		}
 		return result;
 	}
+
+	/**
+	 * Returns a referenced copy of this node.
+	 * This has the effect of increasing the reference count
+	 * for the underlying MTBDD.
+	 * <br>[ REFS: <i>result</i>, DEREFS: <i>none</i> ]
+	 */
+	public JDDNode copy()
+	{
+		JDD.Ref(this);
+		return new JDDNode(this);
+	}
 }
 
 //------------------------------------------------------------------------------