← 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/VerifyPNOptions.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/VerifyPNOptions.java
12
12
public class VerifyPNOptions extends VerifyTAPNOptions{
13
13
        private static final Map<TraceOption, String> traceMap = createTraceOptionsMap();
14
14
        private static final Map<SearchOption, String> searchMap = createSearchOptionsMap();
15
 
        private ModelReduction modelReduction;
16
 
        private QueryCategory queryCategory;
17
 
        private AlgorithmOption algorithmOption;
 
15
        private final ModelReduction modelReduction;
 
16
        private final QueryCategory queryCategory;
 
17
        private final AlgorithmOption algorithmOption;
18
18
        private boolean useSiphontrap = false; 
19
19
        private boolean useQueryReduction = true; 
20
20
        private boolean useStubbornReduction = true;