protected void setBox(Box box, Node node) { if (node.hasAttribute("box")) getBox(node).remove(node); box.add(node); node.setAttribute("box", box); if (!node.hasAttribute("children")) node.addAttribute("children", new Box(node, 1)); getChildrenBox(node).level = box.level + 1; }
protected void setBox(Box box, Node node) { if (node.hasAttribute("box")) getBox(node).remove(node); box.add(node); node.setAttribute("box", box); if (!node.hasAttribute("children")) node.addAttribute("children", new Box(node, 1)); getChildrenBox(node).level = box.level + 1; }
Node root = roots.poll(); int level = levels[root.getIndex()] + 1; Box box = getChildrenBox(root); Box box = getChildrenBox(internalGraph.getNode(i));
Node root = roots.poll(); int level = levels[root.getIndex()] + 1; Box box = getChildrenBox(root); Box box = getChildrenBox(internalGraph.getNode(i));