← Back to branch summary

~yrke/tapaal/remoteUnusedFunction-updateTooltip

« back to all changes in this revision

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

merged in lp:~yrke/tapaal/testbranch-syntaxOnlyChanges only reformating, no semantic changes

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/TimedTransition.java
68
68
        
69
69
        private boolean hasUntimedPreset(boolean cascade){
70
70
                for(TimedInputArc arc : preset){
71
 
                        if(!arc.interval().equals(arc.interval().ZERO_INF)){
 
71
                        if(!arc.interval().equals(TimeInterval.ZERO_INF)){
72
72
                                return false;
73
73
                        }
74
74
                }
75
75
                for (TransportArc arc : transportArcsGoingThrough){
76
 
                        if(!arc.interval().equals(arc.interval().ZERO_INF)){
 
76
                        if(!arc.interval().equals(TimeInterval.ZERO_INF)){
77
77
                                return false;
78
78
                        }
79
79
                }