explicit.PredecessorRelation: consistently use getPre()

Potentially allows derived classes to just overload the getPre() method.


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

prism/src/explicit/PredecessorRelation.java

@@ -101,7 +101,7 @@ public class PredecessorRelation
 	 */
 	public Iterator<Integer> getPredecessorsIterator(int s)
 	{
-		return pre.get(s).iterator();
+		return getPre(s).iterator();
 	}
 
 	/**