private JunctionTree graphToJt(UndirectedGraph g) {
JunctionTree jt = new JunctionTree(g.vertexSet().size());
Object root = g.vertexSet().iterator().next();
jt.add(root);
for (Iterator it1 = new BreadthFirstIterator(g, root); it1.hasNext(); ) {
Object v1 = it1.next();
for (Iterator it2 = GraphHelper.neighborListOf(g, v1).iterator(); it2.hasNext(); ) {
Object v2 = it2.next();
if (jt.getParent(v1) != v2) {
jt.addNode(v1, v2);
}
}
}
return jt;
}
