← Back to branch summary

~verifydtapn-contributers/verifydtapn/CutOptimization

« back to all changes in this revision

Viewing changes to src/DiscreteVerification/DataStructures/PWList.cpp

  • Committer: Jiri Srba
  • Date: 2012-10-16 20:33:56 UTC
  • mfrom: (269.1.3 separatingConcerns)
  • Revision ID: srba@cs.aau.dk-20121016203356-umimoey8wgvxl9bi
merged a branch improving memory in the successor generator

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/DiscreteVerification/DataStructures/PWList.cpp
17
17
                        iter != m.end();
18
18
                        iter++){
19
19
                if((*iter)->equals(*marking)){
20
 
                        if((*iter)->passed){
21
 
                                return false;
22
 
                        }else{
23
 
                                break;
 
20
                        if(!(*iter)->passed){
 
21
                                waiting_list->Add(*iter);
24
22
                        }
 
23
                        return false;
25
24
                }
26
25
        }
27
26
        m.push_back(marking);