← Back to branch summary

~tapaal-contributor/tapaal/disappearing-tokens-1940098

« back to all changes in this revision

Viewing changes to src/pipe/dataLayer/TAPNQuery.java

  • Committer: Jiri Srba
  • Date: 2021-02-28 13:58:39 UTC
  • mfrom: (1112.2.6 add-tar-option)
  • Revision ID: srba@cs.aau.dk-20210228135839-yxy8ljbc89ou0woi
merged in lp:~tapaal-contributor/tapaal/add-tar-option adding the -tar option for the verifypn engine

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/dataLayer/TAPNQuery.java
72
72
        private boolean useSiphontrap = false; 
73
73
        private boolean useQueryReduction = true; 
74
74
        private boolean useStubbornReduction = true;
 
75
        private boolean useTarOption = false;
75
76
 
76
77
        /**
77
78
         * @param name
108
109
                return this.useStubbornReduction;
109
110
        }
110
111
 
 
112
        public boolean isTarOptionEnabled() {
 
113
            return this.useTarOption;
 
114
    }
 
115
 
 
116
    public void setUseTarOption(boolean useTarOption) {
 
117
            this.useTarOption = useTarOption;
 
118
    }
 
119
 
111
120
        public int approximationDenominator() {
112
121
                return this.denominator;
113
122
        }
361
370
                useSiphontrap = newQuery.isSiphontrapEnabled();
362
371
                useQueryReduction = newQuery.isQueryReductionEnabled();
363
372
                useStubbornReduction = newQuery.isStubbornReductionEnabled();
 
373
                useTarOption = newQuery.isTarOptionEnabled();
364
374
        }
365
375
 
366
376
        public InclusionPlaces inclusionPlaces() {