← Back to branch summary

~tapaal-contributor/tapaal/autodetect-lens-check2

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/batchProcessing/BatchProcessingVerificationOptions.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/batchProcessing/BatchProcessingVerificationOptions.java
24
24
                KeepQueryOption, None, OverApproximation, UnderApproximation
25
25
        }
26
26
        
27
 
        private List<ReductionOption> reductionOptions;
28
 
        private ReductionOption reductionOption;
29
 
        private SearchOption searchOption;
30
 
        private QueryPropertyOption queryPropertyOption;
31
 
        private SymmetryOption symmetryOption;
32
 
        private StubbornReductionOption stubbornReductionOption;
33
 
        private ApproximationMethodOption approximationMethodOption;
 
27
        private final List<ReductionOption> reductionOptions;
 
28
        private final ReductionOption reductionOption;
 
29
        private final SearchOption searchOption;
 
30
        private final QueryPropertyOption queryPropertyOption;
 
31
        private final SymmetryOption symmetryOption;
 
32
        private final StubbornReductionOption stubbornReductionOption;
 
33
        private final ApproximationMethodOption approximationMethodOption;
34
34
        private int approximationDenominator = 0;
35
 
        private boolean keepQueryCapacity;
36
 
        private int capacity;
 
35
        private final boolean keepQueryCapacity;
 
36
        private final int capacity;
37
37
        private boolean discreteInclusion = false; // only for VerifyTAPN
38
38
        private boolean useTimeDartPTrie = false;
39
39
        private boolean useTimeDart = false;