← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/translations/tapn/OptimizedStandardTranslation.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/translations/tapn/OptimizedStandardTranslation.java
372
372
                
373
373
                StringBuilder builder = new StringBuilder();
374
374
                boolean lowerBoundAdded = false;
375
 
                if(!(interval.lowerBound().value() == 0 && interval.IsLowerBoundNonStrict())) {
 
375
                if(!(interval.lowerBound().value() == 0 && interval.isLowerBoundNonStrict())) {
376
376
                        builder.append(TOKEN_CLOCK_NAME);
377
 
                        if(interval.IsLowerBoundNonStrict())
 
377
                        if(interval.isLowerBoundNonStrict())
378
378
                                builder.append(" >= ");
379
379
                        else
380
380
                                builder.append(" > ");
387
387
                        if(lowerBoundAdded) builder.append(" && ");
388
388
                        builder.append(TOKEN_CLOCK_NAME);
389
389
                        
390
 
                        if(interval.IsUpperBoundNonStrict())
 
390
                        if(interval.isUpperBoundNonStrict())
391
391
                                builder.append(" <= ");
392
392
                        else
393
393
                                builder.append(" < ");