Method getChildren

src/figtree/treeviewer/ReRootedTree.java:210–212

@param node the node whose children are being requested. @return the list of nodes that are the children of the given node. The list may be empty for a terminal node (a tip).

(Node node)

     *         The list may be empty for a terminal node (a tip).
     */
    public List<Node> getChildren(Node node) {
        return new ArrayList<Node>(((ReRootedNode)node).getChildren());
    }

    /**
     * @return Whether this tree has node heights available