imported patch predecessor-ECComputer.setPre.patch

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()}.