← Back to branch summary

~tapaal-contributor/tapaal/autodetect-lens-check2

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/model/tapn/simulation/ShortestDelayMode.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/ShortestDelayMode.java
26
26
        public BigDecimal GetDelay(TimedTransition transition,
27
27
                        TimeInterval dInterval, BigDecimal delayGranularity) {
28
28
                
29
 
                if(dInterval.IsLowerBoundNonStrict()){
 
29
                if(dInterval.isLowerBoundNonStrict()){
30
30
                        return IntervalOperations.getRatBound(dInterval.lowerBound()).getBound();
31
31
                } else {
32
32
                        return IntervalOperations.getRatBound(dInterval.lowerBound()).getBound().add(delayGranularity, new MathContext(Pipe.AGE_PRECISION));