Exemplo n.º 1
0
 private void do_flow_edge_interval_merge() {
   for (HeapInsIntervalManager him : flowto.values()) {
     if (him.isThereUnprocessedObject()) him.merge_flow_edges();
   }
 }