← 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/StandardTranslation.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/StandardTranslation.java
311
311
                StringBuilder builder = new StringBuilder();
312
312
                
313
313
                boolean lowerBoundAdded = false;
314
 
                if(!(interval.lowerBound().value() == 0 && interval.IsLowerBoundNonStrict())) {
 
314
                if(!(interval.lowerBound().value() == 0 && interval.isLowerBoundNonStrict())) {
315
315
                        builder.append(TOKEN_CLOCK_NAME);
316
 
                        if(interval.IsLowerBoundNonStrict())
 
316
                        if(interval.isLowerBoundNonStrict())
317
317
                                builder.append(" >= ");
318
318
                        else
319
319
                                builder.append(" > ");
326
326
                        if(lowerBoundAdded) builder.append(" && ");
327
327
                        builder.append(TOKEN_CLOCK_NAME);
328
328
                        
329
 
                        if(interval.IsUpperBoundNonStrict())
 
329
                        if(interval.isUpperBoundNonStrict())
330
330
                                builder.append(" <= ");
331
331
                        else
332
332
                                builder.append(" < ");