Bugfix: ModelExplicit should preserve deadlocks on copy.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4594 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/explicit/ModelExplicit.java

@@ -69,6 +69,9 @@ public abstract class ModelExplicit implements Model
 		for (int in : model.initialStates) {
 			addInitialState(in);
 		}
+		for (int dl : model.deadlocks) {
+			addDeadlockState(dl);
+		}
 		// Shallow copy of read-only stuff
 		statesList = model.statesList;
 		constantValues = model.constantValues;
@@ -87,6 +90,9 @@ public abstract class ModelExplicit implements Model
 		for (int in : model.initialStates) {
 			addInitialState(permut[in]);
 		}
+		for (int dl : model.deadlocks) {
+			addDeadlockState(permut[dl]);
+		}
 		// Shallow copy of (some) read-only stuff
 		// (i.e. info that is not broken by permute)
 		statesList = null;