← Back to branch summary

~tapaal-dist/verifypn/LTSmin

« back to all changes in this revision

Viewing changes to PetriEngine/Reducer.cpp

  • Committer: Jiri Srba
  • Date: 2014-03-18 06:46:59 UTC
  • mfrom: (44.1.3 placeBoundStatistics)
  • Revision ID: srba@cs.aau.dk-20140318064659-3klhn3ajw18vhsad
merged in branch adding place-bound statistics

Show diffs side-by-side

added added

removed removed

Lines of Context:
PetriEngine/Reducer.cpp
160
160
                        _removedTransitions++;
161
161
                        if (m0[pPre] == 0) { // removing pPre
162
162
                                _removedPlaces++;
 
163
                                net->skipPlace(pPre);
163
164
                                for (size_t _t = 0; _t < net->numberOfTransitions(); _t++) {
164
165
                                        net->updateoutArc(_t, pPost, net->outArc(_t, pPost) + net->outArc(_t, pPre));
165
166
                                        net->updateoutArc(_t, pPre, 0);
166
167
                                }
167
168
                        } else if (m0[pPost] == 0) { // removing pPost
168
169
                                _removedPlaces++;
 
170
                                net->skipPlace(pPost);
169
171
                                for (size_t _t = 0; _t < net->numberOfTransitions(); _t++) {
170
172
                                        net->updateinArc(pPre, _t, net->inArc(pPost, _t));
171
173
                                        net->updateoutArc(_t, pPre, net->outArc(_t, pPre) + net->outArc(_t, pPost));
239
241
                        net->updateoutArc(tPre, p, 0);
240
242
                        net->updateinArc(p, tPost, 0);
241
243
                        _removedPlaces++;
 
244
                        net->skipPlace(p);
242
245
                        _removedTransitions++;
243
246
                        for (size_t _p = 0; _p < net->numberOfPlaces(); _p++) { // remove tPost
244
247
                                net->updateoutArc(tPre, _p, net->outArc(tPre, _p) + net->outArc(tPost, _p));
317
320
                                net->updateinArc(p1, t2, 0);
318
321
                                removePlace[p1] = false;
319
322
                                _removedPlaces++;
 
323
                                net->skipPlace(p1);
320
324
                        }
321
325
                }
322
326
                return continueReductions;