← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

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

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/TimedArcPetriNet.java
584
584
        
585
585
        public boolean isUntimed() {
586
586
                for(TimedInputArc t : inputArcs){
587
 
                        if(!t.interval().equals(t.interval().ZERO_INF)){
 
587
                        if(!t.interval().equals(TimeInterval.ZERO_INF)){
588
588
                                return false;
589
589
                        }
590
590
                }
591
591
                
592
592
                for(TransportArc t : transportArcs){
593
 
                        if(!t.interval().equals(t.interval().ZERO_INF)){
 
593
                        if(!t.interval().equals(TimeInterval.ZERO_INF)){
594
594
                                return false;
595
595
                        }
596
596
                }