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

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/translations/Degree2Converter.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:
30
30
        private TimedArcPetriNet degree2Model;
31
31
        private TimedArcPetriNet conservativeModel;
32
32
        
33
 
        private List<TimedTransition> retainedDegree2Transitions = new ArrayList<TimedTransition>();
 
33
        private final List<TimedTransition> retainedDegree2Transitions = new ArrayList<TimedTransition>();
34
34
 
35
35
        public TimedArcPetriNet transformModel(TimedArcPetriNet model) throws Exception {
36
36
                try{