diff --git a/prism/src/explicit/DTMCSparse.java b/prism/src/explicit/DTMCSparse.java index bde9de8c..f457debb 100644 --- a/prism/src/explicit/DTMCSparse.java +++ b/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) {