From dd9c794e34e681742c662b5a88ef597e6fa29c36 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 12 Oct 2018 14:26:32 +0200
Subject: [PATCH] imported patch predecessor-ECComputer.setPre.patch

---
 prism/src/explicit/ECComputer.java | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/prism/src/explicit/ECComputer.java b/prism/src/explicit/ECComputer.java
index f9ac5172..24fd560b 100644
--- a/prism/src/explicit/ECComputer.java
+++ b/prism/src/explicit/ECComputer.java
@@ -38,6 +38,8 @@ import prism.PrismException;
  */
 public abstract class ECComputer extends PrismComponent
 {
+	protected PredecessorRelation pre;
+	
 	/**
 	 * Static method to create a new ECComputer object, depending on current settings.
 	 */
@@ -55,6 +57,11 @@ public abstract class ECComputer extends PrismComponent
 		super(parent);
 	}
 
+	public void setPredecessorRelation(PredecessorRelation pre)
+	{
+		this.pre = pre;
+	}
+
 	/**
 	 * Compute states of maximal end components (MECs) and store them.
 	 * They can be retrieved using {@link #getMECStates()}.