equal
deleted
inserted
replaced
185 void getPath(DirPath& p, int j){ |
185 void getPath(DirPath& p, int j){ |
186 p.clear(); |
186 p.clear(); |
187 typename DirPath::Builder B(p); |
187 typename DirPath::Builder B(p); |
188 for(typename std::vector<Edge>::iterator i=paths[j].begin(); |
188 for(typename std::vector<Edge>::iterator i=paths[j].begin(); |
189 i!=paths[j].end(); ++i ){ |
189 i!=paths[j].end(); ++i ){ |
190 B.pushBack(*j); |
190 B.pushBack(*i); |
191 } |
191 } |
192 |
192 |
193 B.commit(); |
193 B.commit(); |
194 } |
194 } |
195 |
195 |