equal
deleted
inserted
replaced
124 int found=sb.run(num_set->get_value_as_int()); |
124 int found=sb.run(num_set->get_value_as_int()); |
125 if(found) |
125 if(found) |
126 { |
126 { |
127 for(int j=0;j<found;j++) |
127 for(int j=0;j<found;j++) |
128 { |
128 { |
129 DirPath<Graph> path(g); |
129 Path<Graph> path(g); |
130 sb.getPath(path, j); |
130 sb.getPath(path, j); |
131 for(int k=0;k<path.length();k++) |
131 for(int k=0;k<path.length();k++) |
132 { |
132 { |
133 DirPath<Graph>::EdgeIt ei; |
133 Path<Graph>::EdgeIt ei; |
134 path.nth(ei,k); |
134 ei=path.nthEdge(k); |
135 (*outputmap)[ei]=j+1; |
135 (*outputmap)[ei]=j+1; |
136 } |
136 } |
137 } |
137 } |
138 o << "Result: found " << found << " paths between "; |
138 o << "Result: found " << found << " paths between "; |
139 o << source.get_active_text() << " and " << target.get_active_text(); |
139 o << source.get_active_text() << " and " << target.get_active_text(); |