← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/UPPAAL/VerifytaTraceInterpreter.java

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/UPPAAL/VerifytaTraceInterpreter.java
65
65
                                result.add(transitionStep);
66
66
                        }
67
67
 
68
 
                        if (action != null && action instanceof TimeDelayFiringAction) {
 
68
                        if (action instanceof TimeDelayFiringAction) {
69
69
                                BigDecimal delay = ((TimeDelayFiringAction) action).getDelay();
70
70
                                TimeDelayStep delayAction = new TimeDelayStep(delay);
71
71
                                result.add(delayAction);