From 7317c5f0663670ebe8f1af9ccd0ddc86bec715f4 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Tue, 30 Aug 2016 12:34:46 +0000
Subject: [PATCH] add jltl2ba.MyBitSet.clone()

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11756 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/jltl2ba/MyBitSet.java | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/prism/src/jltl2ba/MyBitSet.java b/prism/src/jltl2ba/MyBitSet.java
index 1d283b4f..e95fc5b7 100644
--- a/prism/src/jltl2ba/MyBitSet.java
+++ b/prism/src/jltl2ba/MyBitSet.java
@@ -110,7 +110,15 @@ public class MyBitSet extends BitSet implements Comparable<BitSet>, Iterable<Int
 		tmp2.andNot(this);
 		return (tmp1.length() - tmp2.length());
 	}
-	
+
+	@Override
+	public MyBitSet clone()
+	{
+		MyBitSet result = new MyBitSet(_size);
+		result.or(this);
+		return result;
+	}
+
 	public void increment() {
 		int i = this.nextClearBit(0);
 		this.clear(0,i);