[BPEL2oWFN-cvs] bpel2owfn/src petrinet-reduction.cc

[Christian Gierds]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Christian Gierds <gierds>       07/02/02 10:47:09

Modified files:
        src            : petrinet-reduction.cc 

Log message:
        * found a nice (subtle) bug:
        
        The following line of code doesn't do, what it shall do:
        
        for(set<Node*>::iterator t = postset(*p).begin(); t != 
postset(*p).end(); t++) ...
        
        Of course, postset(*p) == postset(*p) is true, but that only means, 
that its contens 
        are the same. Each call to the function postset(Place *) generate an 
individual set, i.e. an individual object. The iterator has to move between to 
DIFFERENT sets, what normally doesn't work. So just do it this way:
        
        set<Node> ps = postset(*p);
        for(set<Node*>::iterator t = ps.begin(); t != ps.end(); t++) ...

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-reduction.cc?cvsroot=bpel2owfn&r1=1.57&r2=1.58