← Back to branch summary

~yrke/tapaal/fix1891456-clickingTransportArcs

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/model/tapn/simulation/ManualDelayMode.java

merged in lp:~yrke/tapaal/evenMore-gui-cleanup doing GUI cleanup and fixing memory access check, about menu in Mac, exception in verification and reenabled quick draw

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/simulation/ManualDelayMode.java
88
88
                        JPanel buttonPanel = createButtonPanel();
89
89
                        BigDecimal value = IntervalOperations.getRatBound(dInterval.lowerBound()).getBound();
90
90
 
91
 
                        if(!dInterval.IsLowerBoundNonStrict()){
 
91
                        if(!dInterval.isLowerBoundNonStrict()){
92
92
                                value = value.add(delayGranularity);
93
93
                                value = value.stripTrailingZeros();
94
94
                        }