// must remove V from graph first, because adding the edges
// will change the rating of other vertices
connectNeighbors (mdl2, v);
vars.remove(v);
mdl2.removeVertex (v);
}
if (logger.isLoggable(Level.FINE)) {
logger.fine("Triangulation done. Cliques are: ");
int totSize = 0, totWeight = 0, maxSize = 0, maxWeight = 0;