← Back to branch summary

~tapaal-contributor/tapaal/query-export-bug-1767615

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/ReductionStats.java

  • Committer: Jiri Srba
  • Date: 2016-12-11 20:00:52 UTC
  • mfrom: (937.2.1 reductionrules)
  • Revision ID: srba@cs.aau.dk-20161211200052-jtn5s0vpgdil86g4
merged in lp:~tapaal-contributor/tapaal/reduction-rules-in-GUI-fix-1648084 that adds rule E to statistics for structural net reductions (for Peter's new NewParser untimed engine)

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/ReductionStats.java
7
7
        private int ruleB;
8
8
        private int ruleC;
9
9
        private int ruleD;
 
10
        private int ruleE;
10
11
        
11
 
        public ReductionStats(int removedTransitions, int removedPlaces, int ruleA, int ruleB, int ruleC, int ruleD) {
 
12
        public ReductionStats(int removedTransitions, int removedPlaces, int ruleA, int ruleB, int ruleC, int ruleD, int ruleE) {
12
13
                this.removedTrantitions = removedTransitions;
13
14
                this.removedPlaces = removedPlaces;
14
15
                this.ruleA = ruleA;
15
16
                this.ruleB = ruleB;
16
17
                this.ruleC = ruleC;
17
18
                this.ruleD = ruleD;
 
19
                this.ruleE = ruleE;
18
20
        }
19
21
        
20
22
        public int getRemovedTrantitions() {
41
43
                return ruleD;
42
44
        }
43
45
        
 
46
        public int getRuleE() {
 
47
                return ruleE;
 
48
        }
 
49
        
44
50
        @Override
45
51
        public String toString() {
46
52
                StringBuffer buffer = new StringBuffer();               
52
58
                buffer.append(removedTrantitions);
53
59
                buffer.append(System.getProperty("line.separator"));
54
60
                
55
 
                buffer.append("Applications of rules A, B, C, D: (");
 
61
                buffer.append("Applications of rules A, B, C, D, E: (");
56
62
                buffer.append(ruleA);
57
63
                buffer.append(", ");
58
64
                buffer.append(ruleB);
60
66
                buffer.append(ruleC);
61
67
                buffer.append(", ");
62
68
                buffer.append(ruleD);
 
69
                buffer.append(", ");
 
70
                buffer.append(ruleE);
63
71
                buffer.append(")");
64
72
                
65
73
                return buffer.toString();