185186187188189190191192193194195
} // Bring the edges out in the right order. while ( !queue.isEmpty() ) { Edge e = (Edge) queue.pop(); if ( connectsLabels( graph, e ) ) { addEdge( graph, e ); }