← Back to branch summary

~tapaal-contributor/tapaal/weight-values-fix-1770637

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPNOutputParser.java

merged branch lp:~tapaal-contributor/tapaal/ctl-query-fix-1540367

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPNOutputParser.java
63
63
                        while (matcher.find()) {
64
64
                                transitionStats.add(new Tuple<String,Integer>(matcher.group(1), Integer.parseInt(matcher.group(2))));
65
65
                        }
66
 
                        matcher = placeBoundPattern.matcher(output);
67
 
                        while (matcher.find()) {
68
 
                            placeBoundStats.add(new Tuple<String, Integer>(matcher.group(1), Integer.parseInt(matcher.group(2))));
69
 
                        }
70
 
                        matcher = placeBoundPatternUnknown.matcher(output);
71
 
                        while (matcher.find()) {
72
 
                            placeBoundStats.add(new Tuple<String, Integer>(matcher.group(1), -1));
73
 
                        }
 
66
                        matcher = placeBoundPattern.matcher(output);
 
67
                        while (matcher.find()) {
 
68
                                placeBoundStats.add(new Tuple<String, Integer>(matcher.group(1), Integer.parseInt(matcher.group(2))));
 
69
                        }
 
70
                        matcher = placeBoundPatternUnknown.matcher(output);
 
71
                        while (matcher.find()) {
 
72
                                placeBoundStats.add(new Tuple<String, Integer>(matcher.group(1), -1));
 
73
                        }
74
74
                        for (int i = 0; i < lines.length; i++) {
75
75
                                String line = lines[i];
76
76
                                if (line.contains(DISCRETE_INCLUSION)) { discreteInclusion = true; }