From f3da633e85a7f32b6b761915e60c13b543b78b11 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 14 Jul 2017 15:59:00 +0000
Subject: [PATCH] symbolic acceptance, cleanup: use .copy() instead of
 JDD.Ref()

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12036 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/acceptance/AcceptanceGenRabinDD.java | 6 ++----
 prism/src/acceptance/AcceptanceRabinDD.java    | 6 ++----
 prism/src/acceptance/AcceptanceStreettDD.java  | 6 ++----
 3 files changed, 6 insertions(+), 12 deletions(-)

diff --git a/prism/src/acceptance/AcceptanceGenRabinDD.java b/prism/src/acceptance/AcceptanceGenRabinDD.java
index 0a889e1b..9e48a966 100644
--- a/prism/src/acceptance/AcceptanceGenRabinDD.java
+++ b/prism/src/acceptance/AcceptanceGenRabinDD.java
@@ -85,8 +85,7 @@ public class AcceptanceGenRabinDD
 		 */
 		public JDDNode getL()
 		{
-			JDD.Ref(L);
-			return L;
+			return L.copy();
 		}
 
 		/** Get the number of K_j sets */
@@ -100,8 +99,7 @@ public class AcceptanceGenRabinDD
 		 */
 		public JDDNode getK(int j)
 		{
-			JDD.Ref(K_list.get(j));
-			return K_list.get(j);
+			return K_list.get(j).copy();
 		}
 
 		/** Returns true if the bottom strongly connected component
diff --git a/prism/src/acceptance/AcceptanceRabinDD.java b/prism/src/acceptance/AcceptanceRabinDD.java
index 5982b0b6..5a4087f6 100644
--- a/prism/src/acceptance/AcceptanceRabinDD.java
+++ b/prism/src/acceptance/AcceptanceRabinDD.java
@@ -82,8 +82,7 @@ public class AcceptanceRabinDD
 		 */
 		public JDDNode getL()
 		{
-			JDD.Ref(L);
-			return L;
+			return L.copy();
 		}
 
 		/** Get a referenced copy of the state set K.
@@ -91,8 +90,7 @@ public class AcceptanceRabinDD
 		 */
 		public JDDNode getK()
 		{
-			JDD.Ref(K);
-			return K;
+			return K.copy();
 		}
 
 		public RabinPairDD clone()
diff --git a/prism/src/acceptance/AcceptanceStreettDD.java b/prism/src/acceptance/AcceptanceStreettDD.java
index b5b2b90b..f42309fe 100644
--- a/prism/src/acceptance/AcceptanceStreettDD.java
+++ b/prism/src/acceptance/AcceptanceStreettDD.java
@@ -83,8 +83,7 @@ public class AcceptanceStreettDD
 		 */
 		public JDDNode getR()
 		{
-			JDD.Ref(R);
-			return R;
+			return R.copy();
 		}
 
 		/** Get a referenced copy of the state set G.
@@ -92,8 +91,7 @@ public class AcceptanceStreettDD
 		 */
 		public JDDNode getG()
 		{
-			JDD.Ref(G);
-			return G;
+			return G.copy();
 		}
 
 		public StreettPairDD clone()