public DirectedGraph<KRunState, Transition> step_all(int steps, KRunState v)
throws KRunExecutionException {
if (steps < 1) steps = 1;
debugger.setCurrentState(v.getStateId());
debugger.stepAll(steps);
return debugger.getGraph();
}
public DirectedGraph<KRunState, Transition> step(KRunState v, int steps)
throws KRunExecutionException {
if (steps > 0) {
debugger.setCurrentState(v.getStateId());
debugger.step(steps);
}
return debugger.getGraph();
}