all_matches);
}
}
+ if ((win_i % 1000) == 0) {
+ emit progress("transitive refinement", win_i, window_num);
+ }
}
+ emit progress("transitive refinement", window_num, window_num);
//clog << "pathz=" << pathz.size()
// << " all_cmp=" << all_comparisons.size();
//if (pathz.begin() != pathz.end())