← 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/io/TimedArcPetriNetNetworkWriter.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/io/TimedArcPetriNetNetworkWriter.java
51
51
 
52
52
public class TimedArcPetriNetNetworkWriter implements NetWriter {
53
53
 
54
 
        private Iterable<Template> templates;
55
 
        private Iterable<TAPNQuery> queries;
56
 
        private Iterable<Constant> constants;
 
54
        private final Iterable<Template> templates;
 
55
        private final Iterable<TAPNQuery> queries;
 
56
        private final Iterable<Constant> constants;
57
57
        private final TimedArcPetriNetNetwork network;
58
58
    private boolean isTimed;
59
59
    private boolean isGame;