Implement optimized #forEachTransition in DTMCSparse

prism/src/explicit/DTMCSparse.java

@@ -226,6 +226,14 @@ public class DTMCSparse extends DTMCExplicit
 
 	//--- DTMC ---
 
+	@Override
+	public void forEachTransition(int state, TransitionConsumer consumer)
+	{
+		for (int col = rows[state], stop = rows[state+1]; col < stop; col++) {
+			consumer.accept(state, columns[col], probabilities[col]);
+		}
+	}
+
 	@Override
 	public int getNumTransitions(int state)
 	{