← Back to branch summary

~tapaal-contributor/tapaal/add-java-info-1890600

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNTraceParser.java

merged in lp:~yrke/tapaal/removeSpecialBatchLoading removing special loading of nets in batch processing

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNTraceParser.java
31
31
 
32
32
public class VerifyTAPNTraceParser {
33
33
 
34
 
        private TimedArcPetriNet tapn;
 
34
        private final TimedArcPetriNet tapn;
35
35
        
36
36
        public VerifyTAPNTraceParser(TimedArcPetriNet tapn) {
37
37
                this.tapn = tapn;