diff --git a/prism/src/explicit/MDPSparse.java b/prism/src/explicit/MDPSparse.java index 3f0b513e..a7ddd821 100644 --- a/prism/src/explicit/MDPSparse.java +++ b/prism/src/explicit/MDPSparse.java @@ -586,6 +586,14 @@ public class MDPSparse extends MDPExplicit return choiceStarts[rowStarts[s] + i + 1] - choiceStarts[rowStarts[s] + i]; } + @Override + public void forEachTransition(int s, int i, TransitionConsumer c) + { + for (int col = choiceStarts[rowStarts[s] + i], stop = choiceStarts[rowStarts[s] + i + 1]; col < stop; col++) { + c.accept(s, cols[col], nonZeros[col]); + } + } + @Override public Iterator> getTransitionsIterator(final int s, final int i) {